Note: After publishing, you may have to bypass your browser's cache to see the changes.

  • Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
  • Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
  • Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
  • Opera: Press Ctrl-F5.
/***************************************************************************
 || This style sheet is Free-something, released under the conditions of  ||
 || GFDL, see link belowest on this page. This license is only due to the ||
 || Wikileaders saying so - otherwise it would simply have been PD.       ||
 ||-----------------------------------------------------------------------||
 || A slightly complex style sheet making all personal links, and the     ||
 || search/look-up facility a menu fixed at the top, and the article      ||
 || contents fixed at the upper right.                                    ||
 ***************************************************************************/

body {
    background: #88AAFF !important;
    font-family: DejaVu, serif !important;
}
div#mw_header, div#mw_header h1 {
    background: #0066CC !important;
    text-decoration: none !important;
    position: fixed !important;
}
div#mw_header h1 { border: none !important; }
div#mw_header { 
    border: 2px solid !important; border-color: #0088FF black black #0088FF !important; 
}
div#p-personal {
    margin: 2px 0 0 0 !important;
    position: fixed !important;
}
div#p-personal ul {
    background: #0055AA !important;
}
pre { font-size: 110% !important; }

div#p-cactions {
    background: #AAAAFF !important;
    margin: 25px 0 0 247px !important;
}

div#p-navigation { background: #8888FF !important; }
div#p-navigation h5 {
    background: #0055AA !important;
    text-decoration: none !important;
    color: yellow !important;
    padding: 23px 4px 4px 10px !important;
    border: 2px solid  !important; border-color: #0088FF black black #0088FF !important; 
}
div#mw_content { background: #DDDDFF !important; }
div#p-interaction, div#p-tb, div#p-lang, div#p-lang h5, div#p-community, div#p-beyond_the_web {
    background: #8888FF !important;
}
div#p-interaction h5, div#p-tb h5, div#p-community h5, div#p-beyond_the_web h5 {
    background: #0055AA !important;
    text-decoration: none !important;
    color: yellow !important;
    padding: 4px 4px 4px 10px !important;
    border: 2px solid !important; border-color: #0088FF black black #0088FF !important;
}
div#p-search {
    margin: -24px !important; padding: 0 !important;
    background: none !important;
}
div#p-search h5 {
    display: none !important;
    text-decoration: none !important;
    color: yellow !important;
    padding: 4px 4px 4px 10px !important;
    border: 2px solid !important; border-color: #0088FF black black #0088FF !important;
}

div#p-search input#searchInput {
    top: 0 !important;
    right: 8.5em !important;
    position: absolute !important;
    position: fixed !important;
}

div#p-search input#searchGoButton {
    top: 0 !important;
    right: 5em !important;
    position: absolute !important;
    position: fixed !important;
}

div#p-search input#mw-searchButton {
    top: 0 !important;
    right: 0 !important;
    position: absolute !important;
    position: fixed !important;
}

input[type="text"] {
    border: 1px solid white !important;
    background: #0000CC !important;
    color: white !important;
    font-size: 100% !important;
    margin: 2px !important;
}
input[type="submit"], input[type="checkbox"] {
    border: 1px solid white !important;
    background: #0055AA !important;
    color: white !important;
    font-size: 100% !important;
    margin: 2px !important;
}
input[type="submit"] {
    border: 2px solid !important;
    border-color: #0088FF black black #0088FF !important;
}
input[type="checkbox"] {
    border: 2px solid !important;
    border-color: black #0088FF #0088FF black  !important;
}
div#siteSub {
    position: absolute !important;
    position: fixed !important;
    display: none !important;
    top: 49px !important;
    right: 0px !important;
    font-style: italic !important;
    font-weight: normal !important;
    background: #00FFFF !important;
    color: #0000CC !important;
    text-decoration: none !important;
    border: 0 !important;
}

li.selected {
    background: #662288 !important;
}
table#toc {
    /* position: fixed;
    top: 4em; right: 0;
    width: 33%;
    font-size: 90%;
    background: #8888FF;
    color: white; */
}
table#toc div#toctitle {
    font-size: 90% !important;
    background: #000088 !important;
    color: yellow !important;
}