1*09467b48Spatrick/* 2*09467b48Spatrick * LLVM documentation style sheet 3*09467b48Spatrick */ 4*09467b48Spatrick 5*09467b48Spatrick/* Common styles */ 6*09467b48Spatrick.body { color: black; background: white; margin: 0 0 0 0 } 7*09467b48Spatrick 8*09467b48Spatrick/* No borders on image links */ 9*09467b48Spatricka:link img, a:visited img { border-style: none } 10*09467b48Spatrick 11*09467b48Spatrickaddress img { float: right; width: 88px; height: 31px; } 12*09467b48Spatrickaddress { clear: right; } 13*09467b48Spatrick 14*09467b48Spatricktable { text-align: center; border: 2px solid black; 15*09467b48Spatrick border-collapse: collapse; margin-top: 1em; margin-left: 1em; 16*09467b48Spatrick margin-right: 1em; margin-bottom: 1em; } 17*09467b48Spatricktr, td { border: 2px solid gray; padding: 4pt 4pt 2pt 2pt; } 18*09467b48Spatrickth { border: 2px solid gray; font-weight: bold; font-size: 105%; 19*09467b48Spatrick background: url("lines.gif"); 20*09467b48Spatrick font-family: "Georgia,Palatino,Times,Roman,SanSerif"; 21*09467b48Spatrick text-align: center; vertical-align: middle; } 22*09467b48Spatrick/* 23*09467b48Spatrick * Documentation 24*09467b48Spatrick */ 25*09467b48Spatrick/* Common for title and header */ 26*09467b48Spatrick.doc_title, .doc_section, .doc_subsection, h1, h2, h3 { 27*09467b48Spatrick color: black; background: url("lines.gif"); 28*09467b48Spatrick font-family: "Georgia,Palatino,Times,Roman,SanSerif"; font-weight: bold; 29*09467b48Spatrick border-width: 1px; 30*09467b48Spatrick border-style: solid none solid none; 31*09467b48Spatrick text-align: center; 32*09467b48Spatrick vertical-align: middle; 33*09467b48Spatrick padding-left: 8pt; 34*09467b48Spatrick padding-top: 1px; 35*09467b48Spatrick padding-bottom: 2px 36*09467b48Spatrick} 37*09467b48Spatrick 38*09467b48Spatrickh1, .doc_title, .title { text-align: left; font-size: 25pt } 39*09467b48Spatrick 40*09467b48Spatrickh2, .doc_section { text-align: center; font-size: 22pt; 41*09467b48Spatrick margin: 20pt 0pt 5pt 0pt; } 42*09467b48Spatrick 43*09467b48Spatrickh3, .doc_subsection { width: 75%; 44*09467b48Spatrick text-align: left; font-size: 12pt; 45*09467b48Spatrick padding: 4pt 4pt 4pt 4pt; 46*09467b48Spatrick margin: 1.5em 0.5em 0.5em 0.5em } 47*09467b48Spatrick 48*09467b48Spatrickh4, .doc_subsubsection { margin: 2.0em 0.5em 0.5em 0.5em; 49*09467b48Spatrick font-weight: bold; font-style: oblique; 50*09467b48Spatrick border-bottom: 1px solid #999999; font-size: 12pt; 51*09467b48Spatrick width: 75%; } 52*09467b48Spatrick 53*09467b48Spatrick.doc_author { text-align: left; font-weight: bold; padding-left: 20pt } 54*09467b48Spatrick.doc_text { text-align: left; padding-left: 20pt; padding-right: 10pt } 55*09467b48Spatrick 56*09467b48Spatrick.doc_footer { text-align: left; padding: 0 0 0 0 } 57*09467b48Spatrick 58*09467b48Spatrick.doc_hilite { color: blue; font-weight: bold; } 59*09467b48Spatrick 60*09467b48Spatrick.doc_table { text-align: center; width: 90%; 61*09467b48Spatrick padding: 1px 1px 1px 1px; border: 1px; } 62*09467b48Spatrick 63*09467b48Spatrick.doc_warning { color: red; font-weight: bold } 64*09467b48Spatrick 65*09467b48Spatrick/* <div class="doc_code"> would use this class, and <div> adds more padding */ 66*09467b48Spatrick.doc_code, .literal-block 67*09467b48Spatrick { border: solid 1px gray; background: #eeeeee; 68*09467b48Spatrick margin: 0 1em 0 1em; 69*09467b48Spatrick padding: 0 1em 0 1em; 70*09467b48Spatrick display: table; 71*09467b48Spatrick } 72*09467b48Spatrick 73*09467b48Spatrickblockquote pre { 74*09467b48Spatrick padding: 1em 2em 1em 1em; 75*09467b48Spatrick border: solid 1px gray; 76*09467b48Spatrick background: #eeeeee; 77*09467b48Spatrick margin: 0 1em 0 1em; 78*09467b48Spatrick display: table; 79*09467b48Spatrick} 80*09467b48Spatrick 81*09467b48Spatrickh2+div, h2+p {text-align: left; padding-left: 20pt; padding-right: 10pt;} 82*09467b48Spatrickh3+div, h3+p {text-align: left; padding-left: 20pt; padding-right: 10pt;} 83*09467b48Spatrickh4+div, h4+p {text-align: left; padding-left: 20pt; padding-right: 10pt;} 84*09467b48Spatrick 85*09467b48Spatrick/* It is preferable to use <pre class="doc_code"> everywhere instead of the 86*09467b48Spatrick * <div class="doc_code"><pre>...</ptr></div> construct. 87*09467b48Spatrick * 88*09467b48Spatrick * Once all docs use <pre> for code regions, this style can be merged with the 89*09467b48Spatrick * one above, and we can drop the [pre] qualifier. 90*09467b48Spatrick */ 91*09467b48Spatrickpre.doc_code, .literal-block { padding: 1em 2em 1em 1em } 92*09467b48Spatrick 93*09467b48Spatrick.doc_notes { background: #fafafa; border: 1px solid #cecece; 94*09467b48Spatrick display: table; padding: 0 1em 0 .1em } 95*09467b48Spatrick 96*09467b48Spatricktable.layout { text-align: left; border: none; border-collapse: collapse; 97*09467b48Spatrick padding: 4px 4px 4px 4px; } 98*09467b48Spatricktr.layout, td.layout, td.left, td.right 99*09467b48Spatrick { border: none; padding: 4pt 4pt 2pt 2pt; vertical-align: top; } 100*09467b48Spatricktd.left { text-align: left } 101*09467b48Spatricktd.right { text-align: right } 102*09467b48Spatrickth.layout { border: none; font-weight: bold; font-size: 105%; 103*09467b48Spatrick text-align: center; vertical-align: middle; } 104*09467b48Spatrick 105*09467b48Spatrick/* Left align table cell */ 106*09467b48Spatrick.td_left { border: 2px solid gray; text-align: left; } 107*09467b48Spatrick 108*09467b48Spatrick/* ReST-specific */ 109*09467b48Spatrick.title { margin-top: 0 } 110*09467b48Spatrick.topic-title{ display: none } 111*09467b48Spatrickdiv.contents ul { list-style-type: decimal } 112*09467b48Spatrick.toc-backref { color: black; text-decoration: none; } 113