a {
 text-decoration: none;
}
#beta {
 border: 2px solid red;
 font-weight: bold;
 margin: 20px;
}
body {
 font-family: Verdana, Helvetica, Arial, sans-serif;
 font-size: 90%;
}
#topnav {
 display: none;
}
#credits {
 font-size: 75%;
 margin: 15px;
}
#credits p {
 margin: 0;
}
#sidebar {
 display: none;
}
h2 {
 font-size: 150%;
 font-weight: bold;
}
h3 {
 margin: 20px;
}
.inline-head {
 font-size: 120%;
 font-weight: bold;
}
#content p {
 margin: 20px;
}
#menucontainer {
 display: none;
}
#footer {
 margin: 0;
 padding: 20px;
 font-size: 80%;
}
#footer p {
 margin: 0;
}
#glossary-link {
 font-size: 90%;
 margin: 40px 5px 0px 5px;
}