a:link {
        text-decoration: none;
}       
        
a:visited {
        text-decoration: none;
}
        
a:hover {
        text-decoration: underline overline;
}

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

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

.divider
{
  text-align: justify;
  border-bottom: thin dotted #999999;
}

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

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

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

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

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

.adsense
{
  float: right;
  padding-left: 1.5em;
}

li {
  margin: 0.5em;
}

ul.links {
  list-style-type: none;
}