.mine {
font-size : 1.2em;
	font-family : Lucida Sans Unicode, Verdana, Geneva, Arial, Helvetica, sans-serif;
        color : #808;
	margin : 0px;
}

.math {
font-size : 1.0em;
	font-family : Lucida Sans Unicode, Verdana, Geneva, Arial, Helvetica, sans-serif;
        color : #008;
	margin : 0px;
}


.spec {
font-size : 1.0em;
	font-family : Lucida Sans Unicode, Verdana, Geneva, Arial, Helvetica, sans-serif;
        color : #000;
	margin : 0px;
}

.code {
font-size : 1.0em;
	font-family : Lucida Console, Verdana, Geneva, Arial, Helvetica, sans-serif;
        color : #008;
	margin : 0px;
}