body {
	font-family: Arial, Verdana, Criffee, Lucida, San-Serif;
	font-size: 14pt;
}

.left {
        float: left;
        margin-right: 10px;
        margin-bottom: 10px;
}

.center {
        text-align: center;
}

.real {
        font-family: monospace;
        font-weight: bold;
}

a {
	text-decoration: none;
}


#navi, .access, .nopri, .disc {
	display: none;
}