body {background-color: #000033; color: white; font-family: verdana,sans-serif; font-size: 13px}
.title {font-size: 42px; margin-bottom: 10px; margin-top: 0}
.buttonlink {font-size: 10px; text-align: center}
table.nav {margin-left: 200px}