#process_nav {
    /*margin-bottom:    23px;*/
}

#process_nav tr{
    font-family:      "Lucida Grande", Verdana, Helvetica, Arial, sans-serif;
}

#module{
   font-family:      Arial;
   font-size: 14px;
	margin: 15px;
	margin-left: auto;
	margin-right: auto;
}
ol.numbered {
    list-style-type: decimal;
    margin-left:15px;
    padding-left:15px;    
}

.size_150 {font-size: 150%}

.size_175 {font-size: 175%}

.size_200 {font-size: 200%}