* {
  margin: 0;
  padding: 0;
}
h1, h2, h3, h4, h5, h6, p {
  margin: 0.5em 0;
}
html {
  font-size: large;
  font-family: Verdana, sans-serif;
  background-color: #ccd;
  color: black;
  padding: 10px;
}
#content {
  background: #fff;
  border: 2px solid black;
  padding: 0em 1em;
  margin-left: 134px;
}
#nav {
  position: fixed;
  left: 10px;
  list-style-type: none;
  float: left;
  width: 120px;
  font-size: 17px;
  background: #C0AD04;
  border: 1px solid black;
  padding: 0;
}
#nav li {
  margin: 0;
  padding: 0;
  display: inline;
}
#nav li a:link, #nav li a:visited {
  color: white;
  display: block;
  padding: 0.5em;
  border: 1px solid black;
}
#nav li a:hover, #nav li a:focus {
  background: white;
  color: #6766de;
  text-decoration: none;
}

dt {
  font-style: italic;
}
q, abbr {
  /*font-style: italic;*/
  font-style: normal;
}

#quotes ul {
  list-style-type: none;
}
#quotes li {
  position: relative;
  margin-bottom: 1em;
  margin-left: 0em;
}
#quotes li cite {
  position: relative;
  top: 0.5em;
  /*right: 3em;*/
}

ul {
  list-style: circle;
  padding: 0;
}
li {
  margin: 0 2em;
}
dd {
  margin-left: 2em;
  padding-left: 0;
}
li, dd, dt {
  padding-bottom: 0.5em;
}
code, kbd, tt {
  font-size: 1.1em;
}

a {
  text-decoration: none;
}
a:link, a:link code, a:link kbd {
  color: #C0AD04;
  font-weight: bold;
}
a:visited, a:visited code, a:visited kbd {
  color: #B09D20;
  font-weight: bold;
}
a:hover {
  text-decoration: underline;
}
a.boring {
  font-weight: normal;
}
a.exciting {
  font-weight: bold;
}
pre {
  border: 1px solid #99c;
  padding: 0.3em;
  margin: 0.2em;
  display: table;
  background: #eef;
}
pre code {
  color: black;
}