html.css 12 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719
  1. /* ------------------------------------------------------------------------
  2. | Core styles
  3. +------------------------------------------------------------------------- */
  4. body {
  5. font-family: apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", Arial, "Noto Sans", sans-serif;
  6. font-size: 15px;
  7. font-weight: 400;
  8. line-height: 1.5;
  9. text-align: left;
  10. color: #212529;
  11. background-color: #FFFFFF;
  12. }
  13. h1,
  14. h2,
  15. h3,
  16. h4,
  17. h5,
  18. h6 {
  19. color: #394986;
  20. font-weight: 600;
  21. margin-top: 1em;
  22. margin-bottom: 1em;
  23. }
  24. h1 {
  25. font-size: 1.33em;
  26. line-height: 1.13; /* 1.5/1.33 */
  27. margin-top: 0.75em; /* 1/1.33 */
  28. margin-bottom: 0.75em;
  29. }
  30. h2 {
  31. font-size: 1.25em;
  32. line-height: 1.2; /* 1.5/1.25 */
  33. margin-top: 0.8em; /* 1/1.25 */
  34. margin-bottom: 0.8em;
  35. }
  36. h3 {
  37. font-size: 1.17em;
  38. line-height: 1.28; /* 1.5/1.17 */
  39. margin-top: 0.85em; /* 1/1.17 */
  40. margin-bottom: 0.85em;
  41. }
  42. h4 {
  43. font-size: 1.08em;
  44. line-height: 1.39; /* 1.5/1.08 */
  45. margin-top: 0.92em; /* 1/1.08 */
  46. margin-bottom: 0.92em;
  47. }
  48. h5,
  49. h6 {
  50. font-size: 1em;
  51. line-height: 1.5;
  52. }
  53. h1:first-child,
  54. h2:first-child,
  55. h3:first-child,
  56. h4:first-child,
  57. h5:first-child,
  58. h6:first-child {
  59. margin-top: 0;
  60. }
  61. p,
  62. pre,
  63. ol,
  64. dl,
  65. ul,
  66. hr {
  67. margin-top: 1em; /* htmlhelp: "margin: 1em 0;" breaks li/p. */
  68. margin-bottom: 1em;
  69. }
  70. hr {
  71. height: 1px;
  72. border-style: none;
  73. background-color: #D0D0D0;
  74. }
  75. blockquote {
  76. margin: 2em 4em;
  77. }
  78. code,
  79. tt,
  80. kbd,
  81. samp,
  82. var,
  83. pre {
  84. font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  85. font-size: 0.917em;
  86. line-height: 1.63;
  87. }
  88. kbd {
  89. font-weight: bold;
  90. background-color: #F0F0F0;
  91. border: 1px solid #808080;
  92. -moz-border-radius: 3px;
  93. -webkit-border-radius: 3px;
  94. border-radius: 3px;
  95. padding: 0.125em 0.25em;
  96. }
  97. samp {
  98. background-color: #F0F0F0;
  99. padding: 0.125em 0.25em;
  100. }
  101. var {
  102. font-style: italic;
  103. }
  104. abbr,
  105. acronym {
  106. font-weight: bold;
  107. text-decoration: none;
  108. }
  109. cite {
  110. font-style: italic;
  111. }
  112. dfn {
  113. font-style: italic;
  114. border-bottom: 1px dotted #808080;
  115. }
  116. pre {
  117. white-space: pre;
  118. background-color: #F0F0F0;
  119. border: 1px dotted #D0D0D0;
  120. padding: 0.25em 0.5em;
  121. margin-top: 1.1em; /* 1/0.917 */
  122. margin-bottom: 1.1em;
  123. }
  124. ul {
  125. list-style-type: disc;
  126. }
  127. ul ul {
  128. list-style-type: square;
  129. }
  130. ul ul ul {
  131. list-style-type: circle;
  132. }
  133. ul ul ul ul {
  134. list-style-type: disc;
  135. }
  136. ul ul ul ul ul {
  137. list-style-type: square;
  138. }
  139. ul ul ul ul ul ul {
  140. list-style-type: circle;
  141. }
  142. ul ul ul ul ul ul ul {
  143. list-style-type: disc;
  144. }
  145. ol {
  146. list-style-image: none;
  147. }
  148. li {
  149. margin-top: 1em;
  150. margin-bottom: 1em;
  151. }
  152. ul[compact] > li,
  153. ol[compact] > li {
  154. margin-top: 0;
  155. margin-bottom: 0;
  156. }
  157. dt {
  158. margin-top: 1em;
  159. margin-bottom: 0;
  160. }
  161. dt + dt {
  162. margin-top: 0;
  163. }
  164. dt > *:last-child { /* htmlhelp: not supported as CHM viewer emulates IE7 */
  165. margin-bottom: 0;
  166. }
  167. dd {
  168. margin-top: 0;
  169. margin-bottom: 1em;
  170. }
  171. dd > *:first-child {
  172. margin-top: 0;
  173. }
  174. dl[compact] > dt {
  175. margin-top: 0;
  176. }
  177. dl[compact] > dd {
  178. margin-bottom: 0;
  179. }
  180. a:link:hover,
  181. a:visited:hover {
  182. text-decoration: underline;
  183. }
  184. a:link {
  185. text-decoration: none;
  186. color: #004668;
  187. }
  188. a:visited {
  189. text-decoration: none;
  190. color: #135678;
  191. }
  192. a img {
  193. border-style: none;
  194. }
  195. /*
  196. * No need to style table borders and alignments more than this.
  197. * The DocBook XSL stylesheets add attributes to the table elements for this.
  198. */
  199. table {
  200. font-size: 1em; /* Required if "quirks mode"? */
  201. line-height: 1.5;
  202. border-collapse: collapse;
  203. border-color: #808080;
  204. margin-top: 1em;
  205. margin-bottom: 1em;
  206. }
  207. thead,
  208. tfoot {
  209. background-color: #F0F0F0;
  210. }
  211. th,
  212. td {
  213. font-size: 1em; /* Required if "quirks mode"? */
  214. line-height: 1.5;
  215. vertical-align: baseline;
  216. border-color: #808080;
  217. padding: 0.25em 0.5em;
  218. }
  219. th > *:first-child,
  220. td > *:first-child {
  221. margin-top: 0;
  222. }
  223. th > *:last-child,
  224. td > *:last-child {
  225. margin-bottom: 0;
  226. }
  227. th[valign = "top"],
  228. td[valign = "top"] {
  229. vertical-align: top;
  230. }
  231. th[valign = "middle"],
  232. td[valign = "middle"] {
  233. vertical-align: middle;
  234. }
  235. th[valign = "bottom"],
  236. td[valign = "bottom"] {
  237. vertical-align: bottom;
  238. }
  239. /* ------------------------------------------------------------------------
  240. | Specific to DocBook
  241. +------------------------------------------------------------------------- */
  242. div.navheader table,
  243. div.navfooter table {
  244. font-size: 0.917em;
  245. line-height: 1.63;
  246. margin: 0;
  247. }
  248. div.navheader th,
  249. div.navheader td,
  250. div.navfooter th,
  251. div.navfooter td {
  252. vertical-align: middle;
  253. padding: 0;
  254. }
  255. div.navheader hr,
  256. div.navfooter hr {
  257. background-color: #E1E6F7;
  258. margin: 0;
  259. }
  260. div.navheader hr {
  261. margin-bottom: 2em;
  262. }
  263. div.navfooter hr {
  264. margin-top: 2em;
  265. }
  266. div.titlepage {
  267. margin-top: 1em;
  268. margin-bottom: 1em;
  269. }
  270. div.book > div.titlepage,
  271. div.article > div.titlepage {
  272. border-top: 0.5ex solid #ADB6D9;
  273. padding-top: 1em;
  274. }
  275. div.titlepage > hr {
  276. background-color: #ADB6D9;
  277. height: 0.5ex;
  278. margin-top: 0;
  279. margin-bottom: 2em;
  280. }
  281. div.toc,
  282. div.index,
  283. div.list-of-figures,
  284. div.list-of-tables,
  285. div.list-of-examples,
  286. div.list-of-equations,
  287. div.list-of-procedures {
  288. margin-top: 1em;
  289. margin-bottom: 1em;
  290. }
  291. div.toc dl,
  292. div.index dl,
  293. div.list-of-figures dl,
  294. div.list-of-tables dl,
  295. div.list-of-examples dl,
  296. div.list-of-equations dl,
  297. div.list-of-procedures dl {
  298. margin-top: 0;
  299. margin-bottom: 0;
  300. }
  301. div.toc ul,
  302. div.index ul,
  303. div.list-of-figures ul,
  304. div.list-of-tables ul,
  305. div.list-of-examples ul,
  306. div.list-of-equations ul,
  307. div.list-of-procedures ul {
  308. list-style-type: none;
  309. margin-top: 0;
  310. margin-bottom: 0;
  311. }
  312. div.toc li,
  313. div.index li,
  314. div.list-of-figures li,
  315. div.list-of-tables li,
  316. div.list-of-examples li,
  317. div.list-of-equations li,
  318. div.list-of-procedures li,
  319. div.toc dt,
  320. div.index dt,
  321. div.list-of-figures dt,
  322. div.list-of-tables dt,
  323. div.list-of-examples dt,
  324. div.list-of-equations dt,
  325. div.list-of-procedures dt {
  326. margin-top: 0.125em;
  327. margin-bottom: 0.125em;
  328. }
  329. div.toc dd,
  330. div.index dd,
  331. div.list-of-figures dd,
  332. div.list-of-tables dd,
  333. div.list-of-examples dd,
  334. div.list-of-equations dd,
  335. div.list-of-procedures dd {
  336. margin-top: 0;
  337. margin-bottom: 0;
  338. }
  339. div.toc-title, /*make.clean.html=1, xhtml5*/
  340. div.toc > p:first-child,
  341. div.index > p:first-child,
  342. div.list-of-figures > p:first-child,
  343. div.list-of-tables > p:first-child,
  344. div.list-of-examples > p:first-child,
  345. div.list-of-equations > p:first-child,
  346. div.list-of-procedures > p:first-child,
  347. div.toc-title > p:first-child {
  348. font-size: 1.08em;
  349. line-height: 1.39; /* 1.5/1.08 */
  350. font-weight: 600;
  351. color: #394986;
  352. margin-top: 0.93em;
  353. margin-bottom: 0.93em;
  354. }
  355. div.toc span.part,
  356. div.toc span.chapter,
  357. div.toc span.appendix {
  358. font-weight: 600;
  359. }
  360. tbody.footnotes {
  361. border-top: 1px dotted #808080;
  362. }
  363. hr.footnote-hr, /*make.clean.html=1, xhtml5*/
  364. div.footnotes > hr {
  365. width: 100px;
  366. margin-top: 2em;
  367. margin-bottom: 0.25em;
  368. margin-left: 0;
  369. margin-right: auto;
  370. }
  371. div.footnote {
  372. font-size: 0.917em;
  373. line-height: 1.63;
  374. font-weight: normal;
  375. font-style: normal;
  376. text-decoration: none;
  377. }
  378. div.footnote > * { /*A footnote is compact.*/
  379. margin-top: 0;
  380. margin-bottom: 0;
  381. }
  382. div.important,
  383. div.caution,
  384. div.warning,
  385. div.tip,
  386. div.note {
  387. font-size: 0.917em;
  388. line-height: 1.63;
  389. padding: 1em;
  390. margin: 1.10em 4em;
  391. }
  392. div.important,
  393. div.caution,
  394. div.warning {
  395. background-color: #FFFBF0;
  396. border-left: 1ex solid #E6CD8A;
  397. }
  398. div.tip {
  399. background-color: #F8FFF5;
  400. border-left: 1ex solid #A6E68A;
  401. }
  402. div.note {
  403. background-color: #F4F8FC;
  404. border-left: 1ex solid #8AB8E6;
  405. }
  406. div.caution > .title, /*.title is a hN*/
  407. div.important > .title,
  408. div.note > .title,
  409. div.tip > .title,
  410. div.warning > .title {
  411. margin-top: 0;
  412. }
  413. div.caution > table, /* Layout when the note has an icon */
  414. div.important > table,
  415. div.note > table,
  416. div.tip > table,
  417. div.warning > table {
  418. margin: 0;
  419. }
  420. div.sidebar {
  421. background-color: #F4F8FC;
  422. border-top: 0.5ex solid #8AB8E6;
  423. border-bottom: 0.5ex solid #8AB8E6;
  424. padding: 1em 2em;
  425. margin-top: 1em;
  426. margin-bottom: 1em;
  427. }
  428. div.sidebar-title, /*make.clean.html=1, xhtml5*/
  429. div.example-title,
  430. div.procedure-title,
  431. div.figure-title,
  432. div.table-title,
  433. div.equation-title,
  434. div.abstract-title,
  435. div.task-title,
  436. div.screenshot-title,
  437. div.bibliolist-title,
  438. div.itemizedlist-title,
  439. div.orderedlist-title,
  440. div.variablelist-title,
  441. div.calloutlist-title,
  442. div.glosslist-title,
  443. div.sidebar p.title,
  444. div.example p.title,
  445. div.procedure p.title,
  446. div.figure p.title,
  447. div.table p.title,
  448. div.equation p.title,
  449. div.abstract p.title,
  450. div.task p.title,
  451. div.screenshot p.title,
  452. div.bibliolist p.title,
  453. div.itemizedlist p.title,
  454. div.orderedlist p.title,
  455. div.variablelist p.title,
  456. div.calloutlist p.title,
  457. div.glosslist p.title {
  458. color: #394986;
  459. font-weight: 600;
  460. margin-top: 1em;
  461. margin-bottom: 1em;
  462. }
  463. div.attribution {
  464. text-align: right;
  465. }
  466. div.mediaobject {
  467. margin-top: 1em;
  468. margin-bottom: 1em;
  469. }
  470. div.figure-contents > div.mediaobject {
  471. margin: 0;
  472. }
  473. div.orderedlist,
  474. div.calloutlist {
  475. margin-top: 1em;
  476. margin-bottom: 1em;
  477. }
  478. div.orderedlist > table,
  479. div.calloutlist > table {
  480. margin: 0;
  481. }
  482. div.orderedlist > table td,
  483. div.calloutlist > table td {
  484. vertical-align: baseline;
  485. }
  486. div.orderedlist > table td > *:first-child,
  487. div.calloutlist > table td > *:first-child {
  488. margin-top: 0;
  489. }
  490. div.orderedlist > table td > *:last-child,
  491. div.calloutlist > table td > *:last-child {
  492. margin-bottom: 0;
  493. }
  494. ul.compact > li,
  495. ul.compact > li > *:first-child,
  496. ol.compact > li,
  497. ol.compact > li > *:first-child {
  498. margin-top: 0;
  499. }
  500. ul.compact > li,
  501. ul.compact > li > *:last-child,
  502. ol.compact > li,
  503. ol.compact > li > *:last-child {
  504. margin-bottom: 0;
  505. }
  506. dl.compact > dt,
  507. dl.compact > dt > *:first-child,
  508. dl.compact > dd,
  509. dl.compact > dd > *:first-child {
  510. margin-top: 0;
  511. }
  512. dl.compact > dt,
  513. dl.compact > dt > *:last-child,
  514. dl.compact > dd,
  515. dl.compact > dd > *:last-child {
  516. margin-bottom: 0;
  517. }
  518. span.bold-italic {
  519. font-style: italic;
  520. font-weight: bold;
  521. text-decoration: none;
  522. }
  523. span.underline {
  524. font-style: normal;
  525. font-weight: normal;
  526. text-decoration: underline;
  527. }
  528. span.strikethrough {
  529. font-style: normal;
  530. font-weight: normal;
  531. text-decoration: line-through;
  532. }
  533. span.highlight {
  534. font-style: normal;
  535. font-weight: normal;
  536. background-color: #F0F080;
  537. }
  538. span.term {
  539. font-weight: bold;
  540. }
  541. span.keycap,
  542. span.keycode,
  543. span.keysym,
  544. span.mousebutton {
  545. font-family: SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace;
  546. font-size: 0.917em;
  547. line-height: 1.63;
  548. font-weight: bold;
  549. font-style: normal;
  550. text-decoration: none;
  551. background-color: #F0F0F0;
  552. border: 1px solid #808080;
  553. -moz-border-radius: 3px;
  554. -webkit-border-radius: 3px;
  555. border-radius: 3px;
  556. padding: 0.125em 0.25em;
  557. }
  558. span.guimenu,
  559. span.guisubmenu,
  560. span.guimenuitem,
  561. span.guibutton,
  562. span.guiicon,
  563. span.interface,
  564. span.guilabel {
  565. font-weight: bold;
  566. }
  567. /* ------------------------------------------------------------------------
  568. | Syntax highlighting
  569. +------------------------------------------------------------------------- */
  570. .hl-keyword {
  571. font-weight: bold;
  572. color: #602060;
  573. }
  574. .hl-string {
  575. color: #A00000;
  576. }
  577. .hl-number {
  578. color: #B08000;
  579. }
  580. .hl-comment {
  581. font-style: italic;
  582. color: #808080;
  583. }
  584. .hl-doccomment {
  585. color: #008080;
  586. }
  587. .hl-directive {
  588. color: #00A000;
  589. }
  590. .hl-annotation {
  591. font-weight: bold;
  592. color: #808080;
  593. }
  594. /*
  595. * XML
  596. */
  597. .hl-tag {
  598. font-weight: bold;
  599. color: #602060;
  600. }
  601. .hl-attribute {
  602. color: #0050A0;
  603. }
  604. .hl-value {
  605. color: #A00000;
  606. }
  607. .hl-doctype {
  608. color: #008080;
  609. }