Smaller button to show diffs in history page.
Better UI/markup for the form to revert a page to a revision.
Updated client-side wiki formatting to match server-side better.
UI improvements to page editing:
- Fixed problems with element sizing.
- Fixed preview of meta properties.
- Renamed `@color-footer` to `@color-gray`.