h1,h2,h3,h4,h5,h6 {
  font-family: "Helvetica",sans-serif;
}

.hidden {
  opacity: 0.0;
  display: none;
}

.errorMessage {
  font-family: "Helvetica",sans-serif;
  font-weight: bold;
  font-size: smaller;
  padding: 4pt;
  -webkit-border-radius: 4pt;
  -moz-border-radius: 4pt;
  background-color: #fcc;
}

div.formContainer {
  border: 2px solid green;
  -webkit-border-radius: 1ex;
  -moz-border-radius: 1ex;
  border-radius: 1ex;
  background-color: #efe;
  padding-left: 1em;
  padding-right: 1em;
}

code {
  font-family: "Monaco";
  font-size: 10pt;
}

.variable {
  font-style: italic;
}

pre.example {
  border: 1px solid #8B8;
  background: #EEF;
  padding: 0.5em;
  font-family: "Monaco";
  font-size: 10pt;
  width: 76ex;
}

dl {
  margin-left: 1em;
}

dt {
  margin-bottom: 0.5ex;
}

dt > code {
  font-weight: bold;
}

dd {
  margin-bottom: 1em;
  margin-left: 0;
}

div.key-reference {
  float: right;
  width: 20%;
  margin-left: 2em;
  padding: 1em;
  border: 1px solid gray;
  background: #EEE;
}

div.key-reference h3 {
  margin-top: 0;
}

div.figure {
  text-align: center;
}