/* standard OTP style sheet */
body {
background: #fefefe;
color: #3E4349;
font-family: serif;
margin: 0;
padding: 0;
border: 0;
overflow: scroll;
height: 100%;
max-height: 100%;
line-height: 1.5em;
}
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) */
text-align: center;
}
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;
}
.expand-collapse-items{
font-size: small;
}
h3>a{
color: #3E4349 !important;
}
hr{
border: 0;
border-top: 1px solid #aaa;
}