at 16.09-beta 4.5 kB view raw
1/* Copied from http://bakefile.sourceforge.net/, which appears 2 licensed under the GNU GPL. */ 3 4 5/*************************************************************************** 6 Basic headers and text: 7 ***************************************************************************/ 8 9body 10{ 11 font-family: "Nimbus Sans L", sans-serif; 12 background: white; 13 margin: 2em 1em 2em 1em; 14} 15 16h1, h2, h3, h4 17{ 18 color: #005aa0; 19} 20 21h1 /* title */ 22{ 23 font-size: 200%; 24} 25 26h2 /* chapters, appendices, subtitle */ 27{ 28 font-size: 180%; 29} 30 31/* Extra space between chapters, appendices. */ 32div.chapter > div.titlepage h2, div.appendix > div.titlepage h2 33{ 34 margin-top: 1.5em; 35} 36 37div.section > div.titlepage h2 /* sections */ 38{ 39 font-size: 150%; 40 margin-top: 1.5em; 41} 42 43h3 /* subsections */ 44{ 45 font-size: 125%; 46} 47 48div.simplesect h2 49{ 50 font-size: 110%; 51} 52 53div.appendix h3 54{ 55 font-size: 150%; 56 margin-top: 1.5em; 57} 58 59div.refnamediv h2, div.refsynopsisdiv h2, div.refsection h2 /* refentry parts */ 60{ 61 margin-top: 1.4em; 62 font-size: 125%; 63} 64 65div.refsection h3 66{ 67 font-size: 110%; 68} 69 70 71/*************************************************************************** 72 Examples: 73 ***************************************************************************/ 74 75div.example 76{ 77 border: 1px solid #b0b0b0; 78 padding: 6px 6px; 79 margin-left: 1.5em; 80 margin-right: 1.5em; 81 background: #f4f4f8; 82 border-radius: 0.4em; 83 box-shadow: 0.4em 0.4em 0.5em #e0e0e0; 84} 85 86div.example p.title 87{ 88 margin-top: 0em; 89} 90 91div.example pre 92{ 93 box-shadow: none; 94} 95 96 97/*************************************************************************** 98 Screen dumps: 99 ***************************************************************************/ 100 101pre.screen, pre.programlisting 102{ 103 border: 1px solid #b0b0b0; 104 padding: 3px 3px; 105 margin-left: 1.5em; 106 margin-right: 1.5em; 107 color: #600000; 108 background: #f4f4f8; 109 font-family: monospace; 110 border-radius: 0.4em; 111 box-shadow: 0.4em 0.4em 0.5em #e0e0e0; 112} 113 114div.example pre.programlisting 115{ 116 border: 0px; 117 padding: 0 0; 118 margin: 0 0 0 0; 119} 120 121 122/*************************************************************************** 123 Notes, warnings etc: 124 ***************************************************************************/ 125 126.note, .warning 127{ 128 border: 1px solid #b0b0b0; 129 padding: 3px 3px; 130 margin-left: 1.5em; 131 margin-right: 1.5em; 132 margin-bottom: 1em; 133 padding: 0.3em 0.3em 0.3em 0.3em; 134 background: #fffff5; 135 border-radius: 0.4em; 136 box-shadow: 0.4em 0.4em 0.5em #e0e0e0; 137} 138 139div.note, div.warning 140{ 141 font-style: italic; 142} 143 144div.note h3, div.warning h3 145{ 146 color: red; 147 font-size: 100%; 148 padding-right: 0.5em; 149 display: inline; 150} 151 152div.note p, div.warning p 153{ 154 margin-bottom: 0em; 155} 156 157div.note h3 + p, div.warning h3 + p 158{ 159 display: inline; 160} 161 162div.note h3 163{ 164 color: blue; 165 font-size: 100%; 166} 167 168div.navfooter * 169{ 170 font-size: 90%; 171} 172 173 174/*************************************************************************** 175 Links colors and highlighting: 176 ***************************************************************************/ 177 178a { text-decoration: none; } 179a:hover { text-decoration: underline; } 180a:link { color: #0048b3; } 181a:visited { color: #002a6a; } 182 183 184/*************************************************************************** 185 Table of contents: 186 ***************************************************************************/ 187 188div.toc 189{ 190 font-size: 90%; 191} 192 193div.toc dl 194{ 195 margin-top: 0em; 196 margin-bottom: 0em; 197} 198 199 200/*************************************************************************** 201 Special elements: 202 ***************************************************************************/ 203 204tt, code 205{ 206 color: #400000; 207} 208 209.term 210{ 211 font-weight: bold; 212 213} 214 215div.variablelist dd p, div.glosslist dd p 216{ 217 margin-top: 0em; 218} 219 220div.variablelist dd, div.glosslist dd 221{ 222 margin-left: 1.5em; 223} 224 225div.glosslist dt 226{ 227 font-style: italic; 228} 229 230.varname 231{ 232 color: #400000; 233} 234 235span.command strong 236{ 237 font-weight: normal; 238 color: #400000; 239} 240 241div.calloutlist table 242{ 243 box-shadow: none; 244} 245 246table 247{ 248 border-collapse: collapse; 249 box-shadow: 0.4em 0.4em 0.5em #e0e0e0; 250} 251 252div.affiliation 253{ 254 font-style: italic; 255}