/* standard OTP style sheet */
body {
  background: white;
  font-family: Verdana, Arial, Helvetica, sans-serif;
  margin: 0;
  padding: 0;
  border: 0;
  overflow: scroll;
  height: 100%;
  max-height: 100%;
}

th            { font-family: Verdana, Arial, Helvetica, sans-serif }
td            { font-family: Verdana, Arial, Helvetica, sans-serif }
p             { font-family: Verdana, Arial, Helvetica, sans-serif }

.header       { background: #222; color: #fff }
.top          { background: #efe }
.otp          { background: #efe }
.erlang       { background: #ffe }
.otp2         { background: #efe }
.app          { background: #ffe }

a:link         { color: blue; text-decoration: none }
a:active       { color: blue; text-decoration: none }
a:visited      { color: blue; text-decoration: none }

#container {
  width: 100%;
  margin: 0;
  background-color: #fff;
}

#leftnav {
  position: fixed;
  float: left;
  top: 0;
  bottom: 0;
  left: 0;
  width: 200px;
  overflow:auto;
  margin: 0;
  padding: 1px;
  border-right: 1px solid red;
}

#content {
  margin-left: 240px; /* set left value to WidthOfFrameDiv */
}

.frontpage 
{
  padding-top: 50px; /* Magins for inner DIV inside each DIV (to provide padding) */
}

.innertube 
{
  margin: 15px; /* Magins for inner DIV inside each DIV (to provide padding) */
}

.footer 
{
  margin: 15px; /* Magins for inner DIV inside each DIV (to provide padding) */
}

.bold_code   { font-family: Courier, monospace; font-weight: bold }
code        { font-family: Courier, monospace; font-weight: normal }

.note, .warning {
  border: solid black 1px;
  margin: 1em 3em;
}
.note .label {
  background: #30d42a;
  color: white;
  font-weight: bold;
  padding: 5px 10px;
}
.note .content {
  background: #eafeea;
  color: black;
  line-height: 120%;
  font-size: 90%;
  padding: 5px 10px;
}
.warning .label {
  background: #C00;
  color: white;
  font-weight: bold;
  padding: 5px 10px;
}
.warning .content {
  background: #FFF0F0;
  color: black;
  line-height: 120%;
  font-size: 90%;
  padding: 5px 10px;
}
.example {
  background-color:#eeeeff;
  padding: 0px 10px;
}

pre          { font-family: Courier, monospace; font-weight: normal }

.REFBODY     { margin-left: 13mm }

.REFTYPES    { margin-left: 8mm }

footer       { }
pre {
    padding:5px;
    display:block;
    background-color:#EEE;
    border:1px solid #CCC;
    border-radius:3px;
    -webkit-border-radius: 3px;
    -moz-border-radius: 3px;
}

pre code,pre .subst,pre .tag .title,pre .lisp .title,pre .clojure .built_in,pre .nginx .title{
    color:black
}

pre .string,pre .title,pre .constant,pre .parent,pre .tag .value,pre .rules .value,pre .rules .value .number,pre .preprocessor,pre .ruby .symbol,pre .ruby .symbol .string,pre .aggregate,pre .template_tag,pre .django .variable,pre .smalltalk .class,pre .addition,pre .flow,pre .stream,pre .bash .variable,pre .apache .tag,pre .apache .cbracket,pre .tex .command,pre .tex .special,pre .erlang_repl .function_or_atom,pre .markdown .header{
    color:#800;
}

pre .comment,pre .annotation,pre .template_comment,pre .diff .header,pre .chunk,pre .markdown .blockquote{
    color:#888;
}

pre .number,pre .date,pre .regexp,pre .literal,pre .smalltalk .symbol,pre .smalltalk .char,pre .go .constant,pre .change,pre .markdown .bullet,pre .markdown .link_url{
    color:#000;
}

pre .label,pre .javadoc,pre .ruby .string,pre .decorator,pre .filter .argument,pre .localvars,pre .array,pre .attr_selector,pre .important,pre .pseudo,pre .pi,pre .doctype,pre .deletion,pre .envvar,pre .shebang,pre .apache .sqbracket,pre .nginx .built_in,pre .tex .formula,pre .erlang_repl .reserved,pre .prompt,pre .markdown .link_label,pre .vhdl .attribute,pre .clojure .attribute,pre .coffeescript .property{
    color:#88F;
}

pre .keyword,pre .id,pre .phpdoc,pre .title,pre .built_in,pre .aggregate,pre .css .tag,pre .javadoctag,pre .phpdoc,pre .yardoctag,pre .smalltalk .class,pre .winutils,pre .bash .variable,pre .apache .tag,pre .go .typename,pre .tex .command,pre .markdown .strong,pre .request,pre .status, pre .erlang_repl .variable{
    color:#080;
}

pre .markdown .emphasis{
    font-style:italic;
}

pre .nginx .built_in{
    font-weight:normal;
}

pre .coffeescript .javascript,pre .javascript .xml,pre .tex .formula,pre .xml .javascript,pre .xml .vbscript,pre .xml .css,pre .xml .cdata{
    opacity:.5;

}

.alert {
  padding: 8px 35px 8px 14px;
  margin-bottom: 20px;
  text-shadow: 0 1px 0 rgba(255, 255, 255, 0.5);
  background-color: #fcf8e3;
  border: 1px solid #fbeed5;
  -webkit-border-radius: 4px;
     -moz-border-radius: 4px;
          border-radius: 4px;
}

.alert,
.alert h4 {
  color: #c09853;
}

.alert h4 {
  margin: 0;
}

.alert .close {
  position: relative;
  top: -2px;
  right: -21px;
  line-height: 20px;
}

.alert-success {
  color: #468847;
  background-color: #dff0d8;
  border-color: #d6e9c6;
}

.alert-success h4 {
  color: #468847;
}

.alert-danger,
.alert-error {
  color: #b94a48;
  background-color: #f2dede;
  border-color: #eed3d7;
}

.alert-danger h4,
.alert-error h4 {
  color: #b94a48;
}

.alert-info {
  color: #3a87ad;
  background-color: #d9edf7;
  border-color: #bce8f1;
}

.alert-info h4 {
  color: #3a87ad;
}

.alert-block {
  padding-top: 14px;
  padding-bottom: 14px;
}

.alert-block > p,
.alert-block > ul {
  margin-bottom: 0;
}

.alert-block p + p {
  margin-top: 5px;
}