table {
    font-size: 12px;
}
body {
    font-family: arial;
    font-size: 12px;
}
input.big {
    font-size: 14px;
    font-family: monospace;
    color: black;
    font-weight: bold;
}
b.current {
    color: blue;
    border: 1px solid black;
}
table.main {
    border: 2px solid #00F;
}
hr {
	border: 1px solid #CCF;
}