Cancelled changes made in 2a15451c (fix
using CSS), and re-introduced the fix using JavaScript.

Small fix for 2a15451c.

Static navbar at the top used to hide anchor elements when in-page jumps
occured.
Pseudo padding has been added to anchor elements (headers and span with
id) to fix this.
Note that margins of elements placed just above and below the anchor
will not overlap as they normally do. To mitigate this, pseudo padding
will be applied only on the targeted id (one that is specified at the
end of URL) rather than being applied to all elements with id.

javascript <script> block has been moved into a separate function in
order to use python raw string for less escaping issues in the future.

Texts between backticks (``) will now be styled to look like codes.
(same style as <code>)

See comments for the reason why I made this change.

Now menu will provide 'revert' action if requested page has a revision
number specified (&rev=xx).

added newline at the end of files

Changed link icons from bitmap to Glyphicons (font)

Thanks for the PR! Merged.
I will check if this works properly, and when everything is OK, I will merge `font-icons` branch into `main`.

Link icons updated

.alert-dismissable was actually misspelled and deprecated in 3.2.0. Now
we should use .alert-dismissible instead.

Removed icons from links which have wiki transclusions as their titles.

Fixed grammer of memodump.py to comply with PEP8.
Line endings of other files were converted from CR+LF to LF. (I thought
my editor was saving in unix style)

Floating elements near the end of wiki-rendered boxes were causing
broken layout, which is fixed in this patch.

sidebar() method was added to change the id of wiki-generated sidebar
div box from #sidebar to #sidebar-content (by overriding the original
sidebar() method in __init__.py).
Normally, the id of the div box used to be #SideBar.sidebar. However,
when viewing or editing SideBar page, it was changed to #sidebar which
would conflict with one of the parent div boxes with the same id.

* changed some icons
* adjusted icon size, positions and margins
* set line height of icons to 1
* colored icons in gray rather than the inherited blue-ish color
* a few typo fixes

Comment-toggle button now looks like pushed down when toggled on.
Icon on the comment button has been changed so that it reflects the
state of toggle.
Icon for "Raw wiki text" in menu has been changed from "eye-open" to
"file" because it uses the same icon as one for the new comment toggler.
(sorry for changing this!)

* Fixed print preview messed up on Firefox
* Fixed line breaking behavior not properly working inside <pre>

Fixed search box icon which used to be positioned too low on IE.

Navbar for phones

mobilenav.js (minified navbar collapse/uncollapse script) is small and
specific to this style.

* Phones with higher aspect ratio (iPhone5 etc) now receive minified
navbar under landscape view.
* Top padding of #outbox for navbar are removed under mobile landscape
so that page looks better.
* Added top margin to alert boxes under mobile landscape to prevent
close button to hide behind minified navbar.

under landscape view, navbar is minified and placed at the top right
corner. when uncollapsed, it will be back to the default style, and
minified again when collapsed.

Navbar brand were overflowing into another line when rendered on webkit
under sm size (768px - 991px).
This cannot be reproduced when window size was shrinked from larger
width.
`display: table;` seems to be calculated to fit contents in one line
even if contents were floating.

Made improvements to the script.

* `.active` class which used to be added when toggled were conflicting
with bootstrap class, thus changed to `.on`.
* Changed so that target element(s) should be specified via
`data-target` attribute (like how bootstrap collapse script does). This
allows multiple toggle parts on one page.
* `togglejs()` method is added to jQuery, allowing it to be triggered
like this:
$(this).togglejs();
* `togglejs()` can be used to trigger one-way animation:
$(this).togglejs('show');
this does show the element, and if it is already shown does nothing.

README: Fix instructions numbering (1. -> 4.)

The last installation step is labelled `4.` but GitHub's markdown parser thought it was the first item of another list, hence labelled it as `1.`

Will now reflect the setting on editor type preference, by simply
removing editor=text from query string of the link.

`editor_ui` (which tells whether both text and gui links should be
displayed or just what you prefer) is still ignored though, as I feel it
redundant to have 2 types of editor link on the screen.

for larger content area when screen height is limited severely.