body {
 margin: 2em;
 background: #F4F4F4;
}

a, a:link, a:visited {
 font-weight: bold;
}

a.internal {
 color: green;
}

a:visited.internal {
 color: #872;
}

a.persistent {
 color: gray;
}

.purl {
 color: gray;
}

a.external {}

a.email {
 color: gray;
}

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

.self-link {
 background: white;
 font-weight: bold;
}

/*
 border-left: 1px gray solid;
 list-style-type: none;
 padding-left: 15px;

 margin-bottom: 1em;
 margin-left: 10px;
*/


.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;
}

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

#footer {
 margin-top: 2em;

 border-top: 1px dashed black;
 padding-top: .75em;

 color: gray;
}

.content {
 background: white;
 border: 1px solid black;
 margin: 0px;
 margin-top: 2px;
 padding: 45px; 
 padding-top: 10px; 
 line-height: 145%;
}

.content li {
 margin-top: 0.2em;
 margin-bottom: 0.2em;
}

.inline-toc li {
 margin-bottom: 1em;
 margin-top: 1em;
 margin-top: 10px;

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

 padding-top: 0px;;
 padding-left: 10px;
}


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

/* unused stuff:
 width: 40%;

 text-align: center;
 margin-left: auto;
 margin-right: auto;
 display: block;

 padding-left: 10px;
 border-left:   1px solid green;

 font-weight: bold;
 font-style:  italic;

 text-decoration: none;

 color: #226;
*/