body {
  font-family: arial, sans-serif;
  font-size: 14px;
  line-height: 1.7em;
}

div#content {
  margin-left: 25%;
  padding-left: 1em;
  margin-right: 10%;
  border-left: 4px solid rgb(245,200,245);
  max-width: 600px;
}

div#toc
{
  border: 3px solid black;
  margin-left: 1em;
  padding: 0 1em;
  position:fixed;
  max-width: 20%;
  background: rgb(225,223,220);
}

ul
{
   padding:0 1em;
}

ul.roman li
{
  list-style-type: lower-roman;
}

li
{
  list-style-type: circle;
}

h3 {
  margin-top: 3em;
  border-bottom: 1px solid
}

h2 {
  font-size: 90%;
}

img {

}
p.caption {
  font-style: italic;
  margin-top: 0em;
  margin-left: 2px;
}

p.code {
  margin:0;
}

div pre {
  margin:0;
  margin-bottom:1em;
  border: 2px dotted red;
  padding: 0.5em 1em;
  background: rgb(245,200,245);
}