body {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 12px;
}

a {
    color: #000000;
}

h1 {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 28px;
    margin-top: 0px;
    margin-left: 0px;
    margin-right: 0px;
    margin-top: 0px;
    margin-bottom: 14px;  
    
}

a:hover {
    color: #000000;
    text-decoration: underline;
}

div.nav {
	font-family: Helvetica, Arial, sans-serif;
}

div.nav a {
	color: #000000;
	text-decoration: none;
	font-size: 14px;
}

div.nav a:hover {
	text-decoration: underline;
}

table.table_threads {
    font-size: 12px;
}

pre {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 12px;
}

td {
        font-family: Arial, Helvetica, sans-serif;
    font-size: 12px;
}