docbook.css 27 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455145614571458145914601461146214631464146514661467
  1. /* DocBook xslTNG version 1.3.0
  2. *
  3. * This is docbook.css.
  4. *
  5. * See https://xsltng.docbook.org/
  6. *
  7. */
  8. :root {
  9. --symbol-fonts: "Arial Unicode", "Apple Symbols", "Symbol", "Symbola_hint";
  10. --body-family: "Noto Serif", serif, var(--symbol-fonts);
  11. --title-family: "Noto Sans", sans-serif, var(--symbol-fonts);
  12. --mono-family: "B612 Mono", monospace, var(--symbol-fonts);
  13. /* The default theme. */
  14. --background-color: #fffff8;
  15. --surface-color: #fffff8;
  16. --primary-color: #7f7f7f;
  17. --primary-variant-color: #5f5f5f;
  18. --secondary-color: #ffbc42;
  19. --error-color: #ffafaf;
  20. --error-border-color: #b00020;
  21. --on-background-color: #000000;
  22. --on-surface-color: #000000;
  23. --on-primary-color: #ffffff;
  24. --on-primary-variant-color: #ffffff;
  25. --on-secondary-color: #000000;
  26. --on-error-color: #000000;
  27. --enabled-color: rgb(240, 240, 240);
  28. --hovered-color: rgb(235, 235, 235);
  29. --focused-color: rgb(221, 221, 221);
  30. --modal-overlay-color: rgba(255, 255, 255, 0.85);
  31. --border-color: var(--primary-color);
  32. --header-color: var(--background-color);
  33. --on-header-color: var(--on-background-color);
  34. --sidebar-color: var(--primary-color);
  35. --on-sidebar-color: var(--on-primary-color);
  36. --table-border-style: 1px solid var(--primary-color);
  37. --numbered-separator-style: 1px solid var(--primary-color);
  38. --numbered-number-color: var(--on-surface-color);
  39. --numbered-background-color: var(--focused-color);
  40. --verbatim-odd-background-color: var(--hovered-color);
  41. --verbatim-even-background-color: var(--enabled-color);
  42. --verbatim-line-highlight-background-color: var(--primary-color);
  43. --verbatim-line-highlight-color: var(--on-primary-color);
  44. --revadded-background-color: var(--primary-color);
  45. --revadded-color: var(--on-primary-color);
  46. --revadded-before: "<ins>";
  47. --revadded-after: "</ins>";
  48. --revchanged-background-color: var(--secondary-color);
  49. --revchanged-color: var(--on-secondary-color);
  50. --revchanged-before: "<chg>";
  51. --revchanged-after: "</chg>";
  52. --revdeleted-background-color: var(--error-color);
  53. --revdeleted-color: var(--on-error-color);
  54. --revdeleted-before: "<del>";
  55. --revdeleted-after: "</del>";
  56. --note-border-color: var(--primary-color);
  57. --note-border-style: 2pt solid var(--note-border-color);
  58. --note-color: var(--surface-color);
  59. --on-note-color: var(--on-surface-color);
  60. --tip-border-color: var(--primary-color);
  61. --tip-border-style: 2pt solid var(--tip-border-color);
  62. --tip-color: var(--surface-color);
  63. --on-tip-color: var(--on-surface-color);
  64. --important-border-color: var(--secondary-color);
  65. --important-border-style: 2pt solid var(--important-border-color);
  66. --important-color: var(--surface-color);
  67. --on-important-color: var(--on-surface-color);
  68. --caution-border-color: var(--secondary-color);
  69. --caution-border-style: 2pt solid var(--caution-border-color);
  70. --caution-color: var(--surface-color);
  71. --on-caution-color: var(--on-surface-color);
  72. --warning-border-color: var(--error-border-color);
  73. --warning-border-style: 2pt solid var(--warning-border-color);
  74. --warning-color: var(--error-color);
  75. --on-warning-color: var(--on-error-color);
  76. --danger-border-color: var(--error-border-color);
  77. --danger-border-style: 2pt solid var(--danger-border-color);
  78. --danger-color: var(--error-color);
  79. --on-danger-color: var(--on-error-color);
  80. --debug-background-color: var(--error-color);
  81. --debug-color: var(--on-error-color);
  82. --remark-background-color: var(--primary-color);
  83. --remark-color: var(--on-primary-color);
  84. --remark-border-color: var(--primary-color);
  85. --remark-border-style: 1px solid var(--remark-border-color);
  86. --annotation-separator-border-style: 2px dashed var(--border-color);
  87. --annotation-header-background-color: var(--surface-color);
  88. --annotation-header-color: var(--on-surface-color);
  89. --annotation-header-separator-border-style: 1px solid var(--primary-color);
  90. --annotation-body-border-style: 1px solid var(--primary-color);
  91. --nav-background-color: var(--surface-color);
  92. --error-border-style: 1px solid var(--error-border-color);
  93. --keycap-box-shadow: 1px 1px 1px 0px rgba(0, 0, 0, 0.75);
  94. }
  95. /* These choices are inspired by the material design system. Someone
  96. with actual graphical design skills would do it better. Pull
  97. requests gleefully accepted.
  98. */
  99. html.materials-dark {
  100. --background-color: #121212;
  101. --surface-color: #121212;
  102. --primary-color: #bb86fc;
  103. --primary-variant-color: #3700b3;
  104. --secondary-color: #03dac6;
  105. --error-color: #cf6679;
  106. --error-border-color: #b00020;
  107. --on-background-color: #ffffff;
  108. --on-surface-color: #ffffff;
  109. --on-primary-color: #000000;
  110. --on-primary-variant-color: #ffffff;
  111. --on-secondary-color: #000000;
  112. --on-error-color: #000000;
  113. --enabled-color: rgb(44, 33, 56);
  114. --hovered-color: rgb(49, 38, 63);
  115. --focused-color: rgb(63, 51, 74);
  116. --modal-overlay-color: rgba(18, 18, 18, 0.85);
  117. --keycap-box-shadow: 1px 1px 1px 0px rgba(255, 255, 255, 0.75);
  118. }
  119. html.materials-light {
  120. --background-color: #ffffff;
  121. --surface-color: #ffffff;
  122. --primary-color: #6200ee;
  123. --primary-variant-color: #3700b3;
  124. --secondary-color: #03dac6;
  125. --error-color: #b00020;
  126. --error-border-color: #cf6679;
  127. --on-background-color: #000000;
  128. --on-surface-color: #000000;
  129. --on-primary-color: #ffffff;
  130. --on-primary-variant-color: #ffffff;
  131. --on-secondary-color: #000000;
  132. --on-error-color: #ffffff;
  133. --enabled-color: rgb(240, 240, 240);
  134. --hovered-color: rgb(235, 235, 235);
  135. --focused-color: rgb(221, 221, 221);
  136. --modal-overlay-color: rgba(255, 255, 255, 0.85);
  137. }
  138. html {
  139. padding: 0;
  140. margin-top: 0;
  141. margin-bottom: 0;
  142. margin-left: auto;
  143. margin-right: auto;
  144. font-family: var(--body-family);
  145. }
  146. body {
  147. padding-top: 0;
  148. padding-left: 0;
  149. padding-right: 0;
  150. padding-bottom: 0;
  151. margin-top: 0;
  152. margin-bottom: 0;
  153. margin-left: 1rem;
  154. margin-right: 1rem;
  155. }
  156. .error * {
  157. background-color: var(--error-color);
  158. color: var(--on-error-color);
  159. padding-left: 2px;
  160. padding-right: 2px;
  161. }
  162. span.error {
  163. display: inline-block;
  164. border: var(--error-border-style);
  165. border-radius: 4px;
  166. padding: 2px;
  167. margin-right: 0.5em;
  168. }
  169. span.error::before {
  170. content: " ☞ ";
  171. }
  172. span.error::after {
  173. content: " ☜ ";
  174. }
  175. span.error.broken-link::after {
  176. content: " 🔗 ";
  177. }
  178. .firstterm {
  179. font-weight: bold;
  180. }
  181. .trademark::after {
  182. content: "™";
  183. }
  184. .trademark.trade::after {
  185. content: "™";
  186. }
  187. .trademark.copyright::after {
  188. content: "©";
  189. vertical-align: super;
  190. font-size: 85%;
  191. }
  192. .trademark.registered::after {
  193. content: "®";
  194. vertical-align: super;
  195. font-size: 85%;
  196. }
  197. .trademark.service::after {
  198. content: "℠";
  199. vertical-align: super;
  200. }
  201. .literal {
  202. white-space: nowrap;
  203. }
  204. .nobreak {
  205. white-space: nowrap;
  206. }
  207. .break {
  208. white-space: normal;
  209. }
  210. .xlink-arc-list {
  211. display: none;
  212. }
  213. /* ============================================================ */
  214. .debug {
  215. display: block;
  216. padding-top: 1em;
  217. padding-bottom: 1em;
  218. padding-left: 1em;
  219. background-color: var(--debug-background-color);
  220. color: var(--debug-color);
  221. }
  222. .remark {
  223. border: var(--remark-border-style);
  224. border-radius: 3px;
  225. padding-left: 4px;
  226. padding-right: 4px;
  227. color: var(--on-surface-color);
  228. background: repeating-linear-gradient(
  229. 135deg,
  230. var(--focused-color),
  231. var(--focused-color) 5px,
  232. var(--enabled-color) 5px,
  233. var(--enabled-color) 10px
  234. );
  235. }
  236. span.remark {
  237. margin-left: 0.5em;
  238. margin-right: 0.5em;
  239. }
  240. .keycap {
  241. font-family: var(--mono-family);
  242. background-color: var(--verbatim-odd-background-color);
  243. border: 1px solid var(--numbered-number-color);
  244. border-radius: 3px;
  245. padding-top: 0.1em;
  246. padding-bottom: 0.1em;
  247. padding-left: 0.3em;
  248. padding-right: 0.3em;
  249. margin: 0;
  250. font-size: 85%;
  251. box-shadow: var(--keycap-box-shadow);
  252. }
  253. code {
  254. font-family: var(--mono-family);
  255. background-color: var(--verbatim-odd-background-color);
  256. border: 1px solid var(--numbered-number-color);
  257. border-radius: 6px;
  258. padding-top: 0.1em;
  259. padding-bottom: 0.1em;
  260. padding-left: 0.3em;
  261. padding-right: 0.3em;
  262. margin: 0;
  263. font-size: 85%;
  264. }
  265. pre code {
  266. border: none;
  267. background-color: inherit;
  268. padding: inherit;
  269. font-size: inherit;
  270. margin: inherit;
  271. }
  272. .userinput {
  273. font-weight: bold;
  274. }
  275. a,
  276. a:visited {
  277. color: inherit;
  278. }
  279. a.pmuj {
  280. text-decoration: none;
  281. }
  282. .xref-area,
  283. .xref-areaset,
  284. .xref-co {
  285. text-decoration: none;
  286. }
  287. .xref {
  288. font-style: italic;
  289. }
  290. .xref-area,
  291. .xref-areaset,
  292. .xref-co,
  293. .xref-step,
  294. .xref-listitem {
  295. font-style: normal;
  296. }
  297. .xref .prefix,
  298. .xref .sep,
  299. .xref-question .label,
  300. .xref-answer .label {
  301. font-style: normal;
  302. }
  303. .footnote-number a,
  304. .footnote-number a:visited {
  305. text-decoration: none;
  306. }
  307. /* ============================================================ */
  308. h1,
  309. h2,
  310. h3,
  311. h4,
  312. h5,
  313. h6 {
  314. color: var(--on-header-color);
  315. background-color: var(--header-color);
  316. font-family: var(--title-family);
  317. font-weight: 600;
  318. font-style: normal;
  319. }
  320. h1 {
  321. font-weight: 400;
  322. margin-top: 4rem;
  323. margin-bottom: 1.5rem;
  324. font-size: 3.2rem;
  325. line-height: 1;
  326. }
  327. h2 {
  328. font-weight: 400;
  329. margin-top: 2.1rem;
  330. margin-bottom: 2rem;
  331. font-size: 2.2rem;
  332. line-height: 1;
  333. }
  334. h3 {
  335. font-weight: 400;
  336. font-size: 1.7rem;
  337. margin-top: 2rem;
  338. margin-bottom: 0;
  339. line-height: 1;
  340. }
  341. h4 {
  342. font-weight: 400;
  343. font-size: 1.5rem;
  344. margin-top: 2rem;
  345. margin-bottom: 0;
  346. line-height: 1;
  347. }
  348. h5 {
  349. font-weight: 400;
  350. font-size: 1.0rem;
  351. margin-top: 1.5rem;
  352. margin-bottom: 0;
  353. line-height: 1;
  354. }
  355. h6 {
  356. font-weight: 400;
  357. font-size: 1.0rem;
  358. margin-top: 1.5rem;
  359. margin-bottom: 0;
  360. line-height: 1;
  361. }
  362. .title {
  363. color: var(--on-header-color);
  364. background-color: var(--header-color);
  365. font-weight: bold;
  366. font-family: var(--title-family);
  367. margin-bottom: 0.5em;
  368. }
  369. .book > .list-of-titles > .lot > .title,
  370. .part > .list-of-titles > .lot > .title {
  371. font-weight: 400;
  372. font-size: 1.5rem;
  373. margin-top: 2rem;
  374. margin-bottom: 1rem;
  375. line-height: 1;
  376. }
  377. header .authorgroup {
  378. margin-bottom: 2rem;
  379. }
  380. /* ============================================================ */
  381. .article > header {
  382. text-align: center;
  383. margin-bottom: 2em;
  384. }
  385. .article > header .abstract {
  386. text-align: left;
  387. margin-left: 5em;
  388. margin-right: 5em;
  389. border: 1px solid var(--border-color);
  390. padding-left: 1em;
  391. padding-right: 1em;
  392. border-radius: 0.5em;
  393. }
  394. .book > header {
  395. margin-bottom: 2rem;
  396. margin-top: 1rem;
  397. padding-left: 1rem;
  398. padding-right: 1rem;
  399. padding-top: 1rem;
  400. padding-bottom: 1rem;
  401. border: 1px solid var(--border-color);
  402. border-radius: 0.5em;
  403. }
  404. .book > header h1 {
  405. margin-top: 0;
  406. }
  407. .revhistory .title {
  408. border-bottom: 1px solid var(--border-color);
  409. }
  410. .revhistory td p {
  411. margin: 0;
  412. padding: 0;
  413. }
  414. /* ============================================================ */
  415. .toc {
  416. margin-top: 1em;
  417. }
  418. .toc li {
  419. text-indent: -2em;
  420. padding-left: 2em;
  421. }
  422. ul.toc,
  423. .toc ul {
  424. list-style: none;
  425. margin-top: 0;
  426. margin-bottom: 0;
  427. padding-left: 0;
  428. }
  429. .bibliolist,
  430. .glosslist {
  431. margin-top: 1em;
  432. }
  433. /* ============================================================ */
  434. .generated-index ul {
  435. list-style: none;
  436. padding-left: 2rem;
  437. }
  438. .generated-index > ul,
  439. .generated-indexdiv > ul {
  440. padding-left: 0;
  441. }
  442. /* ============================================================ */
  443. .formalgroup {
  444. margin-top: 1em;
  445. }
  446. .formalgroup.pgwide div {
  447. display: inline-block;
  448. }
  449. table {
  450. table-layout: fixed;
  451. border-spacing: 0;
  452. border-collapse: collapse;
  453. }
  454. figure.pgwide table {
  455. width: 100%;
  456. }
  457. .inlinemediaobject,
  458. .inlinemediaobject div {
  459. display: inline-block;
  460. }
  461. td,
  462. th {
  463. padding: 0.25em;
  464. text-align: left;
  465. }
  466. td.bottom,
  467. th.bottom {
  468. vertical-align: bottom;
  469. }
  470. td.middle,
  471. th.middle {
  472. vertical-align: middle;
  473. }
  474. td.top,
  475. th.top {
  476. vertical-align: top;
  477. }
  478. td.center,
  479. th.center {
  480. text-align: center;
  481. }
  482. td.left,
  483. th.left {
  484. text-align: left;
  485. }
  486. td.right,
  487. th.right {
  488. text-align: right;
  489. }
  490. td.justify,
  491. th.justify {
  492. text-align: justify;
  493. }
  494. td.empty,
  495. th.empty {
  496. }
  497. td.btop,
  498. th.btop {
  499. border-top: var(--table-border-style);
  500. }
  501. td.bleft,
  502. th.bleft {
  503. border-left: var(--table-border-style);
  504. }
  505. td.colsep,
  506. th.colsep {
  507. border-right: var(--table-border-style);
  508. }
  509. td.rowsep,
  510. th.rowsep {
  511. border-bottom: var(--table-border-style);
  512. }
  513. td.char,
  514. th.char {
  515. font-family: monospace;
  516. text-align: right;
  517. }
  518. .media-wrapper {
  519. width: 100%;
  520. }
  521. .media {
  522. display: inline-block;
  523. }
  524. .viewport-table {
  525. display: table;
  526. }
  527. .viewport-row {
  528. display: table-row;
  529. }
  530. .viewport-cell {
  531. display: table-cell;
  532. }
  533. .viewport {
  534. display: inline-block;
  535. }
  536. .intrinsic-width img,
  537. .intrinsic-width svg {
  538. width: 100%;
  539. }
  540. .intrinsic-height img,
  541. .intrinsic-height svg {
  542. height: 100%;
  543. }
  544. .intrinsic-both img,
  545. .intrinsic-both svg {
  546. width: 100%;
  547. height: 100%;
  548. }
  549. .admonition {
  550. border-radius: 0.5rem;
  551. min-height: 3rem;
  552. padding-top: 0;
  553. margin-bottom: 1rem;
  554. margin-top: 1rem;
  555. margin-right: 4px;
  556. display: table;
  557. width: 100%;
  558. }
  559. .admonition > div {
  560. display: table-row;
  561. }
  562. .admonition .icon {
  563. display: table-cell;
  564. padding-top: 1.5rem;
  565. width: 4.5rem;
  566. text-align: center;
  567. vertical-align: top;
  568. font-size: 3rem;
  569. color: var(--note-border-color);
  570. }
  571. .admonition .body {
  572. display: table-cell;
  573. padding-right: 1rem;
  574. }
  575. .admonition header {
  576. padding-top: 0.5rem;
  577. }
  578. .note {
  579. border: var(--note-border-style);
  580. background-color: var(--note-color);
  581. color: var(--on-note-color);
  582. }
  583. .note .icon {
  584. color: var(--note-border-color);
  585. }
  586. .note .title {
  587. background-color: var(--note-color);
  588. color: var(--on-note-color);
  589. }
  590. .note code {
  591. border-color: var(--note-border-color);
  592. background-color: var(--note-color);
  593. }
  594. .tip {
  595. border: var(--tip-border-style);
  596. background-color: var(--tip-color);
  597. color: var(--on-tip-color);
  598. }
  599. .tip .icon {
  600. color: var(--tip-border-color);
  601. }
  602. .tip .title {
  603. background-color: var(--tip-color);
  604. color: var(--on-tip-color);
  605. }
  606. .tip code {
  607. border-color: var(--tip-border-color);
  608. background-color: var(--tip-color);
  609. }
  610. .important {
  611. border: var(--important-border-style);
  612. background-color: var(--important-color);
  613. color: var(--on-important-color);
  614. }
  615. .important .icon {
  616. padding-top: 2rem;
  617. color: var(--important-border-color);
  618. }
  619. .important .title {
  620. background-color: var(--important-color);
  621. color: var(--on-important-color);
  622. }
  623. .important code {
  624. background-color: var(--important-color);
  625. border-color: var(--important-border-color);
  626. }
  627. .caution {
  628. border: var(--caution-border-style);
  629. background-color: var(--caution-color);
  630. color: var(--on-caution-color);
  631. }
  632. .caution .icon {
  633. color: var(--caution-border-color);
  634. }
  635. .caution .title {
  636. background-color: var(--caution-color);
  637. color: var(--on-caution-color);
  638. }
  639. .caution code {
  640. background-color: var(--caution-color);
  641. border-color: var(--caution-border-color);
  642. }
  643. .warning {
  644. border: var(--warning-border-style);
  645. background-color: var(--warning-color);
  646. color: var(--on-warning-color);
  647. }
  648. .warning .icon {
  649. color: var(--warning-border-color);
  650. }
  651. .warning .title {
  652. background-color: var(--warning-color);
  653. color: var(--on-warning-color);
  654. }
  655. .warning code {
  656. background-color: var(--warning-color);
  657. border-color: var(--warning-border-color);
  658. }
  659. .danger {
  660. border: var(--danger-border-style);
  661. background-color: var(--danger-color);
  662. color: var(--on-danger-color);
  663. }
  664. .danger .icon {
  665. color: var(--danger-border-color);
  666. }
  667. .danger .title {
  668. background-color: var(--danger-color);
  669. color: var(--on-danger-color);
  670. }
  671. .danger code {
  672. background-color: var(--danger-color);
  673. border-color: var(--danger-border-color);
  674. }
  675. /* ============================================================ */
  676. .pre-wrap {
  677. overflow-x: scroll;
  678. margin-top: 1em;
  679. margin-bottom: 1em;
  680. }
  681. pre {
  682. margin-top: 0;
  683. margin-bottom: 0;
  684. }
  685. pre.address,
  686. pre.literallayout {
  687. font-family: var(--body-family);
  688. }
  689. pre.monospaced {
  690. font-family: var(--mono-family);
  691. }
  692. pre.programlisting,
  693. pre.screen {
  694. line-height: 1.25em;
  695. }
  696. /* Adapted from https://stackoverflow.com/questions/41306797/html-how-to-add-line-numbers-to-a-source-code-block */
  697. pre.verbatim span.line:nth-child(odd) {
  698. background-color: var(--verbatim-odd-background-color);
  699. }
  700. pre.verbatim span.line:nth-child(even) {
  701. background-color: var(--verbatim-even-background-color);
  702. }
  703. /* Make the background of even lines the same as odd lines for
  704. "monochrome" listings. */
  705. pre.verbatim.monochrome span.line:nth-child(even) {
  706. background-color: var(--verbatim-odd-background-color);
  707. }
  708. pre.address span.line:nth-child(odd),
  709. pre.literallayout span.line:nth-child(odd) {
  710. background-color: inherit;
  711. }
  712. pre.address span.line:nth-child(even),
  713. pre.literallayout span.line:nth-child(even) {
  714. background-color: inherit;
  715. }
  716. pre.verbatim span.ln {
  717. font-family: var(--mono-family);
  718. width: 0;
  719. padding-top: 4px;
  720. padding-bottom: 4px;
  721. text-align: right;
  722. }
  723. pre.verbatim {
  724. display: table;
  725. table-layout: fixed;
  726. width: 100%; /* anything but auto, otherwise fixed layout not guaranteed */
  727. white-space: pre;
  728. }
  729. pre.verbatim span.line {
  730. display: table-row;
  731. }
  732. pre.verbatim span.ln {
  733. display: table-cell;
  734. }
  735. pre.numbered span.ln {
  736. background-color: var(--numbered-background-color);
  737. user-select: none;
  738. }
  739. pre.numbered span.ln {
  740. width: 4em;
  741. padding-right: 0.5em;
  742. }
  743. pre.verbatim span.ld {
  744. display: table-cell;
  745. padding-top: 4px;
  746. padding-bottom: 4px;
  747. }
  748. pre.numbered span.ld {
  749. border-left: var(--numbered-separator-style);
  750. padding-left: 0.25em;
  751. }
  752. pre.verbatim span.line.highlight {
  753. background-color: var(--verbatim-line-highlight-background-color);
  754. color: var(--verbatim-line-highlight-color);
  755. }
  756. /* ============================================================ */
  757. .productionset .productions {
  758. display: table;
  759. table-layout: fixed;
  760. width: 100%;
  761. }
  762. .productionset .productions .production {
  763. display: table-row;
  764. }
  765. .productionset .productions .production .lhs,
  766. .productionset .productions .production .rhs,
  767. .productionset .productions .production .lhssep {
  768. font-family: var(--mono-family);
  769. }
  770. .productionset .productions .production .lhs,
  771. .productionset .productions .production .lhssep,
  772. .productionset .productions .production .rhs,
  773. .productionset .productions .production .constraint {
  774. display: table-cell;
  775. }
  776. .productionset .productions .production .lhs {
  777. width: 25%;
  778. white-space: nowrap;
  779. }
  780. .productionset .productions .production .lhssep {
  781. width: 3em;
  782. text-align: center;
  783. }
  784. .productionset .productions .production .constraint {
  785. width: 2em;
  786. }
  787. .nonterminal {
  788. }
  789. .lineannotation {
  790. font-family: var(--body-family);
  791. font-style: italic;
  792. }
  793. .constraintdef {
  794. min-height: 3rem;
  795. margin-left: 1rem;
  796. padding-top: 1rem;
  797. margin-bottom: 1rem;
  798. }
  799. .constraintdef .title {
  800. font-weight: bold;
  801. font-family: var(--title-family);
  802. }
  803. /* ============================================================ */
  804. .qandadiv {
  805. margin-top: 1em;
  806. }
  807. .qandalist .qanda {
  808. display: table;
  809. table-layout: fixed;
  810. width: 100%;
  811. }
  812. .qandaentry .question,
  813. .qandaentry .answer {
  814. display: table-row;
  815. }
  816. .qandaentry .question .label,
  817. .qandaentry .answer .label {
  818. display: table-cell;
  819. width: 3em;
  820. }
  821. .qandaentry .question .body,
  822. .qandaentry .answer .body {
  823. display: table-cell;
  824. }
  825. .question p,
  826. .answer p {
  827. margin-top: 0;
  828. }
  829. /* ============================================================ */
  830. .funcprototype table td {
  831. padding: 0;
  832. }
  833. .funcprototype table.params {
  834. margin-top: 1em;
  835. }
  836. .funcprototype table.params td {
  837. padding-right: 1em;
  838. }
  839. .funcprototype {
  840. margin-top: 1em;
  841. font-family: var(--mono-family);
  842. }
  843. .funcprototype .paramdef {
  844. font-family: var(--mono-family);
  845. }
  846. .funcprototype .parameter {
  847. font-family: var(--body-family);
  848. font-style: italic;
  849. }
  850. .funcprototype .function {
  851. font-weight: bold;
  852. }
  853. /* ============================================================ */
  854. .linegroup {
  855. margin-left: 2em;
  856. }
  857. .speaker::after {
  858. content: ":";
  859. }
  860. .linegroup .speaker {
  861. margin-left: -2em;
  862. }
  863. /* ============================================================ */
  864. .formalpara .title {
  865. display: inline-block;
  866. font-weight: bold;
  867. }
  868. .formalpara .title::after {
  869. content: ".";
  870. margin-right: 0.5em;
  871. }
  872. .formalpara .titlepunct::after {
  873. content: "";
  874. margin-right: 0.5em;
  875. }
  876. blockquote {
  877. margin-top: 1em;
  878. }
  879. blockquote p {
  880. margin-top: 0;
  881. }
  882. blockquote .title {
  883. font-weight: bold;
  884. font-family: var(--title-family);
  885. margin-bottom: 0.25em;
  886. }
  887. blockquote p + .attribution {
  888. /* Tuck it back up closer to the preceding paragraph */
  889. margin-top: -1em;
  890. }
  891. .attribution::before {
  892. content: "—";
  893. }
  894. .attribution {
  895. margin-left: 50%;
  896. }
  897. /* ============================================================ */
  898. .revhistory .title {
  899. font-weight: bold;
  900. font-family: var(--title-family);
  901. margin-bottom: 0.5em;
  902. }
  903. /* ============================================================ */
  904. .figure,
  905. .example,
  906. .equation {
  907. padding: 1em;
  908. }
  909. .figure,
  910. .example {
  911. border: 1px solid var(--border-color);
  912. }
  913. .figure .title {
  914. font-family: var(--title-family);
  915. }
  916. .figure .media {
  917. width: 100%;
  918. text-align: center;
  919. }
  920. .figure img {
  921. margin-left: auto;
  922. margin-right: auto;
  923. }
  924. .floatcenter {
  925. text-align: center;
  926. }
  927. .floatright {
  928. float: right;
  929. }
  930. .floatleft {
  931. float: left;
  932. }
  933. /* ============================================================ */
  934. .cmdsynopsis {
  935. margin-top: 1em;
  936. margin-bottom: 1em;
  937. margin-left: 3em;
  938. text-indent: -3em;
  939. }
  940. .synopfragment {
  941. margin-top: 1em;
  942. }
  943. .synopfragmentref {
  944. font-style: italic;
  945. }
  946. .synopfragmentref a,
  947. .synopfragmentref a:visited {
  948. text-decoration: none;
  949. }
  950. .synopfragmentref-number {
  951. font-family: var(--mono-family);
  952. font-style: normal;
  953. font-weight: bold;
  954. font-size: 10pt;
  955. }
  956. .synopfragment .synopfragmentref-number {
  957. }
  958. .cmdsynopsis .command,
  959. .cmdsynopsis .cmdpunct,
  960. .cmdsynopsis .group,
  961. .cmdsynopsis .arg {
  962. font-family: var(--mono-family);
  963. }
  964. .calloutlist dl dt {
  965. clear: both;
  966. float: left;
  967. width: 1.25em;
  968. }
  969. .calloutlist dl dd {
  970. margin-left: 1.25em;
  971. line-height: 1.5rem; /* tuck them together a little */
  972. }
  973. .calloutlist dd > p:first-child {
  974. margin-top: 0;
  975. }
  976. a.callout-bug,
  977. a.callout-bug:visited {
  978. text-decoration: none;
  979. }
  980. /* ============================================================ */
  981. .revadded {
  982. background-color: var(--revadded-background-color);
  983. color: var(--revadded-color);
  984. }
  985. .revadded::before {
  986. content: var(--revadded-before);
  987. }
  988. .revadded::after {
  989. content: var(--revadded-after);
  990. }
  991. .revchanged {
  992. background-color: var(--revchanged-background-color);
  993. color: var(--revchanged-color);
  994. }
  995. .revchanged::before {
  996. content: var(--revchanged-before);
  997. }
  998. .revchanged::after {
  999. content: var(--revchanged-after);
  1000. }
  1001. .revdeleted {
  1002. background-color: var(--revdeleted-background-color);
  1003. color: var(--revdeleted-color);
  1004. }
  1005. .revdeleted::before {
  1006. content: var(--revdeleted-before);
  1007. }
  1008. .revdeleted::after {
  1009. content: var(--revdeleted-after);
  1010. }
  1011. .revoff .revadded,
  1012. .revoff .revchanged,
  1013. .revoff .revdeleted {
  1014. background-color: inherit;
  1015. }
  1016. .revoff .revadded::before,
  1017. .revoff .revchanged::before,
  1018. .revoff .revdeleted::before,
  1019. .revoff .revadded::after,
  1020. .revoff .revchanged::after,
  1021. .revoff .revdeleted::after {
  1022. content: "";
  1023. }
  1024. /* ============================================================ */
  1025. ul[db-mark = 'disc'],
  1026. li[db-mark = 'disc'],
  1027. ul[db-mark = 'bullet'],
  1028. li[db-mark = 'bullet'] {
  1029. list-style-type: disc;
  1030. }
  1031. ul[db-mark = 'round'],
  1032. li[db-mark = 'round'] {
  1033. list-style-type: circle;
  1034. }
  1035. ul[db-mark = 'box'],
  1036. li[db-mark = 'box'] {
  1037. list-style-type: square;
  1038. }
  1039. /* ============================================================ */
  1040. .simplelistvert,
  1041. .simplelisthoriz {
  1042. display: table;
  1043. }
  1044. .simplelist .row {
  1045. display: table-row;
  1046. }
  1047. .simplelist .row span {
  1048. display: table-cell;
  1049. }
  1050. /* ============================================================ */
  1051. .glossdiv {
  1052. margin-top: 1em;
  1053. }
  1054. /* ============================================================ */
  1055. .sidebar {
  1056. background-color: var(--sidebar-color);
  1057. color: var(--on-sidebar-color);
  1058. padding-left: 1em;
  1059. padding-right: 1em;
  1060. padding-bottom: 1em;
  1061. padding-top: 1em;
  1062. border-radius: 0.5em;
  1063. }
  1064. .sidebar .title {
  1065. background-color: var(--sidebar-color);
  1066. color: var(--on-sidebar-color);
  1067. }
  1068. /* ============================================================ */
  1069. .msgexplan {
  1070. margin-left: 2rem;
  1071. }
  1072. /* ============================================================ */
  1073. .foreignphrase {
  1074. font-style: italic;
  1075. }
  1076. .bold {
  1077. font-weight: bold;
  1078. }
  1079. .strikethrough {
  1080. text-decoration: line-through;
  1081. }
  1082. .underline {
  1083. text-decoration: underline;
  1084. }
  1085. em {
  1086. font-style: italic;
  1087. }
  1088. em em {
  1089. font-style: normal;
  1090. }
  1091. em em em {
  1092. font-style: italic;
  1093. }
  1094. em em em em {
  1095. font-style: normal;
  1096. }
  1097. em em em em em {
  1098. font-style: italic;
  1099. }
  1100. em em me em em em {
  1101. font-style: normal;
  1102. }
  1103. /* ============================================================ */
  1104. /* Inline annotations */
  1105. .annotations {
  1106. border-top: var(--annotation-separator-border-style);
  1107. padding-top: 1em;
  1108. margin-top: 6em;
  1109. }
  1110. a.annomark,
  1111. a.annomark:visited {
  1112. text-decoration: none;
  1113. color: inherit;
  1114. }
  1115. .annotation-wrapper {
  1116. margin-bottom: 1em;
  1117. }
  1118. .annotation-body {
  1119. border: var(--annotation-body-border-style);
  1120. border-bottom-left-radius: 0.25em;
  1121. border-bottom-right-radius: 0.25em;
  1122. ;
  1123. }
  1124. .annotation-header {
  1125. height: 2em;
  1126. background-color: var(--annotation-header-background-color);
  1127. color: var(--annotation-header-color);
  1128. padding-left: 1em;
  1129. padding-right: 0.5em;
  1130. border-bottom: var(--annotation-header-separator-border-style);
  1131. }
  1132. .annotation-header .annotation-close {
  1133. float: right;
  1134. }
  1135. .annotation-content {
  1136. padding-left: 1em;
  1137. padding-right: 1em;
  1138. padding-top: 0.5em;
  1139. padding-bottom: 0.5em;
  1140. }
  1141. /* ============================================================ */
  1142. /* XLink extended links. The ".js" classes only apply if
  1143. JavaScript XLink processing is available and enabled.
  1144. */
  1145. .xlink .source {
  1146. border-bottom: 1px dotted black;
  1147. cursor: pointer;
  1148. }
  1149. .xlink-arc-list {
  1150. display: inline;
  1151. font-style: normal;
  1152. cursor: pointer;
  1153. font-size: 70%;
  1154. }
  1155. .xlink-arc-list.js::before {
  1156. content: " "; /* thin space */
  1157. }
  1158. .nhrefs.js .xlink-arc-delim {
  1159. display: none;
  1160. }
  1161. .nhrefs.js {
  1162. font-style: normal;
  1163. display: none;
  1164. margin-left: 4px;
  1165. margin-right: 0;
  1166. padding-bottom: 1em;
  1167. border: 2px solid var(--primary-variant-color);
  1168. border-radius: 4px;
  1169. z-index: 2;
  1170. background-color: var(--primary-color);
  1171. color: var(--on-primary-color);
  1172. }
  1173. .nhrefs.js .arc {
  1174. display: list-item;
  1175. margin-left: 1.5em;
  1176. padding-right: 1em;
  1177. }
  1178. .nhrefs.js .xlink-arc-title {
  1179. display: block;
  1180. background-color: var(--primary-variant-color);
  1181. color: var(--on-primary-variant-color);
  1182. margin-left: 0;
  1183. margin-bottom: 0.5em;
  1184. text-align: center;
  1185. }