/*
 * General settings
 * --------------------------------------------------
 */
body {
  font-family: Verdana, Helvetica, Arial, sans-serif;
  font-size: 13px;
  line-height: 110%;
  background-color: #e8f1fe;
  color: #000000;
}

/*
 * No underline for links
 * Nice dark blue values for links
 */
a:link {
  text-decoration: none;
}
a:visited {
  text-decoration: none;
}

/*
 * Navigation
 * --------------------------------------------------
 */
div.navigation {
  padding: 0 0;
  border-bottom: 1px solid #707070;
}
div.navigation p {
  display: none;
}
div.navigation ul {
  padding: 3px 0;
  margin-left: 20px;
  margin-bottom: 0px;
  font: bold 12px Verdana, Sans-Serif;
}
div.navigation ul li {
  list-style: none;
  margin: 0;
  display: inline;
}
div.navigation ul li a {
  padding: 3px 0.5em;
  margin-right: 5px;
  margin-left: 5px;
  border: 1px solid #707070;
  background: #EDEDED;
  text-decoration: none;
}
div.navigation ul li a:link, div.navigation ul li a:visited {
  color: #404080;
}
div.navigation ul li a:link:hover, div.navigation ul li a:visited:hover {
  color: #000000;
  border-color: #000000;
  background-color: #bfbfbf;
}
div.navigation ul li a:link:hover#current, div.navigation ul li a:visited:hover#current {
  color: #000000;
  border-color: #707070;
  border-bottom: 1px solid #e8f1fe;
}
div.navigation ul li a#current {
  color: #000000;
  background-color: #e8f1fe;
  border-bottom: 1px solid #e8f1fe;
}

/*
 * Side menu
 * --------------------------------------------------
 */
div.vmenu {
  font-weight: bold;
  padding: 0;
}
div.vmenu p {
  height: 5px;
  width: 100%;
  background: #cfcfcf;
  padding: 0;
  margin: 0;
}
div.vmenu ul {
  list-style: none;
  padding: 0;
  margin-top: 10px;
  margin-bottom: 10px;
}
div.vmenu ul li a {
  display: block;
  width: 100%;
  text-decoration: none;
  text-align: center;
  color: #404080;
  padding: 2px 2px 2px 0.5em;
  background-color: #dde6f2;
}
div.vmenu ul li a#current {
  color: #000000;
  background-color: #d2dae6;
}
div.vmenu ul li a:hover {
  color: #000000;
  background-color: #c6ced9;
}
div.vmenu ul li a.topic {
  background-color: #bac2cc;
  padding-top: 2px;
}
html>body div.vmenu ul li a {
  width: auto;
}

/*
 * Layout
 * --------------------------------------------------
 */
div.submenu {
  font-size: small;
  color: #000000;
  width: 95px;
  float: left;
  margin-left: 0.5em;
  margin-top: 0.5em;
}
div.content {
  margin-left: 110px;
}
#frametitle {
  padding-left: 4px;
  text-align: left;
  background-color: #9894ec;
  /* background-color: #8b8b8b; */
  color: #ffffff;
}

h3#section {
  padding-left: 6px;
  padding-top: 2px;
  padding-bottom: 2px;
  text-align: left;
  border: 1px solid #000000;
  background-color: #e5e2e2;
  color: #000000;
}

h3#subsection {
  padding-left: 6px;
  padding-top: 2px;
  padding-bottom: 2px;
  text-align: left;
  border: 1px solid #000000;
  background-color: #87ceff;
  color: #000000;
}

p#toc {
  padding-left: 10px;
  padding-top: 5px;
  padding-bottom: 5px;
  margin-top: 0px;
  text-align: left;
  border: 1px solid #000000;
  background-color: #ffffff;
  color: #000000;
  font-size: small;
}

div#logenv {
  padding-left: 8%;
  padding-right: 8%;
  margin-top: 2em;
  margin-bottom: 2em;
}

h3#logtitle {
  margin: 0;
  position: relative;
  top: -0.7em;
  left: 15px;
  border: 1px solid black;
  background: white;
  padding: 0 0.5em;
  display: inline;
}

div#logbody {
  border: 1px solid #000000;
  background-color: #ffffff;
}

div#logcontent {
  padding-left: 8%;
  padding-right: 8%;
  margin-top: -1em;
  font-size: normal;
}

div.logfoot {
  clear: both;
  font-size: small;
  margin-left: 0.5em;
  margin-right: 0.5em;
  padding-bottom: 2px;
}

div.logfootleft {
  text-align: left;
}

div.logfootright {
  text-align: right;
}

div.soclink {
  float: left;
  padding: 0px 2px 0px 2px;
}

pre {
  border: 1px solid #d7d7d7;
}

div.footer {
  clear: both;
  border-top: 1px solid #707070;
}
div.footerleft {
  float: left;
  font-size: xx-small;
}
div.footerright {
  float: right;
  font-size: xx-small;
}
.font {
  font-size: 13px;
}
.border {
  border: 1px solid black;
}
.tocabstract {
  font-size: 110%;
}
div.ingredients {
  border: 1px solid #000000;
  background-color: #F9F9F9;
}
div.receipe {
  border: 1px solid #000000;
  background-color: #EDEDED;
}

div.quote {
  border: 1px solid #000000;
  background-color: #EDEDED;
  margin-left: 15%;
  margin-right: 15%;
  padding-left: 8px;
  padding-right: 8px;
}
div.quoteattribution {
  font-size: small;
  color: blue;
}

/*
 * Local variables:
 * mode: indented-text
 * mode: auto-fill
 * End:
*/
