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;
}