/* standard OTP style sheet */
body {
  background: #fefefe;
  color: #3E4349;
  font-family: 'goudy old style', 'minion pro', 'bell mt', Georgia, 'Hiragino Mincho Pro', 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: #fefefe }
.top          { background: #efe }
.otp          { background: #efe }
.erlang       { background: #ffe }
.otp2         { background: #efe }
.app          { background: #ffe }

a:link         { color: #1862ab; text-decoration: none }
a:active       { color: #1c7cd6; text-decoration: none }
a:visited      { color: #1b6ec2; text-decoration: none }

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

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

#content {
  margin-left: 340px; /* 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) */
}

span.bold_code   { font-family: mono, Courier, monospace; white-space: pre; font-weight: bold }
span.code        { font-family: mono, Courier, monospace; white-space: pre; font-weight: normal }

.note, .warning, .do, .dont {
  border: 1px solid #495057;
  margin: 1em 0;
}
.note .label {
  background-color: #2b8a3e;
  color: #fefefe;
  font-weight: bold;
  padding: 5px 10px;
}
.note .content {
  background: #f8f9fa;
  line-height: 120%;
  font-size: 90%;
  padding: 0.5em 1em;
}
.warning .label {
  background: #c92a2a;
  color: #fefefe;
  font-weight: bold;
  padding: 5px 10px;
}
.warning .content {
  background-color: #f8f9fa;
  border: 1px solid #dee2e6;
  line-height: 120%;
  font-size: 90%;
  padding: 0.5em 1em;
}
.do .label {
  background: #30d42a;
  color: #fefefe;
  font-weight: bold;
  padding: 5px 10px;
}
.do .content {
  background: #eafeea;
  color: #3E4349;
  line-height: 120%;
  font-size: 90%;
  padding: 5px 10px;
}
.dont .label {
  background: #C00;
  color: #fefefe;
  font-weight: bold;
  padding: 5px 10px;
}
.dont .content {
  background: #FFF0F0;
  color: #3E4349;
  line-height: 120%;
  font-size: 90%;
  padding: 5px 10px;
}

.quote {
    font-style: italic
}

.example {
  background-color:#f1f3f5;
  border: 1px solid #dee2e6;
  padding: 0.5em 1em;
  margin: 1em 0;
}
.extrafrontpageinfo {
  color: #C00;
  font-weight: bold;
  font-size: 120%;
}

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

.REFBODY     { margin-left: 13mm }

.REFTYPES    { margin-left: 8mm }

footer       { }

.erlang-logo-wrapper{
 text-align: center;
 margin-bottom: 1em;
}

.main-title{
 text-align: center;
}

.main-description{
 text-align: center;
 margin: 2em 0;
 font-size: 1.5em;
}

.doc-table-wrapper{
 width: 100%;
}

.doc-table{
 min-width: 50%;
 margin: 0 auto;
}

.doc-table-caption{
 margin-top: 1em;
 font-style: italic;
 text-align: center;
}

table {
 border-collapse: collapse;
 min-width: 50%;
 margin: 1em;
}

table, th, td {
 border: 1px solid #666;
}

th, td {
 padding: 0.5em;
 text-align: left;
}

tr:hover {
 background-color: #f5f5f5;
}

tr:nth-child(even) {
 background-color: #f2f2f2;
}

th {
 background-color: #777;
 color: #fefefe;
}

.section-title, .section-subtitle, .section-version{
 text-align: center;
 margin: 0;
}

.section-title{
 font-weight: bold;
}

.section-version{
 font-size: small;
}