adt-style.css 13 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986
  1. /*
  2. SPDX-License-Identifier: CC-BY-2.0-UK
  3. Generic XHTML / DocBook XHTML CSS Stylesheet.
  4. Browser wrangling and typographic design by
  5. Oyvind Kolas / pippin@gimp.org
  6. Customised for Poky by
  7. Matthew Allum / mallum@o-hand.com
  8. Thanks to:
  9. Liam R. E. Quin
  10. William Skaggs
  11. Jakub Steiner
  12. Structure
  13. ---------
  14. The stylesheet is divided into the following sections:
  15. Positioning
  16. Margins, paddings, width, font-size, clearing.
  17. Decorations
  18. Borders, style
  19. Colors
  20. Colors
  21. Graphics
  22. Graphical backgrounds
  23. Nasty IE tweaks
  24. Workarounds needed to make it work in internet explorer,
  25. currently makes the stylesheet non validating, but up until
  26. this point it is validating.
  27. Mozilla extensions
  28. Transparency for footer
  29. Rounded corners on boxes
  30. */
  31. /*************** /
  32. / Positioning /
  33. / ***************/
  34. body {
  35. font-family: Verdana, Sans, sans-serif;
  36. min-width: 640px;
  37. width: 80%;
  38. margin: 0em auto;
  39. padding: 2em 5em 5em 5em;
  40. color: #333;
  41. }
  42. h1,h2,h3,h4,h5,h6,h7 {
  43. font-family: Arial, Sans;
  44. color: #00557D;
  45. clear: both;
  46. }
  47. h1 {
  48. font-size: 2em;
  49. text-align: left;
  50. padding: 0em 0em 0em 0em;
  51. margin: 2em 0em 0em 0em;
  52. }
  53. h2.subtitle {
  54. margin: 0.10em 0em 3.0em 0em;
  55. padding: 0em 0em 0em 0em;
  56. font-size: 1.8em;
  57. padding-left: 20%;
  58. font-weight: normal;
  59. font-style: italic;
  60. }
  61. h2 {
  62. margin: 2em 0em 0.66em 0em;
  63. padding: 0.5em 0em 0em 0em;
  64. font-size: 1.5em;
  65. font-weight: bold;
  66. }
  67. h3.subtitle {
  68. margin: 0em 0em 1em 0em;
  69. padding: 0em 0em 0em 0em;
  70. font-size: 142.14%;
  71. text-align: right;
  72. }
  73. h3 {
  74. margin: 1em 0em 0.5em 0em;
  75. padding: 1em 0em 0em 0em;
  76. font-size: 140%;
  77. font-weight: bold;
  78. }
  79. h4 {
  80. margin: 1em 0em 0.5em 0em;
  81. padding: 1em 0em 0em 0em;
  82. font-size: 120%;
  83. font-weight: bold;
  84. }
  85. h5 {
  86. margin: 1em 0em 0.5em 0em;
  87. padding: 1em 0em 0em 0em;
  88. font-size: 110%;
  89. font-weight: bold;
  90. }
  91. h6 {
  92. margin: 1em 0em 0em 0em;
  93. padding: 1em 0em 0em 0em;
  94. font-size: 110%;
  95. font-weight: bold;
  96. }
  97. .authorgroup {
  98. background-color: transparent;
  99. background-repeat: no-repeat;
  100. padding-top: 256px;
  101. background-image: url("figures/adt-title.png");
  102. background-position: left top;
  103. margin-top: -256px;
  104. padding-right: 50px;
  105. margin-left: 0px;
  106. text-align: right;
  107. width: 740px;
  108. }
  109. h3.author {
  110. margin: 0em 0me 0em 0em;
  111. padding: 0em 0em 0em 0em;
  112. font-weight: normal;
  113. font-size: 100%;
  114. color: #333;
  115. clear: both;
  116. }
  117. .author tt.email {
  118. font-size: 66%;
  119. }
  120. .titlepage hr {
  121. width: 0em;
  122. clear: both;
  123. }
  124. .revhistory {
  125. padding-top: 2em;
  126. clear: both;
  127. }
  128. .toc,
  129. .list-of-tables,
  130. .list-of-examples,
  131. .list-of-figures {
  132. padding: 1.33em 0em 2.5em 0em;
  133. color: #00557D;
  134. }
  135. .toc p,
  136. .list-of-tables p,
  137. .list-of-figures p,
  138. .list-of-examples p {
  139. padding: 0em 0em 0em 0em;
  140. padding: 0em 0em 0.3em;
  141. margin: 1.5em 0em 0em 0em;
  142. }
  143. .toc p b,
  144. .list-of-tables p b,
  145. .list-of-figures p b,
  146. .list-of-examples p b{
  147. font-size: 100.0%;
  148. font-weight: bold;
  149. }
  150. .toc dl,
  151. .list-of-tables dl,
  152. .list-of-figures dl,
  153. .list-of-examples dl {
  154. margin: 0em 0em 0.5em 0em;
  155. padding: 0em 0em 0em 0em;
  156. }
  157. .toc dt {
  158. margin: 0em 0em 0em 0em;
  159. padding: 0em 0em 0em 0em;
  160. }
  161. .toc dd {
  162. margin: 0em 0em 0em 2.6em;
  163. padding: 0em 0em 0em 0em;
  164. }
  165. div.glossary dl,
  166. div.variablelist dl {
  167. }
  168. .glossary dl dt,
  169. .variablelist dl dt,
  170. .variablelist dl dt span.term {
  171. font-weight: normal;
  172. width: 20em;
  173. text-align: right;
  174. }
  175. .variablelist dl dt {
  176. margin-top: 0.5em;
  177. }
  178. .glossary dl dd,
  179. .variablelist dl dd {
  180. margin-top: -1em;
  181. margin-left: 25.5em;
  182. }
  183. .glossary dd p,
  184. .variablelist dd p {
  185. margin-top: 0em;
  186. margin-bottom: 1em;
  187. }
  188. div.calloutlist table td {
  189. padding: 0em 0em 0em 0em;
  190. margin: 0em 0em 0em 0em;
  191. }
  192. div.calloutlist table td p {
  193. margin-top: 0em;
  194. margin-bottom: 1em;
  195. }
  196. div p.copyright {
  197. text-align: left;
  198. }
  199. div.legalnotice p.legalnotice-title {
  200. margin-bottom: 0em;
  201. }
  202. p {
  203. line-height: 1.5em;
  204. margin-top: 0em;
  205. }
  206. dl {
  207. padding-top: 0em;
  208. }
  209. hr {
  210. border: solid 1px;
  211. }
  212. .mediaobject,
  213. .mediaobjectco {
  214. text-align: center;
  215. }
  216. img {
  217. border: none;
  218. }
  219. ul {
  220. padding: 0em 0em 0em 1.5em;
  221. }
  222. ul li {
  223. padding: 0em 0em 0em 0em;
  224. }
  225. ul li p {
  226. text-align: left;
  227. }
  228. table {
  229. width :100%;
  230. }
  231. th {
  232. padding: 0.25em;
  233. text-align: left;
  234. font-weight: normal;
  235. vertical-align: top;
  236. }
  237. td {
  238. padding: 0.25em;
  239. vertical-align: top;
  240. }
  241. p a[id] {
  242. margin: 0px;
  243. padding: 0px;
  244. display: inline;
  245. background-image: none;
  246. }
  247. a {
  248. text-decoration: underline;
  249. color: #444;
  250. }
  251. pre {
  252. overflow: auto;
  253. }
  254. a:hover {
  255. text-decoration: underline;
  256. /*font-weight: bold;*/
  257. }
  258. /* This style defines how the permalink character
  259. appears by itself and when hovered over with
  260. the mouse. */
  261. [alt='Permalink'] { color: #eee; }
  262. [alt='Permalink']:hover { color: black; }
  263. div.informalfigure,
  264. div.informalexample,
  265. div.informaltable,
  266. div.figure,
  267. div.table,
  268. div.example {
  269. margin: 1em 0em;
  270. padding: 1em;
  271. page-break-inside: avoid;
  272. }
  273. div.informalfigure p.title b,
  274. div.informalexample p.title b,
  275. div.informaltable p.title b,
  276. div.figure p.title b,
  277. div.example p.title b,
  278. div.table p.title b{
  279. padding-top: 0em;
  280. margin-top: 0em;
  281. font-size: 100%;
  282. font-weight: normal;
  283. }
  284. .mediaobject .caption,
  285. .mediaobject .caption p {
  286. text-align: center;
  287. font-size: 80%;
  288. padding-top: 0.5em;
  289. padding-bottom: 0.5em;
  290. }
  291. .epigraph {
  292. padding-left: 55%;
  293. margin-bottom: 1em;
  294. }
  295. .epigraph p {
  296. text-align: left;
  297. }
  298. .epigraph .quote {
  299. font-style: italic;
  300. }
  301. .epigraph .attribution {
  302. font-style: normal;
  303. text-align: right;
  304. }
  305. span.application {
  306. font-style: italic;
  307. }
  308. .programlisting {
  309. font-family: monospace;
  310. font-size: 80%;
  311. white-space: pre;
  312. margin: 1.33em 0em;
  313. padding: 1.33em;
  314. }
  315. .tip,
  316. .warning,
  317. .caution,
  318. .note {
  319. margin-top: 1em;
  320. margin-bottom: 1em;
  321. }
  322. /* force full width of table within div */
  323. .tip table,
  324. .warning table,
  325. .caution table,
  326. .note table {
  327. border: none;
  328. width: 100%;
  329. }
  330. .tip table th,
  331. .warning table th,
  332. .caution table th,
  333. .note table th {
  334. padding: 0.8em 0.0em 0.0em 0.0em;
  335. margin : 0em 0em 0em 0em;
  336. }
  337. .tip p,
  338. .warning p,
  339. .caution p,
  340. .note p {
  341. margin-top: 0.5em;
  342. margin-bottom: 0.5em;
  343. padding-right: 1em;
  344. text-align: left;
  345. }
  346. .acronym {
  347. text-transform: uppercase;
  348. }
  349. b.keycap,
  350. .keycap {
  351. padding: 0.09em 0.3em;
  352. margin: 0em;
  353. }
  354. .itemizedlist li {
  355. clear: none;
  356. }
  357. .filename {
  358. font-size: medium;
  359. font-family: Courier, monospace;
  360. }
  361. div.navheader, div.heading{
  362. position: absolute;
  363. left: 0em;
  364. top: 0em;
  365. width: 100%;
  366. background-color: #cdf;
  367. width: 100%;
  368. }
  369. div.navfooter, div.footing{
  370. position: fixed;
  371. left: 0em;
  372. bottom: 0em;
  373. background-color: #eee;
  374. width: 100%;
  375. }
  376. div.navheader td,
  377. div.navfooter td {
  378. font-size: 66%;
  379. }
  380. div.navheader table th {
  381. /*font-family: Georgia, Times, serif;*/
  382. /*font-size: x-large;*/
  383. font-size: 80%;
  384. }
  385. div.navheader table {
  386. border-left: 0em;
  387. border-right: 0em;
  388. border-top: 0em;
  389. width: 100%;
  390. }
  391. div.navfooter table {
  392. border-left: 0em;
  393. border-right: 0em;
  394. border-bottom: 0em;
  395. width: 100%;
  396. }
  397. div.navheader table td a,
  398. div.navfooter table td a {
  399. color: #777;
  400. text-decoration: none;
  401. }
  402. /* normal text in the footer */
  403. div.navfooter table td {
  404. color: black;
  405. }
  406. div.navheader table td a:visited,
  407. div.navfooter table td a:visited {
  408. color: #444;
  409. }
  410. /* links in header and footer */
  411. div.navheader table td a:hover,
  412. div.navfooter table td a:hover {
  413. text-decoration: underline;
  414. background-color: transparent;
  415. color: #33a;
  416. }
  417. div.navheader hr,
  418. div.navfooter hr {
  419. display: none;
  420. }
  421. .qandaset tr.question td p {
  422. margin: 0em 0em 1em 0em;
  423. padding: 0em 0em 0em 0em;
  424. }
  425. .qandaset tr.answer td p {
  426. margin: 0em 0em 1em 0em;
  427. padding: 0em 0em 0em 0em;
  428. }
  429. .answer td {
  430. padding-bottom: 1.5em;
  431. }
  432. .emphasis {
  433. font-weight: bold;
  434. }
  435. /************* /
  436. / decorations /
  437. / *************/
  438. .titlepage {
  439. }
  440. .part .title {
  441. }
  442. .subtitle {
  443. border: none;
  444. }
  445. /*
  446. h1 {
  447. border: none;
  448. }
  449. h2 {
  450. border-top: solid 0.2em;
  451. border-bottom: solid 0.06em;
  452. }
  453. h3 {
  454. border-top: 0em;
  455. border-bottom: solid 0.06em;
  456. }
  457. h4 {
  458. border: 0em;
  459. border-bottom: solid 0.06em;
  460. }
  461. h5 {
  462. border: 0em;
  463. }
  464. */
  465. .programlisting {
  466. border: solid 1px;
  467. }
  468. div.figure,
  469. div.table,
  470. div.informalfigure,
  471. div.informaltable,
  472. div.informalexample,
  473. div.example {
  474. border: 1px solid;
  475. }
  476. .tip,
  477. .warning,
  478. .caution,
  479. .note {
  480. border: 1px solid;
  481. }
  482. .tip table th,
  483. .warning table th,
  484. .caution table th,
  485. .note table th {
  486. border-bottom: 1px solid;
  487. }
  488. .question td {
  489. border-top: 1px solid black;
  490. }
  491. .answer {
  492. }
  493. b.keycap,
  494. .keycap {
  495. border: 1px solid;
  496. }
  497. div.navheader, div.heading{
  498. border-bottom: 1px solid;
  499. }
  500. div.navfooter, div.footing{
  501. border-top: 1px solid;
  502. }
  503. /********* /
  504. / colors /
  505. / *********/
  506. body {
  507. color: #333;
  508. background: white;
  509. }
  510. a {
  511. background: transparent;
  512. }
  513. a:hover {
  514. background-color: #dedede;
  515. }
  516. h1,
  517. h2,
  518. h3,
  519. h4,
  520. h5,
  521. h6,
  522. h7,
  523. h8 {
  524. background-color: transparent;
  525. }
  526. hr {
  527. border-color: #aaa;
  528. }
  529. .tip, .warning, .caution, .note {
  530. border-color: #fff;
  531. }
  532. .tip table th,
  533. .warning table th,
  534. .caution table th,
  535. .note table th {
  536. border-bottom-color: #fff;
  537. }
  538. .warning {
  539. background-color: #f0f0f2;
  540. }
  541. .caution {
  542. background-color: #f0f0f2;
  543. }
  544. .tip {
  545. background-color: #f0f0f2;
  546. }
  547. .note {
  548. background-color: #f0f0f2;
  549. }
  550. .glossary dl dt,
  551. .variablelist dl dt,
  552. .variablelist dl dt span.term {
  553. color: #044;
  554. }
  555. div.figure,
  556. div.table,
  557. div.example,
  558. div.informalfigure,
  559. div.informaltable,
  560. div.informalexample {
  561. border-color: #aaa;
  562. }
  563. pre.programlisting {
  564. color: black;
  565. background-color: #fff;
  566. border-color: #aaa;
  567. border-width: 2px;
  568. }
  569. .guimenu,
  570. .guilabel,
  571. .guimenuitem {
  572. background-color: #eee;
  573. }
  574. b.keycap,
  575. .keycap {
  576. background-color: #eee;
  577. border-color: #999;
  578. }
  579. div.navheader {
  580. border-color: black;
  581. }
  582. div.navfooter {
  583. border-color: black;
  584. }
  585. /*********** /
  586. / graphics /
  587. / ***********/
  588. /*
  589. body {
  590. background-image: url("images/body_bg.jpg");
  591. background-attachment: fixed;
  592. }
  593. .navheader,
  594. .note,
  595. .tip {
  596. background-image: url("images/note_bg.jpg");
  597. background-attachment: fixed;
  598. }
  599. .warning,
  600. .caution {
  601. background-image: url("images/warning_bg.jpg");
  602. background-attachment: fixed;
  603. }
  604. .figure,
  605. .informalfigure,
  606. .example,
  607. .informalexample,
  608. .table,
  609. .informaltable {
  610. background-image: url("images/figure_bg.jpg");
  611. background-attachment: fixed;
  612. }
  613. */
  614. h1,
  615. h2,
  616. h3,
  617. h4,
  618. h5,
  619. h6,
  620. h7{
  621. }
  622. /*
  623. Example of how to stick an image as part of the title.
  624. div.article .titlepage .title
  625. {
  626. background-image: url("figures/white-on-black.png");
  627. background-position: center;
  628. background-repeat: repeat-x;
  629. }
  630. */
  631. div.preface .titlepage .title,
  632. div.colophon .title,
  633. div.chapter .titlepage .title,
  634. div.article .titlepage .title
  635. {
  636. }
  637. div.section div.section .titlepage .title,
  638. div.sect2 .titlepage .title {
  639. background: none;
  640. }
  641. h1.title {
  642. background-color: transparent;
  643. background-repeat: no-repeat;
  644. height: 256px;
  645. text-indent: -9000px;
  646. overflow:hidden;
  647. }
  648. h2.subtitle {
  649. background-color: transparent;
  650. text-indent: -9000px;
  651. overflow:hidden;
  652. width: 0px;
  653. display: none;
  654. }
  655. /*************************************** /
  656. / pippin.gimp.org specific alterations /
  657. / ***************************************/
  658. /*
  659. div.heading, div.navheader {
  660. color: #777;
  661. font-size: 80%;
  662. padding: 0;
  663. margin: 0;
  664. text-align: left;
  665. position: absolute;
  666. top: 0px;
  667. left: 0px;
  668. width: 100%;
  669. height: 50px;
  670. background: url('/gfx/heading_bg.png') transparent;
  671. background-repeat: repeat-x;
  672. background-attachment: fixed;
  673. border: none;
  674. }
  675. div.heading a {
  676. color: #444;
  677. }
  678. div.footing, div.navfooter {
  679. border: none;
  680. color: #ddd;
  681. font-size: 80%;
  682. text-align:right;
  683. width: 100%;
  684. padding-top: 10px;
  685. position: absolute;
  686. bottom: 0px;
  687. left: 0px;
  688. background: url('/gfx/footing_bg.png') transparent;
  689. }
  690. */
  691. /****************** /
  692. / nasty ie tweaks /
  693. / ******************/
  694. /*
  695. div.heading, div.navheader {
  696. width:expression(document.body.clientWidth + "px");
  697. }
  698. div.footing, div.navfooter {
  699. width:expression(document.body.clientWidth + "px");
  700. margin-left:expression("-5em");
  701. }
  702. body {
  703. padding:expression("4em 5em 0em 5em");
  704. }
  705. */
  706. /**************************************** /
  707. / mozilla vendor specific css extensions /
  708. / ****************************************/
  709. /*
  710. div.navfooter, div.footing{
  711. -moz-opacity: 0.8em;
  712. }
  713. div.figure,
  714. div.table,
  715. div.informalfigure,
  716. div.informaltable,
  717. div.informalexample,
  718. div.example,
  719. .tip,
  720. .warning,
  721. .caution,
  722. .note {
  723. -moz-border-radius: 0.5em;
  724. }
  725. b.keycap,
  726. .keycap {
  727. -moz-border-radius: 0.3em;
  728. }
  729. */
  730. table tr td table tr td {
  731. display: none;
  732. }
  733. hr {
  734. display: none;
  735. }
  736. table {
  737. border: 0em;
  738. }
  739. .photo {
  740. float: right;
  741. margin-left: 1.5em;
  742. margin-bottom: 1.5em;
  743. margin-top: 0em;
  744. max-width: 17em;
  745. border: 1px solid gray;
  746. padding: 3px;
  747. background: white;
  748. }
  749. .seperator {
  750. padding-top: 2em;
  751. clear: both;
  752. }
  753. #validators {
  754. margin-top: 5em;
  755. text-align: right;
  756. color: #777;
  757. }
  758. @media print {
  759. body {
  760. font-size: 8pt;
  761. }
  762. .noprint {
  763. display: none;
  764. }
  765. }
  766. .tip,
  767. .note {
  768. background: #f0f0f2;
  769. color: #333;
  770. padding: 20px;
  771. margin: 20px;
  772. }
  773. .tip h3,
  774. .note h3 {
  775. padding: 0em;
  776. margin: 0em;
  777. font-size: 2em;
  778. font-weight: bold;
  779. color: #333;
  780. }
  781. .tip a,
  782. .note a {
  783. color: #333;
  784. text-decoration: underline;
  785. }
  786. .footnote {
  787. font-size: small;
  788. color: #333;
  789. }
  790. /* Changes the announcement text */
  791. .tip h3,
  792. .warning h3,
  793. .caution h3,
  794. .note h3 {
  795. font-size:large;
  796. color: #00557D;
  797. }