/* CSS placed here will be applied to all skins */
/* CSS placed here will be applied to all skins */
−
/**/
+
/* Hides the "tools" heading in the side menu above "what links here" etc (because we use the term "tools" for a different purpose and that could be confusing) */