body { font-family: Times New Roman,Times,serif; color: rgb(0, 0, 0); background-color: white; font-size: 80%;}
 h3 {border-bottom: black solid 1px; margin: 1px;}
 a:after {font-size: 90%; content: " [" attr(href) "]"; text-decoration: none;}
.menu {display: none;}