/* standard OTP style sheet */ body { background: #fefefe; color: #1a1a1a; font-family: sans-serif; margin: 0; padding: 0; border: 0; overflow: scroll; height: 100%; max-height: 100%; line-height: 1.2em; font-size: 16px; } h1, h2, h3, h4, h5, h6{ line-height: 1.2em; } p { max-width: 42em } .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 */ max-width: 42em; } .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; } .bold_code { font-family: mono, Courier, monospace; font-weight: bold } .code { font-family: mono, Courier, monospace; font-weight: normal; color: #000; background-color: #f3f3f3; } .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; line-height: 120%; font-size: 90%; padding: 0.5em 1em; } .do .label { background-color: #2b8a3e; color: #fefefe; font-weight: bold; padding: 5px 10px; } .do .content { background: #f8f9fa; line-height: 120%; font-size: 90%; padding: 5px 10px; } .dont .label { background: #c92a2a; color: #fefefe; font-weight: bold; padding: 5px 10px; } .dont .content { background-color: #f8f9fa; 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; margin: 0; } .exports-body, .data-types-body, .REFBODY{ margin-left: 2em; } .REFTYPES { margin-left: 1.5em } 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, .doc-image-wrapper{ width: 100%; } .doc-image-wrapper{ text-align: center; } .doc-table, .doc-image{ min-width: 50%; margin: 0 auto; } .doc-table-caption, .doc-image-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: #1a1a1a !important; } hr{ border: 0; border-top: 1px solid #aaa; } .section-links, .panel-sections, .expand-collapse-items{ padding: 0 1em; } .section-links, .panel-sections{ margin-top: 0; } a > .code { color: #1862ab; } .func-types-title{ font-size: 1em; }