body {
 margin: 1em;
 background: white;
}

a.internal, a:visited.internal {
 color: #255;
}

a.external {
}

a.email {
 color: #333;
}

p.top {
 margin-top: 3px; 
 margin-bottom: 3px;
}

.inline-toc li {
 margin-bottom: 0.7em;
 margin-top: 0.7em;
 margin-left: 10px;
 padding-left: 15px;

 list-style-type: none;
 border-left: 3px gray solid;
}

.intro p {
 margin-bottom: 0px;
 margin-top: 5px;
}

.intro {
 margin-left: 60px;
 margin-bottom: 2em;

 padding-bottom: 10px;
 border-bottom: 1px solid gray; 

 margin-left: 3em;
 margin-right: 1.5em;
}

.prev-next { 
 display: none;
}

.content {
 line-height: 120%;
}

.cut {
 margin-left: 20%;
 margin-right: 20%;
}

.note {
 margin-left: 3em;
 margin-right: 1.5em;
 font-style: italic;
}

#footer {
 display: none;
}