v3 UI: changes publishing widget to be more resilient on sticking to the bottom of the header.
v3 UI: fixed fractional padding in input causing borders to be cut off.
v3 UI: hack around translucent black background under popup sometimes not showing fully in Chrome.
Possibly fixes recursive load error in RichTextDatabase.
v3 UI: changes font awesome icon size to match its crisp size.
v3 UI: makes sure that select elements don’t get too big.
v3 UI: improves object edit popup form display.
v3 UI: fixes @ToolUi.Heading not showing up.
v3 UI: changes the search popup to change its heading to be more descriptive of the current content.
v3 UI: changes main menu to a hamburger.
v3 UI: removes last bottom border from ul.links.