@namespace url(http://www.w3.org/1999/xhtml);

@-moz-document domain("en.wikipedia.org") {

#globalWrapper #toc {
    position: fixed !important;
    float: right !important;
    clear: both !important;
    right: -1px !important;
    top: 30px !important;
    border: 1px solid #ddd !important;
    width: 18% !important; 
    max-height: 650px !important;
    padding: 10px !important;
    -moz-border-radius: 10px 0 0 10px;
    -moz-box-shadow: 0 3px 5px #ddd;
    font-family: "Helvetica", Arial, san-serif !important; 
    overflow: hidden;
    z-index: 100000 !important;
}

#globalWrapper #toc.tochidden {
    width: 70px !important;
}

#globalWrapper #toc tbody {
    vertical-align: top !important;
}

#globalWrapper #toc h2 {
    display: none !important;
}

#globalWrapper #toc .toctoggle {
    display: block !important;
    float: right !important;
}

#globalWrapper #toc ul {
    margin-left: 0 !important;
    margin-bottom: 5px !important;
    font-size: 12px !important;
    line-height: 1.2em !important;
}

#globalWrapper #toc ul ul {
    margin-left: 15px !important;
}

#globalWrapper #toc .toctext {
    margin: 0 0 0 5px !important;
}

}