body {margin-right: 150pt}
}
#menu td {
text-align: center;
padding: 2px 2px 2px 2px;
}
#menu td.selected {
background-color: lightblue;
font-weight: bold;
}
#menu a {
text-decoration: none;
color: black;
}
#menu a:hover {
text-decoration: underline;
}
#text p {
text-indent: 20px;
padding: 0px 0px 10px 0px;
}
#text code {
color: darkblue;
font-size: 14px;
}