Jermolene 7684891285 Move topbar out of the way of scrollbars ... In the process getting rid of some extraneous `<p>` tags. Fixes #566		2014-04-19 11:32:56 +01:00
..
config/editor-type-mappings	…
images	…
language	…
modules	Add `[is[tag]]` filter operator	2014-04-18 17:57:55 +01:00
palettes	…
templates	…
ui	Move topbar out of the way of scrollbars	2014-04-19 11:32:56 +01:00
wiki	…
copyright.tid	…
plugin.info	…