style.css 8.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801
  1. /*
  2. :Author: David Goodger
  3. :Author: Aleksey Gurtovoy
  4. :Copyright: This stylesheet has been placed in the public domain.
  5. */
  6. .first
  7. {
  8. margin-top: 0;
  9. }
  10. .last
  11. {
  12. margin-bottom: 0;
  13. }
  14. /* <a/> */
  15. a
  16. {
  17. text-decoration: none; /* no underline */
  18. }
  19. a:hover
  20. {
  21. text-decoration: underline;
  22. }
  23. @media screen
  24. {
  25. a
  26. {
  27. color: #005a9c;
  28. }
  29. a:visited
  30. {
  31. color: #9c5a9c;
  32. }
  33. .copyright-footer
  34. {
  35. color: #8F8F8F;
  36. }
  37. }
  38. @media print
  39. {
  40. a
  41. {
  42. color: black;
  43. }
  44. a:visited
  45. {
  46. color: black;
  47. }
  48. }
  49. a.refentry
  50. {
  51. text-decoration: none;
  52. }
  53. a.subsection-title:link,
  54. a.subsection-title:active,
  55. a.subsection-title:visited,
  56. a.subsection-title:hover
  57. {
  58. color: black;
  59. text-decoration: none;
  60. }
  61. a.identifier:link,
  62. a.identifier:active,
  63. a.identifier:visited
  64. {
  65. color: black;
  66. text-decoration: none;
  67. }
  68. a.header:link,
  69. a.header:active,
  70. a.header:visited
  71. {
  72. color: black;
  73. text-decoration: none;
  74. }
  75. a.identifier:hover,
  76. a.header:hover
  77. {
  78. color: #0077cc;
  79. text-decoration: underline;
  80. }
  81. a.toc-backref:link,
  82. a.toc-backref:active,
  83. a.toc-backref:visited,
  84. a.toc-backref:hover
  85. {
  86. text-decoration: none;
  87. color: black
  88. }
  89. a.ref-subsection-title
  90. {
  91. text-decoration: none;
  92. color: black;
  93. }
  94. div.copyright-footer
  95. {
  96. text-align: right;
  97. font-size: 70%;
  98. }
  99. div.copyright-footer div.copyright
  100. {
  101. font-size: 120%;
  102. padding-top: 4pt;
  103. padding-bottom: 4pt;
  104. }
  105. /* <blockquote/> */
  106. blockquote.epigraph
  107. {
  108. margin: 2em 5em;
  109. }
  110. /* <caption/> */
  111. caption
  112. {
  113. font-weight: bold;
  114. }
  115. /* <body/> */
  116. body
  117. {
  118. margin: 1em;
  119. font-family: sans-serif;
  120. font-size: 10pt;
  121. }
  122. p
  123. {
  124. text-align: left;
  125. line-height: 1.15;
  126. }
  127. /* <dd/> */
  128. dd
  129. {
  130. margin-bottom: 0.5em;
  131. }
  132. /* <div/> */
  133. div.abstract
  134. {
  135. margin: 2em 5em;
  136. }
  137. div.dedication
  138. {
  139. margin: 2em 5em;
  140. text-align: center;
  141. font-style: italic;
  142. }
  143. div.figure
  144. {
  145. margin-left: 2em;
  146. }
  147. div.sidebar
  148. {
  149. border: solid 1px black;
  150. padding: 1em;
  151. background-color: #ffffee;
  152. width: 40%;
  153. float: right;
  154. clear: right;
  155. }
  156. div.compound
  157. {
  158. margin-top: 15pt;
  159. }
  160. div.document,
  161. div.section
  162. {
  163. margin-left: 3pt;
  164. margin-right: 3pt;
  165. }
  166. body.refmanual
  167. div.section
  168. {
  169. margin-left: 1pt;
  170. margin-right: 0pt;
  171. }
  172. div.system-messages
  173. {
  174. margin: 5em;
  175. }
  176. div.system-message
  177. {
  178. border: medium outset;
  179. padding: 1em;
  180. }
  181. div.topic
  182. {
  183. margin: 2em;
  184. }
  185. div.attention,
  186. div.caution,
  187. div.danger,
  188. div.error,
  189. div.hint,
  190. div.important,
  191. div.note,
  192. div.tip,
  193. div.warning,
  194. div.admonition
  195. {
  196. margin: 2em;
  197. border: solid 1px black;
  198. padding: 1em;
  199. }
  200. div.header-separator,
  201. div.footer-separator
  202. {
  203. border-top: solid 1px #a09a8b;
  204. border-bottom: solid 1px #e4e2de;
  205. }
  206. /* <dt/> */
  207. dt
  208. {
  209. font-weight: bold
  210. }
  211. /* <h/> */
  212. h1.title
  213. {
  214. text-align: center;
  215. vertical-align: text-bottom;
  216. padding-top: 15pt;
  217. padding-bottom: 5pt;
  218. padding-right: 277px; /* logo width */
  219. padding-left: 277px; /* logo width */
  220. }
  221. h2.subtitle
  222. {
  223. text-align: center;
  224. }
  225. div.system-messages
  226. h1
  227. {
  228. color: red;
  229. }
  230. div.section
  231. h1
  232. {
  233. margin-top: 7pt;
  234. margin-bottom: 10pt;
  235. }
  236. body.refmanual
  237. div.section
  238. h3
  239. {
  240. margin-bottom: 0pt;
  241. padding-bottom: 0pt;
  242. /*
  243. padding-left: 1pt;
  244. border-style: none none solid none;
  245. border-width: 2px;
  246. border-color: #f0a0a0;
  247. */
  248. }
  249. /* <hr/> */
  250. hr.header-separator
  251. {
  252. width: 100%;
  253. display: none;
  254. /* margin-top: 1pt;*/
  255. }
  256. hr.footer-separator
  257. {
  258. width: 100%;
  259. /* margin-bottom: 1pt;*/
  260. }
  261. /* <img/> */
  262. img
  263. {
  264. border: 0;
  265. }
  266. img.right-aligned
  267. {
  268. padding-left: 5pt;
  269. padding-bottom: 5pt;
  270. }
  271. /* <ol/> */
  272. ol.simple
  273. {
  274. margin-bottom: 1em;
  275. }
  276. ol.arabic
  277. {
  278. list-style: decimal;
  279. }
  280. ol.loweralpha
  281. {
  282. list-style: lower-alpha;
  283. }
  284. ol.upperalpha
  285. {
  286. list-style: upper-alpha;
  287. }
  288. ol.lowerroman
  289. {
  290. list-style: lower-roman;
  291. }
  292. ol.upperroman
  293. {
  294. list-style: upper-roman;
  295. }
  296. /* <p/> */
  297. p
  298. {
  299. margin-top: 7pt;
  300. padding-top: 0pt;
  301. }
  302. p.attribution
  303. {
  304. text-align: right;
  305. margin-left: 50%;
  306. }
  307. p.caption
  308. {
  309. font-style: italic;
  310. }
  311. p.credits
  312. {
  313. font-style: italic;
  314. font-size: smaller;
  315. }
  316. p.label
  317. {
  318. white-space: nowrap;
  319. }
  320. p.rubric
  321. {
  322. font-weight: bold;
  323. font-size: larger;
  324. color: maroon;
  325. text-align: center;
  326. }
  327. p.topic-title
  328. {
  329. font-weight: bold;
  330. margin-top: 5pt;
  331. }
  332. p.sidebar-title
  333. {
  334. font-family: sans-serif;
  335. font-weight: bold;
  336. }
  337. p.sidebar-subtitle
  338. {
  339. font-family: sans-serif;
  340. font-weight: bold;
  341. }
  342. div.abstract
  343. p.topic-title
  344. {
  345. font-weight: bold;
  346. text-align: center;
  347. }
  348. div.dedication
  349. p.topic-title
  350. {
  351. font-weight: bold;
  352. font-style: normal;
  353. }
  354. div.system-message
  355. p.system-message-title
  356. {
  357. color: red;
  358. font-weight: bold;
  359. }
  360. div.attention
  361. p.admonition-title,
  362. div.caution
  363. p.admonition-title,
  364. div.danger
  365. p.admonition-title,
  366. div.error
  367. p.admonition-title,
  368. div.warning
  369. p.admonition-title
  370. {
  371. color: red;
  372. font-weight: bold;
  373. font-family: sans-serif;
  374. }
  375. div.hint
  376. p.admonition-title,
  377. div.important
  378. p.admonition-title,
  379. div.note
  380. p.admonition-title,
  381. div.tip
  382. p.admonition-title,
  383. div.admonition
  384. p.admonition-title
  385. {
  386. font-weight: bold;
  387. font-family: sans-serif;
  388. }
  389. td
  390. p
  391. {
  392. margin-top: 5pt;
  393. margin-bottom: 5pt;
  394. }
  395. /* <pre/> */
  396. pre.address
  397. {
  398. margin-bottom: 0;
  399. margin-top: 0;
  400. font-family: serif;
  401. font-size: 100%;
  402. }
  403. pre.line-block
  404. {
  405. font-family: serif;
  406. font-size: 100%;
  407. }
  408. pre.doctest-block
  409. {
  410. margin-left: 2em;
  411. margin-right: 2em;
  412. background-color: #eeeeee;
  413. }
  414. pre.literal-block
  415. {
  416. border-style: none none none solid;
  417. border-width: 1px;
  418. border-color: black;
  419. padding-top: 2pt;
  420. padding-bottom: 2pt;
  421. padding-left: 1em;
  422. padding-right: 1em;
  423. margin-top: 10pt;
  424. margin-left: 0pt;
  425. }
  426. @media screen
  427. {
  428. pre.literal-block
  429. {
  430. background-color: #f5fbff;
  431. }
  432. }
  433. td
  434. pre.literal-block
  435. {
  436. border-style: none;
  437. margin-top: 0pt;
  438. padding-top: 0pt;
  439. margin-bottom: 0pt;
  440. padding-bottom: 0pt;
  441. padding-left: 1pt;
  442. }
  443. pre.literal-block
  444. {
  445. margin-bottom: 1pt;
  446. }
  447. /* <table/> */
  448. table
  449. {
  450. margin-top: 0.5em;
  451. margin-bottom: 0.5em;
  452. }
  453. table.docinfo
  454. {
  455. border: solid 0;
  456. margin: 2em 4em;
  457. }
  458. table.field-list
  459. {
  460. border: solid 0;
  461. margin-left: 1pt;
  462. }
  463. table.citation
  464. {
  465. border: solid 0;
  466. border-left: solid thin gray;
  467. }
  468. @media screen
  469. {
  470. table.citation
  471. {
  472. background-color: #f5fbff;
  473. }
  474. }
  475. table.footnote
  476. {
  477. border: solid 0;
  478. border-left: solid thin black;
  479. }
  480. @media screen
  481. {
  482. table.footnote
  483. {
  484. background-color: #f5fbff;
  485. }
  486. }
  487. table.header,
  488. table.footer
  489. {
  490. border: solid 0;
  491. width: 100%;
  492. margin: 0pt;
  493. padding: 0pt;
  494. }
  495. table.table
  496. {
  497. border: solid 1px #c7c7c7;
  498. border-collapse: collapse;
  499. margin-bottom: 10pt;
  500. }
  501. /* <td/> / <th/> */
  502. table.table
  503. td,
  504. table.table
  505. th
  506. {
  507. border: solid 1px #c7c7c7;
  508. vertical-align: top;
  509. }
  510. table.table
  511. th
  512. {
  513. white-space: nowrap;
  514. padding-left: 5pt;
  515. padding-right: 5pt;
  516. padding-top: 1pt;
  517. padding-bottom: 1pt;
  518. }
  519. @media screen
  520. {
  521. table.table th
  522. {
  523. background-color:#f0f0f0;
  524. }
  525. }
  526. table.table
  527. td
  528. {
  529. padding-left: 5pt;
  530. padding-right: 5pt;
  531. padding-top: 2pt;
  532. padding-bottom: 2pt;
  533. }
  534. td.header-group
  535. {
  536. padding: 0pt;
  537. padding-bottom: 2pt;
  538. margin: 0pt;
  539. vertical-align: top;
  540. }
  541. td.navigation-bar
  542. {
  543. text-align: left;
  544. white-space: nowrap;
  545. padding-right: 0.5em;
  546. }
  547. td.page-location
  548. {
  549. text-align: right;
  550. }
  551. th.docinfo-name,
  552. th.field-name
  553. {
  554. font-weight: bold;
  555. text-align: left;
  556. white-space: nowrap;
  557. }
  558. td.label
  559. {
  560. padding-left: 5pt;
  561. padding-right: 10pt;
  562. }
  563. /* <tr/> */
  564. tr.header,
  565. tr.footer
  566. {
  567. padding: 0pt;
  568. margin: 0pt;
  569. }
  570. /* <tt/> */
  571. @media screen
  572. {
  573. tt.literal
  574. {
  575. background-color: #f5fbff;
  576. }
  577. }
  578. h1
  579. tt,
  580. h2
  581. tt,
  582. h3
  583. tt,
  584. h4
  585. tt,
  586. h5
  587. tt,
  588. h6
  589. tt
  590. {
  591. font-size: 100%;
  592. }
  593. /* <span/> */
  594. span.classifier
  595. {
  596. font-family: sans-serif;
  597. font-style: oblique;
  598. }
  599. span.classifier-delimiter
  600. {
  601. font-family: sans-serif;
  602. font-weight: bold;
  603. }
  604. span.interpreted
  605. {
  606. font-family: sans-serif;
  607. }
  608. span.option
  609. {
  610. white-space: nowrap;
  611. }
  612. span.option-argument
  613. {
  614. font-style: italic;
  615. }
  616. span.pre
  617. {
  618. white-space: pre;
  619. }
  620. span.problematic
  621. {
  622. color: red;
  623. }
  624. /* <ul/> */
  625. ul.toc
  626. {
  627. list-style-type: circle;
  628. }