* { font-size:100% ; font-weight:normal }
font.normal { font-size:12pt; }
font.small { font-size:10pt; }
font.smaller { font-size:8pt; }
font.big { font-size:15pt;
	       font-weight: bold;
}

font.g-midasi { font-weight: bold;
                font-size:10pt;
                color:#006600; }

.border { border-top:black 1px solid dotted;
         }





h1 { font-weight:bold ; text-align:center ; border:white 3px dotted ; padding:5px } 
h2 { font-weight:bold ; border-left:black 1em solid ; border-bottom:black 1px solid ; padding-left:0.5em }
h3 { font-weight:bold ; color:#996600 ; background-color:white ; padding-left:1em ; padding-top:3px ; padding-bottom:3px }
p { line-height:1.5em }