body,p,ul,ol,dt,dd,li,dl,td,th,h1,h2,h3,h4,h5,h6 { font-family: DejaVu Sans, Lucida Sans Unicode, Arial Unicode,Gentium, Helvetica, Helvetic, Arial, Verdana, Geneva, BitStream Vera Sans,sans-serif; } tt,pre { /* font-family: DejaVu Sans Mono, Everson Mono Unicode, Courier New, Courier, monospace; */ font-size: 10pt; } body,p,dt,dd,li,td,th,h6 { font-size: 10pt; } small { font-size: 9pt; } .small { font-size: 9pt; } big { font-size: 11pt; } .big { font-size: 11pt; } h6 { font-size: 9pt; } h5 { font-size: 10pt; } h4 { font-size: 11pt; } h3 { font-size: 12pt; } h2 { font-size: 14pt; } h1 { font-size: 16pt; } a.anc { display: block; border: 1px hidden red; } a.anc:active { border: 1px dashed red; background-color: #f8f0d0; } a.anc:focus { border: 1px dashed red; background-color: #f8f0d0; } div:target { border-left: 3px solid red; padding-left: 6px; /* background-color: #d0d0d0; does not work for all background colours */ } h1.stdhead, h2.stdhead, h3.stdhead, h4.stdhead, h5.stdhead, h6.stdhead { margin-top: 0px; margin-bottom: 0px; } table.stdhead { margin-top: 1em; margin-bottom: 0px; margin-left: 0px; margin-right: 0px; } acronym { cursor: help; } input[type=submit], input[type=reset], input[type=button], input.button { border: 1px solid; color: #000000; background-color: #f8f0d0; border-color: #eeee00 #808000 #808000 #eeee00; padding: 2px 4px 2px 4px; } input[type=submit]:hover, input[type=reset]:hover, input[type=button]:hover, input.button:hover { background-color: #80f080; } input[type=submit]:active, input[type=reset]:active, input[type=button]:active, input.button:active { background-color: #f0f080; border-color: #808000 #eeee00 #eeee00 #808000; } select { border: 1px solid; color: #000000; background-color: #f8f0d0; border-color: #808000 #eeee00 #eeee00 #808000; padding: 1px; } option { color: #000000; } /* select:hover { background-color: #80f080; } */ select:active { /* background-color: #f0f080; */ border-color: #808000 #eeee00 #eeee00 #808000; } input[type=text], input[type=password], textarea { border: 1px solid; color: #000000; background-color: #f8f0d0; border-color: #808000 #eeee00 #eeee00 #808000; padding: 2px 4px 2px 4px; }input[type=text]:active, input[type=password]:active, textarea:active, input[type=text]:focus, input[type=password]:focus, textarea:focus { background-color: #f0f080; } table.sellang td { padding-left: 4px; }