a:link
{
        text-decoration: none;
        color: #3366cc;
}       
        
a:visited
{
        text-decoration: none;
        color: #336699;
}
        
a:hover 
{       
        text-decoration: underline overline;
        color: #0000cc;
}

h2
{
        font-family: serif;
        font-size: 20px;
        font-weight: bold;
        border-top: thin solid #000000;
}

.explain
{
        font-family: sans;
        font-size: 14px;
        text-align: justify;
        margin-left: 4em;
        margin-right: 4em;
}

.license
{
        font-family: mono;
        font-size: 12px;
        margin: 1em;
}

.inset
{
        margin-left: 12em;
        margin-right: 12em;
        font-size: 12px;
        background: #eeeeee;
        border: thin dashed #000000;
}

.indent
{
        margin-left: 8em;
        margin-right: 8em;
}

h4
{
        margin-bottom: 0em;
	border-top: thin dotted #999999;
}

.righto
{
    position: absolute;
    right: 6px;
}