print.css 24 KB

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