#wrapper {
  color: #222;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  font-size: 13pt;
  line-height: 1.4em;
  width:100%;
  max-width: 45em;
  margin-left: auto;
  margin-right: auto;
  text-align: justify;
}

#header {
  border-bottom: 5px solid #008B26;
  padding-bottom: .5em;
  margin-bottom: 16pt;
}

#title {
  font-size: 90%;
  font-weight: bold;
  float: right;
  color: #008B26;
}

#header .nav {
  font-size: 90%;
  font-weight: bold;
  color: black;
  text-decoration: underline;
}

#header .nav:hover {
  color: white;
  background: black;
  text-decoration: none;
}

#footer {
  margin-top: 16pt;
  border-top: 5px solid #008B26;
  padding-top: .5em;
}

#footer .nav {
  font-size: 90%;
  font-weight: bold;
  color: black;
  text-decoration: underline;
}

#footer .nav:hover {
  color: white;
  background: black;
  text-decoration: none;
}

#content {
}

#content h1 {
  margin-top: 0;
}

#content h1,h2,h3 {
  font-family: georgia, verdana, sans-serif;
  text-align: left;
}

#content h1 {
  font-size: 200%;
  line-height: 110%;
}

#content h2 {
  font-size: 144%;
}

#content h3 {
  font-size: 120%;
}

#content .comment {
  background: #800;
  padding: 0 .2em 0 .2em;
  color: yellow;
}

#content .link {
  color: #008B26;
}

#content .xlink {
  color: #008B26;
  border-bottom: 1px solid #008B26;
}

#content .link:visited {
  color: #005c19;
}

#content .xlink:visited {
  color: #005c19;
  border-bottom: 1px solid #005c19;
}

#content .link:hover {
  color: white;
  background: #008;
}

#content .xlink:hover {
  color: white;
  background: #008;
  border-bottom: 1px solid white;
}

#content .footnote {
  color: #E86100;
  text-decoration: none;
}

#content .footnote:hover {
  background: #E86100;
  color: white;
  text-decoration: none;
}

#content .cite {
  color: #8B2600;
  text-decoration: none;
}

#content .cite:hover {
  background: #800;
  color: white;
  text-decoration: none;
}

#content .emph {
  font-weight: bold;
}

#content .thmtitle {
  font-weight: bold;
}

#content .pftitle {
  font-weight: bold;
}

#content .preamble {
  display: none;
}

/*#content p {
  margin-top: 0;
  margin-bottom: 0;
}

#content p + p {
  margin-top: 16pt;
}*/

#content p {
  margin-top: 16pt;
  margin-bottom: 16pt;
}

#content .compact p {
  margin-top: 0;
  margin-bottom: 0;
}

#content .theorem {
  margin-top: 16pt;
  margin-bottom: 16pt;
}

#content .proof {
  margin-top: 16pt;
  margin-bottom: 16pt;
}

#content .tree {
  border-left: 1px dotted #aaa;
  margin-left: 6px;
  padding-left: 15px;
}

#content .tree-ctrl {
  float: left;
  background-image: url("minus.gif");
  background-repeat: no-repeat;
  margin-top: 5px;
  margin-right: 5px;
  width: 15px;
  height: 15px;
  cursor: pointer;
}

#content .error {
  border: 1px solid #aaa;
  background: #fee;
  padding: 3px;
  font-size: 90%;
  margin-top: 1em;
  margin-bottom: 1em;
}

#footer .linked-from {
  font-size: 80%;
  color: #555;
}

#footer .linked-from a {
  color: black;
}

#footer .linked-from a:hover {
  color: white;
  background: black;
}

#footer .categories {
  font-size: 80%;
  color: #555;
}

#footer .categories a {
  color: black;
}

#footer .categories a:hover {
  color: white;
  background: black;
}

/*ategory {
  margin-top: 16pt;
  margin-bottom: 16pt;
  font-size: 80%;
  color: #555;
}

#category a {
  color: black;
}

#category a:hover {
  color: white;
  background: black;
}*/

#content .qed {
  float: right;
}