div.editOptions {
border: rgba(0,0,0,0.3);
background: #555rgba(0,0,0,0.6);
}
#mw-header-nav-hack {
}
#mw-header-container {
background: #555rgba(0,0,0,0.6);
}
#mw-header {
}
#pagehistory li.selected {
background-color: #555rgba(0,0,0,0.6);
}
.warningbox {