Portal: the rounded corners of the cards would disappear in Safari in some cases

CKEditor: save/optimize images when page is saved

Logs page now has "search" box and type filter.