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