body {
    background-color:white;
    color :black;
    font: 13px/1.5em "georgia";
    text-align:left
}

img{
 padding: 7px 7px 7px 7px 
}

h2{
#    border-bottom: thin dotted black;
}
hr{
#    border-bottom: 0.1 dotted black;
}

div{
    padding:10px;
    margin:10px;
    align:center;
    border: 2px dashed black;}

pre {
    text-align:left;
    color :black;
#    background-color:#372986
}


a {
    color:black; 
    line-height:1.2em;
    padding:2px;
}


.pale{
  color:black
}

span.size0 {
  font: 11px/1.5em "georgia";
}
span.size1 {
  font: 15px/1.5em "georgia";
}
span.size2 {
  font: 19px/1.5em "georgia";
}
span.size3 {
  font: 23px/1.5em "georgia";
}
span.size4 {
  font: 27px/1.5em "georgia";
}
span.size5 {
  font: 31px/1.5em "georgia";
}
span.size6 {
  font: 35px/1.5em "georgia";
}
span.size7 {
  font: 39px/1.5em "georgia";
}
span.size8 {
  font: 43px/1.5em "georgia";
}
span.size9 {
  font: 47px/1.5em "georgia";
}


.main
{
    padding-left:250px;
    padding-right:250px

}

.info
{
    position: absolute;
    top: 2em;
    right: 15em;
    width: 12em ;
    font: 13px/1.5em "georgia";
    background-color:#fff;
    padding:10px
}

.info2
{
    border: thin dotted black;
    position: absolute;
    top: 6em;
    text-align:center;
    right: 2em;
    width: 12em ;
    font: 13px/1.5em "georgia";
    padding:10px;   
    visibility:hidden
}