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, tr:target td:first-child {
    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;
}