annotate src/sord-0.12.0/doc/style.css @ 46:efe5b9f38b13

Debug build of Rubber Band Library
author Chris Cannam
date Wed, 19 Oct 2016 17:32:56 +0100
parents c7265573341e
children
rev   line source
Chris@0 1 body {
Chris@0 2 font-size: medium;
Chris@0 3 font-family: sans-serif;
Chris@0 4 }
Chris@0 5
Chris@0 6 #top {
Chris@0 7 background-color: #F3F3F3;
Chris@0 8 margin: 0;
Chris@0 9 padding: 0;
Chris@0 10 border-bottom: 1px solid #DDD;
Chris@0 11 margin-bottom: 1ex;
Chris@0 12 font-size: xx-large;
Chris@0 13 font-weight: bold;
Chris@0 14 }
Chris@0 15
Chris@0 16 div.header {
Chris@0 17 display: none;
Chris@0 18 }
Chris@0 19
Chris@0 20 .tabs {
Chris@0 21 display: none;
Chris@0 22 }
Chris@0 23
Chris@0 24 h1 h2 h3 h4 h5 h6 {
Chris@0 25 font-weight: bold;
Chris@0 26 }
Chris@0 27
Chris@0 28 h1 {
Chris@0 29 font-size: 164%;
Chris@0 30 }
Chris@0 31
Chris@0 32 h2 {
Chris@0 33 font-size: 132%;
Chris@0 34 }
Chris@0 35
Chris@0 36 h3 {
Chris@0 37 font-size: 124%;
Chris@0 38 }
Chris@0 39
Chris@0 40 h4 {
Chris@0 41 font-size: 116%;
Chris@0 42 }
Chris@0 43
Chris@0 44 h5 {
Chris@0 45 font-size: 108%;
Chris@0 46 }
Chris@0 47
Chris@0 48 h6 {
Chris@0 49 font-size: 100%;
Chris@0 50 }
Chris@0 51
Chris@0 52 p {
Chris@0 53 margin: 0 0 1ex 0;
Chris@0 54 }
Chris@0 55
Chris@0 56 br {
Chris@0 57 display: none;
Chris@0 58 }
Chris@0 59
Chris@0 60 dt {
Chris@0 61 font-weight: 700;
Chris@0 62 }
Chris@0 63
Chris@0 64 div.multicol {
Chris@0 65 }
Chris@0 66
Chris@0 67 p.startli,p.startdd,p.starttd {
Chris@0 68 margin-top: 2px;
Chris@0 69 }
Chris@0 70
Chris@0 71 p.endli {
Chris@0 72 margin-bottom: 0;
Chris@0 73 }
Chris@0 74
Chris@0 75 p.enddd {
Chris@0 76 margin-bottom: 4px;
Chris@0 77 }
Chris@0 78
Chris@0 79 p.endtd {
Chris@0 80 margin-bottom: 2px;
Chris@0 81 }
Chris@0 82
Chris@0 83 caption {
Chris@0 84 font-weight: 700;
Chris@0 85 }
Chris@0 86
Chris@0 87 span.legend {
Chris@0 88 font-size: 70%;
Chris@0 89 text-align: center;
Chris@0 90 }
Chris@0 91
Chris@0 92 h3.version {
Chris@0 93 font-size: 90%;
Chris@0 94 text-align: center;
Chris@0 95 }
Chris@0 96
Chris@0 97 div.qindex,div.navtab {
Chris@0 98 background-color: #EBEFF6;
Chris@0 99 border: 1px solid #A3B4D7;
Chris@0 100 text-align: center;
Chris@0 101 margin: 2px;
Chris@0 102 padding: 2px;
Chris@0 103 }
Chris@0 104
Chris@0 105 div.qindex,div.navpath {
Chris@0 106 width: 100%;
Chris@0 107 line-height: 140%;
Chris@0 108 }
Chris@0 109
Chris@0 110 div.navtab {
Chris@0 111 margin-right: 15px;
Chris@0 112 }
Chris@0 113
Chris@0 114 /* @group Link Styling */
Chris@0 115 a {
Chris@0 116 color: #3D8C57;
Chris@0 117 text-decoration: none;
Chris@0 118 }
Chris@0 119
Chris@0 120 .contents a:visited {
Chris@0 121 color: #50755E;
Chris@0 122 }
Chris@0 123
Chris@0 124 a:hover {
Chris@0 125 text-decoration: underline;
Chris@0 126 }
Chris@0 127
Chris@0 128 a.qindexHL {
Chris@0 129 background-color: #9CAFD4;
Chris@0 130 color: #FFF;
Chris@0 131 border: 1px double #869DCA;
Chris@0 132 }
Chris@0 133
Chris@0 134 a.code {
Chris@0 135 color: #4665A2;
Chris@0 136 }
Chris@0 137
Chris@0 138 a.codeRef {
Chris@0 139 color: #4665A2;
Chris@0 140 }
Chris@0 141
Chris@0 142 /* @end */
Chris@0 143 dl.el {
Chris@0 144 margin-left: -1cm;
Chris@0 145 }
Chris@0 146
Chris@0 147 .fragment {
Chris@0 148 font-family: monospace, fixed;
Chris@0 149 font-size: 105%;
Chris@0 150 }
Chris@0 151
Chris@0 152 pre.fragment {
Chris@0 153 border: 1px solid #C4C4C4;
Chris@0 154 background-color: #F9F9F9;
Chris@0 155 padding: 4px 6px;
Chris@0 156 margin: 4px 8px 4px 2px;
Chris@0 157 overflow: auto;
Chris@0 158 font-size: 9pt;
Chris@0 159 line-height: 125%;
Chris@0 160 }
Chris@0 161
Chris@0 162 div.ah {
Chris@0 163 background-color: #000;
Chris@0 164 font-weight: 700;
Chris@0 165 color: #FFF;
Chris@0 166 margin-bottom: 3px;
Chris@0 167 margin-top: 3px;
Chris@0 168 padding: .2em;
Chris@0 169 border: thin solid #333;
Chris@0 170 }
Chris@0 171
Chris@0 172 div.groupHeader {
Chris@0 173 margin-left: 16px;
Chris@0 174 margin-top: 12px;
Chris@0 175 margin-bottom: 6px;
Chris@0 176 font-weight: 700;
Chris@0 177 }
Chris@0 178
Chris@0 179 div.groupText {
Chris@0 180 margin-left: 16px;
Chris@0 181 font-style: italic;
Chris@0 182 }
Chris@0 183
Chris@0 184 body {
Chris@0 185 background: #FFF;
Chris@0 186 color: #000;
Chris@0 187 margin: 0;
Chris@0 188 }
Chris@0 189
Chris@0 190 div.contents {
Chris@0 191 margin-top: 10px;
Chris@0 192 margin-left: 10px;
Chris@0 193 margin-right: 10px;
Chris@0 194 }
Chris@0 195
Chris@0 196 td.indexkey {
Chris@0 197 background-color: #EBEFF6;
Chris@0 198 font-weight: 700;
Chris@0 199 border: 1px solid #C4CFE5;
Chris@0 200 margin: 2px 0;
Chris@0 201 padding: 2px 10px;
Chris@0 202 }
Chris@0 203
Chris@0 204 td.indexvalue {
Chris@0 205 background-color: #EBEFF6;
Chris@0 206 border: 1px solid #C4CFE5;
Chris@0 207 padding: 2px 10px;
Chris@0 208 margin: 2px 0;
Chris@0 209 }
Chris@0 210
Chris@0 211 tr.memlist {
Chris@0 212 background-color: #EEF1F7;
Chris@0 213 }
Chris@0 214
Chris@0 215 p.formulaDsp {
Chris@0 216 text-align: center;
Chris@0 217 }
Chris@0 218
Chris@0 219 img.formulaDsp {
Chris@0 220 }
Chris@0 221
Chris@0 222 img.formulaInl {
Chris@0 223 vertical-align: middle;
Chris@0 224 }
Chris@0 225
Chris@0 226 div.center {
Chris@0 227 text-align: center;
Chris@0 228 margin-top: 0;
Chris@0 229 margin-bottom: 0;
Chris@0 230 padding: 0;
Chris@0 231 }
Chris@0 232
Chris@0 233 div.center img {
Chris@0 234 border: 0;
Chris@0 235 }
Chris@0 236
Chris@0 237 address.footer {
Chris@0 238 text-align: right;
Chris@0 239 padding: 0 0.25em 0.25em 0;
Chris@0 240 }
Chris@0 241
Chris@0 242 img.footer {
Chris@0 243 border: 0;
Chris@0 244 vertical-align: middle;
Chris@0 245 }
Chris@0 246
Chris@0 247 /* @group Code Colorization */
Chris@0 248 span.keyword {
Chris@0 249 color: green;
Chris@0 250 }
Chris@0 251
Chris@0 252 span.keywordtype {
Chris@0 253 color: #604020;
Chris@0 254 }
Chris@0 255
Chris@0 256 span.keywordflow {
Chris@0 257 color: #e08000;
Chris@0 258 }
Chris@0 259
Chris@0 260 span.comment {
Chris@0 261 color: maroon;
Chris@0 262 }
Chris@0 263
Chris@0 264 span.preprocessor {
Chris@0 265 color: #806020;
Chris@0 266 }
Chris@0 267
Chris@0 268 span.stringliteral {
Chris@0 269 color: #002080;
Chris@0 270 }
Chris@0 271
Chris@0 272 span.charliteral {
Chris@0 273 color: teal;
Chris@0 274 }
Chris@0 275
Chris@0 276 span.vhdldigit {
Chris@0 277 color: #F0F;
Chris@0 278 }
Chris@0 279
Chris@0 280 span.vhdlkeyword {
Chris@0 281 color: #700070;
Chris@0 282 }
Chris@0 283
Chris@0 284 span.vhdllogic {
Chris@0 285 color: red;
Chris@0 286 }
Chris@0 287
Chris@0 288 /* @end */
Chris@0 289 td.tiny {
Chris@0 290 font-size: 75%;
Chris@0 291 }
Chris@0 292
Chris@0 293 .dirtab {
Chris@0 294 padding: 4px;
Chris@0 295 border-collapse: collapse;
Chris@0 296 border: 1px solid #A3B4D7;
Chris@0 297 }
Chris@0 298
Chris@0 299 th.dirtab {
Chris@0 300 background: #EBEFF6;
Chris@0 301 font-weight: 700;
Chris@0 302 }
Chris@0 303
Chris@0 304 hr {
Chris@0 305 height: 0;
Chris@0 306 border: none;
Chris@0 307 border-top: 1px solid #DDD;
Chris@0 308 margin: 2em 0 1em;
Chris@0 309 }
Chris@0 310
Chris@0 311 hr.footer {
Chris@0 312 height: 1px;
Chris@0 313 }
Chris@0 314
Chris@0 315 /* @group Member Descriptions */
Chris@0 316 table.memberdecls {
Chris@0 317 border-spacing: 0;
Chris@0 318 font-size: small;
Chris@0 319 }
Chris@0 320
Chris@0 321 .mdescLeft,.mdescRight,.memItemLeft,.memItemRight,.memTemplItemLeft,.memTemplItemRight,.memTemplParams {
Chris@0 322 background-color: #FBFBFB;
Chris@0 323 margin: 0;
Chris@0 324 padding: 0.25ex;
Chris@0 325 }
Chris@0 326
Chris@0 327 .mdescLeft,.mdescRight {
Chris@0 328 color: #555;
Chris@0 329 }
Chris@0 330
Chris@0 331 .memItemLeft,.memItemRight,.memTemplParams {
Chris@0 332 border-top: 1px solid #DDD;
Chris@0 333 }
Chris@0 334
Chris@0 335 .memItemLeft,.memTemplItemLeft {
Chris@0 336 white-space: nowrap;
Chris@0 337 padding-left: 2em;
Chris@0 338 }
Chris@0 339
Chris@0 340 .memTemplParams {
Chris@0 341 color: #464646;
Chris@0 342 white-space: nowrap;
Chris@0 343 }
Chris@0 344
Chris@0 345 /* @end */
Chris@0 346 /* @group Member Details */
Chris@0 347 /* Styles for detailed member documentation */
Chris@0 348 .memtemplate {
Chris@0 349 font-size: 80%;
Chris@0 350 color: #4665A2;
Chris@0 351 font-weight: bold;
Chris@0 352 }
Chris@0 353
Chris@0 354 .memnav {
Chris@0 355 background-color: #EBEFF6;
Chris@0 356 border: 1px solid #A3B4D7;
Chris@0 357 text-align: center;
Chris@0 358 margin: 2px;
Chris@0 359 margin-right: 15px;
Chris@0 360 padding: 2px;
Chris@0 361 }
Chris@0 362
Chris@0 363 .memitem {
Chris@0 364 padding: 0;
Chris@0 365 margin: 1ex 0 2ex 0;
Chris@0 366 border: 1px solid #CCC;
Chris@0 367 }
Chris@0 368
Chris@0 369 .memname {
Chris@0 370 white-space: nowrap;
Chris@0 371 font-weight: bold;
Chris@0 372 }
Chris@0 373
Chris@0 374 .memproto {
Chris@0 375 border-bottom: 1px solid #DDD;
Chris@0 376 padding: 0.5ex;
Chris@0 377 font-weight: bold;
Chris@0 378 background-color: #F3F3F3;
Chris@0 379 }
Chris@0 380
Chris@0 381 .memdoc {
Chris@0 382 padding: 1ex;
Chris@0 383 background-color: #FBFBFB;
Chris@0 384 border-top-width: 0;
Chris@0 385 }
Chris@0 386
Chris@0 387 .paramkey {
Chris@0 388 text-align: right;
Chris@0 389 }
Chris@0 390
Chris@0 391 .paramtype {
Chris@0 392 white-space: nowrap;
Chris@0 393 }
Chris@0 394
Chris@0 395 .paramname {
Chris@0 396 color: #602020;
Chris@0 397 white-space: nowrap;
Chris@0 398 }
Chris@0 399
Chris@0 400 .paramname em {
Chris@0 401 font-style: normal;
Chris@0 402 }
Chris@0 403
Chris@0 404 /* @end */
Chris@0 405 /* @group Directory (tree) */
Chris@0 406 /* for the tree view */
Chris@0 407 .ftvtree {
Chris@0 408 font-family: sans-serif;
Chris@0 409 margin: 0;
Chris@0 410 }
Chris@0 411
Chris@0 412 /* these are for tree view when used as main index */
Chris@0 413 .directory {
Chris@0 414 font-size: 9pt;
Chris@0 415 font-weight: bold;
Chris@0 416 margin: 5px;
Chris@0 417 }
Chris@0 418
Chris@0 419 .directory h3 {
Chris@0 420 margin: 0;
Chris@0 421 margin-top: 1em;
Chris@0 422 font-size: 11pt;
Chris@0 423 }
Chris@0 424
Chris@0 425 .directory > h3 {
Chris@0 426 margin-top: 0;
Chris@0 427 }
Chris@0 428
Chris@0 429 .directory p {
Chris@0 430 margin: 0;
Chris@0 431 white-space: nowrap;
Chris@0 432 }
Chris@0 433
Chris@0 434 .directory div {
Chris@0 435 display: none;
Chris@0 436 margin: 0;
Chris@0 437 }
Chris@0 438
Chris@0 439 .directory img {
Chris@0 440 vertical-align: -30%;
Chris@0 441 }
Chris@0 442
Chris@0 443 /* these are for tree view when not used as main index */
Chris@0 444 .directory-alt {
Chris@0 445 font-size: 100%;
Chris@0 446 font-weight: bold;
Chris@0 447 }
Chris@0 448
Chris@0 449 .directory-alt h3 {
Chris@0 450 margin: 0;
Chris@0 451 margin-top: 1em;
Chris@0 452 font-size: 11pt;
Chris@0 453 }
Chris@0 454
Chris@0 455 .directory-alt > h3 {
Chris@0 456 margin-top: 0;
Chris@0 457 }
Chris@0 458
Chris@0 459 .directory-alt p {
Chris@0 460 margin: 0;
Chris@0 461 white-space: nowrap;
Chris@0 462 }
Chris@0 463
Chris@0 464 .directory-alt div {
Chris@0 465 display: none;
Chris@0 466 margin: 0;
Chris@0 467 }
Chris@0 468
Chris@0 469 .directory-alt img {
Chris@0 470 vertical-align: -30%;
Chris@0 471 }
Chris@0 472
Chris@0 473 /* @end */
Chris@0 474 div.dynheader {
Chris@0 475 margin-top: 8px;
Chris@0 476 }
Chris@0 477
Chris@0 478 address {
Chris@0 479 font-style: normal;
Chris@0 480 color: #2A3D61;
Chris@0 481 }
Chris@0 482
Chris@0 483 table.doxtable {
Chris@0 484 border-collapse: collapse;
Chris@0 485 margin: 0.5ex;
Chris@0 486 }
Chris@0 487
Chris@0 488 table.doxtable td,table.doxtable th {
Chris@0 489 border: 1px solid #DDD;
Chris@0 490 padding: 3px 7px 2px;
Chris@0 491 }
Chris@0 492
Chris@0 493 table.doxtable th {
Chris@0 494 background-color: #F3F3F3;
Chris@0 495 color: #000;
Chris@0 496 padding-bottom: 4px;
Chris@0 497 padding-top: 5px;
Chris@0 498 text-align: left;
Chris@0 499 font-weight: bold;
Chris@0 500 }
Chris@0 501
Chris@0 502 .tabsearch {
Chris@0 503 top: 0;
Chris@0 504 left: 10px;
Chris@0 505 height: 36px;
Chris@0 506 z-index: 101;
Chris@0 507 overflow: hidden;
Chris@0 508 font-size: 13px;
Chris@0 509 }
Chris@0 510
Chris@0 511 .navpath ul {
Chris@0 512 font-size: 11px;
Chris@0 513 height: 30px;
Chris@0 514 line-height: 30px;
Chris@0 515 color: #8AA0CC;
Chris@0 516 border: 1px solid #C2CDE4;
Chris@0 517 overflow: hidden;
Chris@0 518 margin: 0;
Chris@0 519 padding: 0;
Chris@0 520 }
Chris@0 521
Chris@0 522 .navpath li {
Chris@0 523 list-style-type: none;
Chris@0 524 float: left;
Chris@0 525 padding-left: 10px;
Chris@0 526 padding-right: 15px;
Chris@0 527 color: #364D7C;
Chris@0 528 }
Chris@0 529
Chris@0 530 .navpath a {
Chris@0 531 height: 32px;
Chris@0 532 display: block;
Chris@0 533 text-decoration: none;
Chris@0 534 outline: none;
Chris@0 535 }
Chris@0 536
Chris@0 537 .navpath a:hover {
Chris@0 538 color: #6884BD;
Chris@0 539 }
Chris@0 540
Chris@0 541 div.summary {
Chris@0 542 float: right;
Chris@0 543 font-size: 8pt;
Chris@0 544 padding-right: 5px;
Chris@0 545 width: 50%;
Chris@0 546 text-align: right;
Chris@0 547 }
Chris@0 548
Chris@0 549 div.summary a {
Chris@0 550 white-space: nowrap;
Chris@0 551 }
Chris@0 552
Chris@0 553 div.header {
Chris@0 554 background-color: #F3F3F3;
Chris@0 555 margin: 0;
Chris@0 556 border-bottom: 1px solid #DDD;
Chris@0 557 }
Chris@0 558
Chris@0 559 div.headertitle {
Chris@0 560 padding: 5px 5px 5px 10px;
Chris@0 561 font-size: 180%;
Chris@0 562 font-weight: bold;
Chris@0 563 }