admin:theme
This theme is an extension of Flannel Ocean.
It is imported by the custom theme "admin:theme", based on Flannel Ocean, not Base, as usual.
#side-bar ul li a{ display:block; text-decoration: none; } /* helmuti nonprintable div */ @media print { div.NonPrintable { display: none; } } /* squark non printable language flags */ @media print { .flags {display:none;} } /* gerdami web2 buttons stolen from main wikidot*/ div.buttons input, input.button, button, file, a.button{ background-image: url(http://static.wikidot.com/common--theme/frontspecial/images/button.png); border: 1px solid #DDD; -moz-border-radius: 5px; -webkit-border-radius: 5px; border-radius: 5px; height: 26px; } div.buttons input:hover, input.button:hover, button:hover, a.button:hover{ background-image: url(http://static.wikidot.com/common--theme/frontspecial/images/button2.png); border: 1px solid #DDD; -moz-border-radius: 5px; -webkit-border-radius: 5px; border-radius: 5px; color: #000; height: 26px; } /* gerdami added margin-right to prevent flags overlaping on text */ #main-content { margin-left:17em; margin-right:1em; padding:0 1em; }