#figure-1{
    float: right;
    width: 270px;
}

.todo {
    background-color: #ffff00;
}

body {
    margin: auto;
    margin-left: 15em;
    padding-right: 1em;
    padding-left: 1em;
    max-width: 70em; 
    color: black;
    font-family: "Helvetica Neue", Helvetica, Optima, Arial, sans-serif;
    font-size: 14px;
    line-height: 1.625;
//    font-family: Verdana, sans-serif;
//    font-size: 100%;
//    line-height: 130%;
}


pre {
    border: 1px dotted gray;
    background-color: #ececec;
    color: #1111111;
    padding: 0.5em;
}

code {
    font-family: monospace;
}

h1 a, h2 a, h3 a, h4 a, h5 a { 
    text-decoration: none;
    color: #005799; 
}

h1, h2, h3, h4, h5 { font-family: verdana;
                     font-weight: bold;
                     color: #005799; }

h1, h2 {
                     border-bottom: 1px dotted black;
}

h1 {
        font-size: 130%;
}

h2 {
        font-size: 110%;
}

h3 {
        font-size: 95%;
}

h4 {
        font-size: 90%;
        font-style: italic;
}

h5 {
        font-size: 90%;
        font-style: italic;
}

h1.title {
        font-size: 200%;
        font-weight: bold;
        padding-top: 0.2em;
        padding-bottom: 0.2em;
        text-align: left;
        border: none;
}

td, th /* Table cells and table header cells */
    { 
    vertical-align: top; /* Word */
    vertical-align: baseline; /* Others */
    padding-left:   0.2em;
    padding-right:  0.2em;
    padding-top:    0em;
    padding-bottom: 0em;
    }

dt code {
        font-weight: bold;
}
dd p {
        margin-top: 0;
}

#footer {
        padding-top: 1em;
        font-size: 70%;
        color: gray;
        text-align: center;
        }



#TOC {
  position: fixed;
  left: 0; top: 80px;
  width: 12em;
  margin: 10px;
//  font-family: Verdana, sans-serif;
  border: 1px solid #aaa;
  background-color: #f9f9f9;
  padding-left: 10px;
}
#TOC:before { content: "Page Contents"; }

#TOC ul {
  list-style-type: none;
  padding: 0px;
  margin: 10px;
}