body {
    padding: 0;
    margin: 0;
    position: absolute;
    top: 0;
    left: 0;
    font-size: 16px;
    font-family: 'Linux Libertine',  'Crimson', 'Georgia', 'Palatino'; 
    background-color: rgb(230,232,232);
    color: rgb(70,70,70);
}
a, a:link {
    color: blue;
}
a:visited {
    color: purple;
}
#header {
    margin: 0;
    background-color: rgb(80,80,80);
    padding: 30px;
    position: relative;
    border-bottom: 3px solid black;
}
#header h1 {
    padding: 0;
    margin: 0;
}   
#header h1 a, #header h1 a:link, #header h1 a:visited {
    padding: 0;
    margin: 0;
    color: rgb(200,200,200);
    font-size: 36px;
    font-weight: normal;
    text-shadow: 2px 2px rgb(30,30,30);
    text-decoration: none;
}
img {
    border: 0;
}
#header img {
    float: left;
    height: 50px;
    width: 50px;
    margin-right: 20px;
}
#floatmenu {
    display: inline-block;
    float: right;
    margin: 0;
    padding: 0;
}
#floatmenu a, #floatmenu a:link {
    margin-left: 20px;
    font-size: 18px;
    color: rgb(210,220,255);
    font-weight: bold;
}
#main {
    padding: 30px;
}   
#main h1 {
    margin: 0;
    font-size: 32px;
    font-weight: bold;
    text-align: center;
    color: rgb(100,50,50);
}   
#intro img {
    background-color: rgb(120,120,120);
    float: left;
    margin-right: 20px;
    margin-bottom: 20px;
    height: 320px;
    width: auto;
}
#pdfsec, #epubsec, #htmlsec, #mobisec, #sourcesec, #licenses {
    border-top: 2px dashed rgb(140,140,140);
    clear: both;
}
#pdfsec > div, #epubsec > div, #htmlsec > div, #mobisec > div, #sourcesec > div {
    margin-top: 10px;
    font-size: 20px;
    clear: left;
}
#pdfsec > div.mycomment, #epubsec > div.mycomment, #htmlsec > div.mycomment, #mobisec > div.mycomment, #sourcesec > div.mycomment {
    font-size: 16px;
    margin-top: 0;
}
#pdfsec {
    clear: both;
}
img.myrimage {
    float: right;
    margin: 20px;
}
img.myprev {
    float: left;
    margin: 10px;
}
#main h2 {
    margin: 0;
    padding: 0;
    font-size: 24px;
    font-weight: bold;
    color: rgb(100,50,50);
    text-align: left;
}
#sourcesec p {
    clear: both;
}
#footer {
    background-color: rgb(80,80,80);
    color: rgb(180,180,180);
    border-top: 3px solid black ;
    padding: 12px 30px 12px 30px;
}
.latex {
  letter-spacing: 1px;
}
.latex sup {
  text-transform: uppercase;
  letter-spacing: 1px;
  font-size: 0.85em;
  vertical-align: 0.15em;
  margin-left: -0.36em;
  margin-right: -0.15em;
}
.latex sub {
  text-transform: uppercase;
  vertical-align: -0.5ex;
  margin-left: -0.1667em;
  margin-right: -0.125em;
  font-size: 1em;
}