body {
  background: rgb(204,255,255);
  margin-left: 10%;
  margin-right: 10%;
  font-family: source-sans-pro, 'Helvetica Neue', Helvetica, Arial, sans-serif;
  color: rgb(72, 76, 85);
}

h1 {
  font-size: 200%;
  font-family: source-serif-pro, Georgia, 'Times New Roman', Times, serif;
  color: rgb(102, 153, 153);
}

h2 {
  font-size: 150%;
  color: rgb(102, 153, 153);
}

div.menu {
  font-size: 110%;
  text-align: center;
}

p.submenu {
  font-size: 90%;
  text-align: center;
}


div.title {
  font-size: 150%;
  text-align: center;
}

div.main {
  padding-top: 1em;
  padding-bottom: 1em;
  padding-left: 1em;
  padding-right: 1em;
  background: white;
  border-style: solid;
  border-width: 1px;
  width: 100%;
}

div.head {
  font-size: 150%;
  font-family: source-serif-pro, Georgia, 'Times New Roman', Times, serif;
  color: rgb(102, 153, 153);
}

div.subhead {
  padding-top:1em;
  font-size: 100%;
  font-weight:bold;
  color: green;
}

div.paragraph {
  padding-top: 1em;
  padding-left: 2em;
  padding-right: 2em;
  padding-bottom: 1.5em;
}

ul {
  margin-top: 0em;
  margin-left: 0em;
  margin-bottom: 0em;
  padding-top: 0em;
    padding-left: 1em;
  padding-bottom: 0em;
}

ol {
  margin-top: 0em;
  margin-left: 0em;
  margin-bottom: 0em;
  padding-top: 0em;
    padding-left: 1em;
  padding-bottom: 0em;
}

img.displayed {
    display: block;
    margin-left: auto;
    margin-right: auto }


div.formula {
  padding-top: .5em;
  padding-bottom: .5em;
        padding-left: 10%;
        padding-right: 10%;
        font-family: courier;
        font-size: 80%;
        color: #ff0000;
}

code.formula {
        font-family: courier;
        color: #ff0000;
        font-size: 80%;
}

a:link {
  color: rgb(204, 102, 153);
  text-decoration: none;
}

a:visited {
  color: rgb(204, 102, 153);
  text-decoration: none;
  cursor: auto;
}

a:hover {
  color: #ffffe0;
  background: #000099;
}

a.menu {
  /*color: #000000;*/
  text-decoration: none;
  }

a.submenu {
  /*color: #000000;*/
  text-decoration: none;
  }

/*
a.menu:hover {
  color: #ffffe0;
  background: #000000;
}
*/

table.bottom { 
  font-size: 10px;
  width: 100%;
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

span.menu_cur {
  color: #000000;
  font-weight: bold;
}

a.image:hover {
  background: rgb(204,255,255);
}


span.paper {
  color: #339999;
  font-variant: small-caps;
}

em {
  font-size: 0.9em;
}


li {
    margin-top: 8px;
    margin-bottom: 10px;
}

span.alert {
  text-decoration: underline;
  color: black;
}