/*
 * Filename    : common.css
 * Author      : Robert Cerny
 * Created     : 2007-02-12
 * Last Change : 2010-10-15
 */

* {
  padding: 0;
  margin: 0;
  color: black;
}

code {
  font-family: monospace, monospace;
  color: #666666;
}

code.block {
  display: block;
  padding-bottom: 0;
  white-space: pre;
  margin-top: 0.5em;
  margin-bottom: 0.5em;
  padding-left: 1em;
  padding-right: 1em;
  font-family: monospace, monospace;
  color: black;
}

h3 {
  font-weight: bold;
}

#content h3, #content h4 {
  font-family: Georgia,Times,serif;
}

#content h3, #content h4 {
}

#content h3 {
  color: #3b3f8f;
  font-size: 2em;
  margin-top: 1em;
  margin-bottom: 0.5em;
}

#content h4 {
  color: #6F74C7;
  font-size: 1.2em;
  margin-top: 1em;
}

#content h4, #content h5, #content h6 {
  margin-bottom: 0.5em;
}

#content li {
  margin-left: 2em;
}

dt {
  font-weight: bold;
  font-style: italic;
  margin-top: 1em;
}

dd > dl {
  margin-left: 2em;
}

dd {
  margin-left: 0;
}

.footnotes {
  margin-top: 1em;
  border-top: solid 1px;
  font-size: 0.8em;
}

.footnotes p + p {
  text-indent: 0 !important;
}

#input {
  width: 100%;
  margin-bottom: 0.5em;
}

#output-div {
  width: 100%;
}

#output {
  overflow: scroll !important;
}

#run {
  font-weight: bold;
  float: right;
}

#content h3 {
}

#content ul, #content ol {
  margin-bottom: 1em;
}

#content li {
  list-style-position: inside;
}

#content p+p {
  text-indent: 1.5em;
}

#content h4 {
}

h5 {
  margin-top: 1em;
  font-size: 1em;
  color: #444444;
}

h6 {
  font-size: 0.8em;
  color: #444444;
  font-style: italic;
}