[Mediawiki-l] Sidebar font size

[65s.mg at atlas.cz]

You can change sidebar font size by adding definition of individual parts of sidebar (e.g. div#p-navigation 'brace' font-size: 12px; 'brace') -MGrabovsky