1/* 2 * (C) Copyright 2001-2015 Diomidis Spinellis. 3 * 4 * This file is part of CScout. 5 * 6 * CScout is free software: you can redistribute it and/or modify 7 * it under the terms of the GNU General Public License as published by 8 * the Free Software Foundation, either version 3 of the License, or 9 * (at your option) any later version. 10 * 11 * CScout is distributed in the hope that it will be useful, 12 * but WITHOUT ANY WARRANTY; without even the implied warranty of 13 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the 14 * GNU General Public License for more details. 15 * 16 * You should have received a copy of the GNU General Public License 17 * along with CScout. If not, see <http://www.gnu.org/licenses/>. 18 * 19 * CScout Cascading Style Sheet 20 * 21 * This is converted into css.c and compiled into the code. 22 * It can also be loaded as style.css from a CScout configuration 23 * directory. 24 * 25 */ 26 27/* General style */ 28h1 { 29 font-family: tahoma; 30 font-size:1.6em; 31 color:#888888; 32 border-bottom: 4px solid #0066cc; 33 padding:0px 0px 5px 0px; 34} 35 36h2 { 37 font-family: tahoma; 38 font-size:1.3em; 39 color:#003399; 40 border-bottom: 1px dotted #777777; 41 padding: 2px 0px 3px 0px; 42 margin: 20px 0px 5px 0px; 43} 44 45h3 { 46 font-family: tahoma; 47 font-size:1.1em; 48 color:#666666; 49 border-left: 5px solid #666666; 50 padding: 0px 0px 0px 5px; 51 margin: 10px 0px 5px 0px; 52} 53 54p,td,th,body,ul,body { 55 font-family: verdana; 56 line-height:1.2em; 57} 58 59.footer { 60 font-family: verdana; 61 color:#666666; 62 font-size:0.6em; 63 line-height:1.5em; 64} 65 66 67ul { 68 list-style-type: square; 69 color:#242424; 70 line-height:1.4em; 71} 72 73a:link {color:#3366cc;} 74a:visited {color:#3366cc;} 75a:hover {color:#888888;} 76 77/* Used in the manual pages */ 78pre { 79 line-height:1.1em; 80 padding:4px; 81 background-color: #eeeeee; 82 border: 1px solid #000080; 83 margin-top: 0.5em; 84 margin-bottom: 0.5em; 85} 86 87div.code { 88 line-height:1.1em; 89 padding:4px; 90 background-color: #eeeeee; 91 border: 1px solid #000080; 92 margin-top: 0.5em; 93 margin-bottom: 0.5em; 94} 95 96 97ul, ol, table { 98 margin-top: 0.5em; 99 margin-bottom: 0.5em; 100} 101 102 103/* Page numbering */ 104.pagen { 105 font-family:Trebuchet MS,Helvetica,sans-serif; 106 border:1px solid #ccc; 107 color:#808185; 108 display:inline-block; 109 margin-right:3px; 110 margin-bottom:3px; 111 padding:2px 4px 3px; 112 text-decoration:none 113} 114.pagen:hover { 115 text-decoration:none 116} 117.pagen.next, .pagen.prev, .pagen.all, { 118 border:1px solid #fff 119} 120.pagen.this { 121 background-color:#808185; 122 border:1px solid #808185; 123 color:white; 124 font-weight:bold 125} 126 127/* Main page operation blocks */ 128.mainblock { 129 background: #f0f0f0; 130 padding: 0.01em 1em 1em 1em; 131 margin-right: 1em; 132 margin-top: 1em; 133} 134 135/* Metrics tables */ 136table.metrics tr th{ 137 font-weight: bold; 138 text-align:left; 139 background:#a6caf0; 140} 141 142table.metrics tr td{ 143 background:#eeeee0; 144} 145 146 147/* Unused lines */ 148.unused { 149 color: red 150} 151 152/* Heading for options */ 153.opthead { 154 font-weight:bold; 155 font-size:large; 156 text-align:left; 157 padding-top:.8em; 158} 159 160/* Graphical elements for the function exploration */ 161table.box { 162 border-width: 0px; 163 border-spacing: 2px; 164 border-style: none; 165 border-collapse: separate; 166} 167 168table.box th { 169 border-width: 1px 1px 1px 1px; 170 padding: 0px; 171 border-style: solid; 172 border-color: gray; 173 width: 1em; 174} 175 176table.box td { 177 border-width: 0px; 178 padding-left: 0.5em; 179 border-style: none; 180} 181 182a.plain:link { 183 text-decoration: none; 184} 185a.plain:visited { 186 text-decoration: none; 187} 188 189table.unbox { 190 border-width: 0px; 191 border-spacing: 2px; 192 border-style: none; 193 border-collapse: separate; 194} 195 196table.unbox th { 197 border-width: 1px 1px 1px 1px; 198 padding: 1px; 199 border-style: none; 200 border-color: gray; 201 width: 1em; 202} 203 204table.unbox td { 205 border-width: 0px; 206 padding-left: 0.5em; 207 border-style: none; 208} 209 210/*document navigation*/ 211.docnav a, .docnav strong { 212 text-decoration:none; 213 font-weight:normal; 214} 215.docnav { 216 list-style:none; 217 margin:0em; 218 padding:0em; 219 position:relative; 220 width:100%; 221 padding-bottom:2em; 222 padding-top:1em; 223 border-top:1px dotted #ccc; 224} 225.docnav li { 226 list-style:none; 227 margin:0em; 228 padding:0em; 229 display:inline; 230 font-size:.8em; 231} 232.docnav li:before { 233 content:" "; 234} 235.docnav li.previous, .docnav li.next { 236 position:absolute; 237 top:1em; 238} 239.docnav li.contents, .docnav li.home { 240 margin:0em 1.5em; 241} 242.docnav li.previous { 243 left:0px; 244 text-align:left; 245} 246.docnav li.next { 247 right:0px; 248 text-align:right; 249} 250.docnav li.previous strong, .docnav li.next strong { 251 display:block; 252 height:22px; 253} 254.docnav { 255 margin:0 auto; 256 text-align:center; 257} 258.docnav li.next a strong{ 259 background: url(stock-go-forward.png) top right no-repeat; 260 padding-top:3px; 261 padding-right:28px; 262 font-size:1.2em; 263} 264.docnav li.previous a strong{ 265 background: url(stock-go-back.png) top left no-repeat; 266 padding-top:3px; 267 padding-left:28px; 268 font-size:1.2em; 269} 270.docnav li.home a strong{ 271 background: url(stock-home.png) top left no-repeat; 272 padding:5px; 273 padding-left:28px; 274 font-size:1.2em; 275} 276.docnav li.contents a strong{ 277 background: url(stock-go-up.png) top left no-repeat; 278 padding:5px; 279 padding-left:28px; 280 font-size:1.2em; 281} 282.docnav a:link, .docnav a:visited { 283 color:#666 !important; 284} 285.docnav a:hover,.docnav a:focus, .docnav a:active { 286 color:black !important; 287} 288.docnav a{ 289 max-width: 10em; 290 overflow:hidden; 291} 292.docnav a:link strong{ 293 text-decoration:none; 294} 295 296.docnav{ 297 margin:0 auto; 298 text-align:center; 299} 300