/* kates_html.css - Kate's default style sheet */
body {
    margin-left: 5%;
    margin-right: 5%;
    color: black;
    background: white;
    font-family: "Lucida Bright", sans-serif;
  }
h1 {
    margin-left: 0%;
    font-family: "Garamond", serif;
  }
h2,h3,h4,h5,h6 {
    margin-left: 0%;
    font-family: "Helvetica", sans-serif;
  }
table {
    margin-left: 5%;
    font-family: sans-serif;
  }
th {
    font-size: 100%;
    font-family: serif;
    background: #666633;
    color: white;
  }
td {
    margin-left: 5%;
    font-size: 100%;
    font-family: sans-serif;
    background: #ffffcc;
    color: black;
  }

pre {
    width: 70%
    margin-left: 5%
    font-size: 100%
    font-family: monospace;
    color: #003300;
    border: none;
    padding: 0.5em;
    background-color: #ffccff;
  }

div.header {
  margin: 0em;
  padding: 1em;
  height: 175;
}

div.banner {
  display: block;
  position: fixed;
  margin: 1em;
  font-size: 90% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  top: 175;
  left: 0;
  width: 15%;
  right: 1em;
}
div.banner p {
  margin: 0; 
  padding: 1em 0.4em;
  font-family: Arial, sans-serif;
  background: #ffffcc;
  border: thin outset ;
  color: #666633;
}

div.banner a, div.banner em { display: block; margin: 1 1em }
div.banner a, div.banner em { border-top: 2px groove #900 }
div.banner a:first-child { border-top: none }
div.banner em { color: #990033 } /* Burgundy-ish */

div.banner a:link { text-decoration: none; color: #660000 }
div.banner a:visited { text-decoration: none; color: #996633 }
div.banner a:hover { background: #996666; color: #330000 } 

div.left {
  position: absolute;
  left: 15;
  top: 150;
  width: 15%
  padding: 2em;
}
div.main {
  position: relative;
  top: 0;
  margin-right: 5em;
  margin-left: +15%;
  padding: 2em;
}
div.example {
    width: 70%;
    margin-left: 5%;
    font-size: 100%;
    font-family: sans-serif;
    color: #660600;
    border: none;
    padding: 0.5em;
    background-color: #ffffcc
  }
div.right_fig {
    float: right;
    width: 49%;
    border: thin silver solid;
    margin: 0.5 em;
    padding: 0.5 em;
  }
div.left_fig {
    float: left;
    width: 49%;
    border: thin silver solid;
    margin: 0.5 em;
    padding: 0.5 em;
  }
div.fig {
    float: 
    width: 25%
    border: thin silver solid;
    margin: 0.5 em;
    padding: 0.5 em;
}
div.right_fig p {
    text-align: center;
    font-style: italic;
    font-size: smaller;
    text-indent: 0;
  }
div.left_fig p {
    text-align: center;
    font-style: italic;
    font-size: smaller;
    text-indent: 0;
  }
div.fig p {
    text-align: center;
    font-style: italic;
    font-size: smaller;
    text-indent: 0;
  }
img.wscaled {
    width: 100%;
  }
img.hscaled {
    height: 100%;
  }