body {
font-family: georgia;
font-size: 80%;
width: 80%;
margin: 0 auto;
padding-bottom: 50px;
}

#demo {
position: absolute;
top: 3px;
right: 3px;
width: 15em;
border: 2px solid darkred;
background-color: red;
padding: 3px 10px;
font-size: 85%;
-moz-border-radius: 0.6em;
}

#demo a:hover {
color: yellow;
}

h1 {
border-bottom: 1px solid #ccc;
}

h1,h2,h3,h4 {
margin: 1.2em 0 0.2em 0;
}

p {
margin: 0.8em 0;
}

#toc {
padding-top: 10px;
padding-bottom: 20px;
}

#toc ol {
margin-top: 0;
margin-bottom: 0;
}

a:hover {
color: red;
}