a:link, a:visited {
    color: #6e8cb4;
    text-decoration: none;
}

#content a:link:after, #content a:visited:after {
   content: " (" attr(href) ") ";
   font-size: 90%;
}

#content div.toc a:link:after, #content div.toc a:visited:after {
   content: "";
}

#content a[href^="/"]:after {
  content: " (" attr(href) ") ";
}
   
#content div.toc a[href^="/"]:after {
  content: "";
}
   
td.leftmenu {
    border: 1px solid black;
    background-color: #ffffff
}
   
div.leftmenu {
    border: 1px solid black;
    padding: 5px;
    background-color: #ffffff
}
   
div.leftmenu-last {
    border: 1px solid black;
    padding: 5px;
    background-color: #ffffff
}