body {
    font-family: "Gill Sans", Verdana, sans-serif;
    font-size: 14pt;
}

html {
    width: 60%;
}

h1 {font-size: 18pt;}

.menu {position: fixed;
    left: 0;
    top: 0;
    height: 50px;
    width: 100%;
    padding-left: 10px;
    background-color: white;
}

.content { 
    margin-top: 50px;
}

/*
 * The font size defined for body does not have effect here, so we
 * need to repeat it.
 */
td {
	font-size: 14pt;
}

td.first {
	font-weight: bold;
}