#autoTOC {
    position: fixed;
    top: 176px;
    left: 10px;
    width: 20em;
    background-color: #bbf; 
    filter: alpha(opacity=90); 
    -moz-opacity: 0.90; 
    opacity: 0.90;
    -moz-border-radius: 8px;
    -webkit-border-radius: 8px;
    border-radius: 8px;

    -moz-box-shadow: 3px 3px 4px #999;
    -webkit-box-shadow: 3px 3px 4px #999;
    box-shadow: 3px 3px 4px #999;
}

#autoTOC ol {
    list-style-type: upper-roman;
    list-style-type: circle;
    list-style-type: decimal-leading-zero;
    list-style-type: lower-greek;
}

#autoTOC a {
    text-decoration: none;
    color: #2d2d6d;
}

#autoTOC a:visited {
    text-decoration: none;
}

/*
#autoTOC a:visited:after {
    content: " ✓";
}
*/

#autoTOC a:hover {
    border-bottom: 1px dotted #2d2d6d;
}