/* Customized EDoc style sheet */ * { box-sizing: border-box; } body { font: 16px/1.6 "Helvetica Neue",Helvetica,"Segoe UI",Arial,freesans,sans-serif; color: #333; padding: 30px; background-color: #ffffff; font-size:1.0em; } body > :first-child { margin-top: 0 !important; } h1, h2, h3, h4, h5, h6 { position: relative; margin-top: 1em; margin-bottom: 16px; font-weight: bold; line-height: 1.4; } h1 { margin-top: 1em; padding-bottom: 0.3em; font-size: 2.25em; line-height: 1.2; border-bottom: 1px solid #EEE; } h2 { padding-bottom: 0.3em; font-size: 1.75em; line-height: 1.225; border-bottom: 1px solid #EEE; } h3 { font-size: 1.5em; line-height: 1.43; } div.navbar { padding: 0.2em 0.3em 0.2em 1em; margin: 1em 0; border: solid 1px #ddd; background-color: #f5f5f5; border-radius: 3px; } h2.indextitle { margin-top: 0; margin-left: -20px; margin-right: -20px; } h3.function, h3.typedecl { font-family: Consolas,"Liberation Mono",Menlo,Courier,monospace; font-size: 1.1em; } div.spec { padding: 5px; background-color: #eee; border-radius: 3px; } div.spec p { margin: 0 } a:link, a:visited { color: #4183C4; text-decoration: none; } a:hover { text-decoration: underline; } h2 a, h3 a, h4 a, h5 a, h6 a { color: #333; text-decoration: none !important; } a.module,a.package { text-decoration:none } a.module:hover,a.package:hover { background-color: #eeeeee; } ul.definitions { list-style-type: none; } ul.index { /*list-style-type: none; background-color: #eeeeee;*/ } hr { display: none; } table tr:nth-child(2n) { background-color: #fafafa; } table th, table td { padding: 6px 13px; border: 1px solid #ddd; } table[border="0"] td { /* design elements in footer etc */ padding: 0; border: none; } table[border="0"] tr { background-color: transparent; } table[summary="list of modules"] { margin: 0 -20px; } table[summary="list of modules"] td { border: none; padding: 2px 0; } ul { /*list-style-type: square;*/ } table { border-collapse: collapse; } td { padding: 3px } code, tt { font: 12px Consolas,"Liberation Mono",Menlo,Courier,monospace; padding: 0.2em 0px; margin: 0; font-size: 85%; background-color: #eee; border-radius: 3px; text-shadow: 1px 1px 0 #fff; }