#content #bodyContent pre, code, kbd, tt, samp, textarea { font-family: "Fantasque Sans Mono", "Liberation Mono", "DejaVu Sans Mono", Consolas, "Lucida Console", Monaco, monospace; }
/* dirty hack above */pre, code, kbd, tt, samp, #wpSummary { font-size: 95%; }
.allow-floathead div#mw-head {
position: fixed;
z-index: 100;
top: 0;
left: 11em;
right: 0;
width: auto;
background-color: rgba(255,255,255,0.5); /*mod.*/
background-image: url("data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAEAAAAsCAIAAAArRUU2AAAAOklEQVR42lWNWwoAQAgCde9/59mgF30EOmgKeJLmUHjGpzbBdXnl6F5oV5/J9e/tr/czydmt7RT33floBCM5ZQLqdwAAAABJRU5ErkJggg=="); /*copy Vector skin background*/
background-position: left bottom;
background-size: auto;
background-repeat: repeat-x;
box-shadow: 9px 3px 12px 3px #FFF;
}
.allow-floathead #mw-head:before {
z-index: -1;
content: ''; /*further hacks...*/
position:absolute;
top: -1px;
left: 0;
width: 100%;
height: 100%;
border-bottom: 1px solid #A7D7F9;
}
.allow-floathead #mw-head:hover {
background-color:rgba(255,255,255,0.3); background-image:none; box-shadow:none;
}
.allow-floathead #mw-head > div:hover {
background-color:white;
}
.allow-floathead #left-navigation {
margin-left: 0;
}
/*FIX for Visual Editor toolbar - needed?*/
.allow-floathead .oo-ui-toolbar-bar {
top: 80px !important;
position: static;
}
li[id^="ca-"] img { filter:saturate(50%); }
li[id^="ca-"].selected img,
li[id^="ca-"]:hover img { filter:saturate(110%); }