docbook.css 27 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453
  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, a:visited {
  276. color: inherit;
  277. }
  278. a.pmuj {
  279. text-decoration: none;
  280. }
  281. .xref-area,
  282. .xref-areaset,
  283. .xref-co {
  284. text-decoration: none;
  285. }
  286. .xref {
  287. font-style: italic;
  288. }
  289. .xref-area,
  290. .xref-areaset,
  291. .xref-co,
  292. .xref-step,
  293. .xref-listitem {
  294. font-style: normal;
  295. }
  296. .xref .prefix,
  297. .xref .sep,
  298. .xref-question .label,
  299. .xref-answer .label {
  300. font-style: normal;
  301. }
  302. .footnote-number a,
  303. .footnote-number a:visited {
  304. text-decoration: none;
  305. }
  306. /* ============================================================ */
  307. h1, h2, h3, h4, h5, h6 {
  308. color: var(--on-header-color);
  309. background-color: var(--header-color);
  310. font-family: var(--title-family);
  311. font-weight: 600;
  312. font-style: normal;
  313. }
  314. h1 { font-weight: 400;
  315. margin-top: 4rem;
  316. margin-bottom: 1.5rem;
  317. font-size: 3.2rem;
  318. line-height: 1;
  319. }
  320. h2 { font-weight: 400;
  321. margin-top: 2.1rem;
  322. margin-bottom: 2rem;
  323. font-size: 2.2rem;
  324. line-height: 1;
  325. }
  326. h3 { font-weight: 400;
  327. font-size: 1.7rem;
  328. margin-top: 2rem;
  329. margin-bottom: 0;
  330. line-height: 1;
  331. }
  332. h4 { font-weight: 400;
  333. font-size: 1.5rem;
  334. margin-top: 2rem;
  335. margin-bottom: 0;
  336. line-height: 1;
  337. }
  338. h5 { font-weight: 400;
  339. font-size: 1.0rem;
  340. margin-top: 1.5rem;
  341. margin-bottom: 0;
  342. line-height: 1;
  343. }
  344. h6 { font-weight: 400;
  345. font-size: 1.0rem;
  346. margin-top: 1.5rem;
  347. margin-bottom: 0;
  348. line-height: 1;
  349. }
  350. .title {
  351. color: var(--on-header-color);
  352. background-color: var(--header-color);
  353. font-weight: bold;
  354. font-family: var(--title-family);
  355. margin-bottom: 0.5em;
  356. }
  357. .book > .list-of-titles > .lot > .title,
  358. .part > .list-of-titles > .lot > .title {
  359. font-weight: 400;
  360. font-size: 1.5rem;
  361. margin-top: 2rem;
  362. margin-bottom: 1rem;
  363. line-height: 1;
  364. }
  365. header .authorgroup {
  366. margin-bottom: 2rem;
  367. }
  368. /* ============================================================ */
  369. .article > header {
  370. text-align: center;
  371. margin-bottom: 2em;
  372. }
  373. .article > header .abstract {
  374. text-align: left;
  375. margin-left: 5em;
  376. margin-right: 5em;
  377. border: 1px solid var(--border-color);
  378. padding-left: 1em;
  379. padding-right: 1em;
  380. border-radius: 0.5em;
  381. }
  382. .book > header {
  383. margin-bottom: 2rem;
  384. margin-top: 1rem;
  385. padding-left: 1rem;
  386. padding-right: 1rem;
  387. padding-top: 1rem;
  388. padding-bottom: 1rem;
  389. border: 1px solid var(--border-color);
  390. border-radius: 0.5em;
  391. }
  392. .book > header h1 {
  393. margin-top: 0;
  394. }
  395. .revhistory .title {
  396. border-bottom: 1px solid var(--border-color);
  397. }
  398. .revhistory td p {
  399. margin: 0;
  400. padding: 0;
  401. }
  402. /* ============================================================ */
  403. .toc {
  404. margin-top: 1em;
  405. }
  406. .toc li {
  407. text-indent: -2em;
  408. padding-left: 2em;
  409. }
  410. ul.toc,
  411. .toc ul {
  412. list-style: none;
  413. margin-top: 0;
  414. margin-bottom: 0;
  415. padding-left: 0;
  416. }
  417. .bibliolist,
  418. .glosslist {
  419. margin-top: 1em;
  420. }
  421. /* ============================================================ */
  422. .generated-index ul {
  423. list-style: none;
  424. padding-left: 2rem;
  425. }
  426. .generated-index > ul,
  427. .generated-indexdiv > ul {
  428. padding-left: 0;
  429. }
  430. /* ============================================================ */
  431. .formalgroup {
  432. margin-top: 1em;
  433. }
  434. .formalgroup.pgwide div {
  435. display: inline-block;
  436. }
  437. table {
  438. table-layout: fixed;
  439. border-spacing: 0;
  440. border-collapse: collapse;
  441. }
  442. figure.pgwide table {
  443. width: 100%;
  444. }
  445. .inlinemediaobject,
  446. .inlinemediaobject div {
  447. display: inline-block;
  448. }
  449. td, th {
  450. padding: 0.25em;
  451. text-align: left;
  452. }
  453. td.bottom,
  454. th.bottom {
  455. vertical-align: bottom;
  456. }
  457. td.middle,
  458. th.middle {
  459. vertical-align: middle;
  460. }
  461. td.top,
  462. th.top {
  463. vertical-align: top;
  464. }
  465. td.center,
  466. th.center {
  467. text-align: center;
  468. }
  469. td.left,
  470. th.left {
  471. text-align: left;
  472. }
  473. td.right,
  474. th.right {
  475. text-align: right;
  476. }
  477. td.justify,
  478. th.justify {
  479. text-align: justify;
  480. }
  481. td.empty,
  482. th.empty {
  483. }
  484. td.btop,
  485. th.btop {
  486. border-top: var(--table-border-style);
  487. }
  488. td.bleft,
  489. th.bleft {
  490. border-left: var(--table-border-style);
  491. }
  492. td.colsep,
  493. th.colsep {
  494. border-right: var(--table-border-style);
  495. }
  496. td.rowsep,
  497. th.rowsep {
  498. border-bottom: var(--table-border-style);
  499. }
  500. td.char,
  501. th.char {
  502. font-family: monospace;
  503. text-align: right;
  504. }
  505. .media-wrapper {
  506. width: 100%;
  507. }
  508. .media {
  509. display: inline-block;
  510. }
  511. .viewport-table {
  512. display: table;
  513. }
  514. .viewport-row {
  515. display: table-row;
  516. }
  517. .viewport-cell {
  518. display: table-cell;
  519. }
  520. .viewport {
  521. display: inline-block;
  522. }
  523. .intrinsic-width img,
  524. .intrinsic-width svg {
  525. width: 100%;
  526. }
  527. .intrinsic-height img,
  528. .intrinsic-height svg {
  529. height: 100%;
  530. }
  531. .intrinsic-both img,
  532. .intrinsic-both svg {
  533. width: 100%;
  534. height: 100%;
  535. }
  536. .admonition {
  537. border-radius: 0.5rem;
  538. min-height: 3rem;
  539. padding-top: 0;
  540. margin-bottom: 1rem;
  541. margin-top: 1rem;
  542. margin-right: 4px;
  543. display: table;
  544. width: 100%;
  545. }
  546. .admonition > div {
  547. display: table-row;
  548. }
  549. .admonition .icon {
  550. display: table-cell;
  551. padding-top: 1.5rem;
  552. width: 4.5rem;
  553. text-align: center;
  554. vertical-align: top;
  555. font-size: 3rem;
  556. color: var(--note-border-color);
  557. }
  558. .admonition .body {
  559. display: table-cell;
  560. padding-right: 1rem;
  561. }
  562. .admonition header {
  563. padding-top: 0.5rem;
  564. }
  565. .note {
  566. border: var(--note-border-style);
  567. background-color: var(--note-color);
  568. color: var(--on-note-color);
  569. }
  570. .note .icon {
  571. color: var(--note-border-color);
  572. }
  573. .note .title {
  574. background-color: var(--note-color);
  575. color: var(--on-note-color);
  576. }
  577. .note code {
  578. border-color: var(--note-border-color);
  579. background-color: var(--note-color);
  580. }
  581. .tip {
  582. border: var(--tip-border-style);
  583. background-color: var(--tip-color);
  584. color: var(--on-tip-color);
  585. }
  586. .tip .icon {
  587. color: var(--tip-border-color);
  588. }
  589. .tip .title {
  590. background-color: var(--tip-color);
  591. color: var(--on-tip-color);
  592. }
  593. .tip code {
  594. border-color: var(--tip-border-color);
  595. background-color: var(--tip-color);
  596. }
  597. .important {
  598. border: var(--important-border-style);
  599. background-color: var(--important-color);
  600. color: var(--on-important-color);
  601. }
  602. .important .icon {
  603. padding-top: 2rem;
  604. color: var(--important-border-color);
  605. }
  606. .important .title {
  607. background-color: var(--important-color);
  608. color: var(--on-important-color);
  609. }
  610. .important code {
  611. background-color: var(--important-color);
  612. border-color: var(--important-border-color);
  613. }
  614. .caution {
  615. border: var(--caution-border-style);
  616. background-color: var(--caution-color);
  617. color: var(--on-caution-color);
  618. }
  619. .caution .icon {
  620. color: var(--caution-border-color);
  621. }
  622. .caution .title {
  623. background-color: var(--caution-color);
  624. color: var(--on-caution-color);
  625. }
  626. .caution code {
  627. background-color: var(--caution-color);
  628. border-color: var(--caution-border-color);
  629. }
  630. .warning {
  631. border: var(--warning-border-style);
  632. background-color: var(--warning-color);
  633. color: var(--on-warning-color);
  634. }
  635. .warning .icon {
  636. color: var(--warning-border-color);
  637. }
  638. .warning .title {
  639. background-color: var(--warning-color);
  640. color: var(--on-warning-color);
  641. }
  642. .warning code {
  643. background-color: var(--warning-color);
  644. border-color: var(--warning-border-color);
  645. }
  646. .danger {
  647. border: var(--danger-border-style);
  648. background-color: var(--danger-color);
  649. color: var(--on-danger-color);
  650. }
  651. .danger .icon {
  652. color: var(--danger-border-color);
  653. }
  654. .danger .title {
  655. background-color: var(--danger-color);
  656. color: var(--on-danger-color);
  657. }
  658. .danger code {
  659. background-color: var(--danger-color);
  660. border-color: var(--danger-border-color);
  661. }
  662. /* ============================================================ */
  663. .pre-wrap {
  664. overflow-x: scroll;
  665. margin-top: 1em;
  666. margin-bottom: 1em;
  667. }
  668. pre {
  669. margin-top: 0;
  670. margin-bottom: 0;
  671. }
  672. pre.address,
  673. pre.literallayout {
  674. font-family: var(--body-family);
  675. }
  676. pre.monospaced {
  677. font-family: var(--mono-family);
  678. }
  679. pre.programlisting,
  680. pre.screen {
  681. line-height: 1.25em;
  682. }
  683. /* Adapted from https://stackoverflow.com/questions/41306797/html-how-to-add-line-numbers-to-a-source-code-block */
  684. pre.verbatim span.line:nth-child(odd) {
  685. background-color: var(--verbatim-odd-background-color);
  686. }
  687. pre.verbatim span.line:nth-child(even) {
  688. background-color: var(--verbatim-even-background-color);
  689. }
  690. /* Make the background of even lines the same as odd lines for
  691. "monochrome" listings. */
  692. pre.verbatim.monochrome span.line:nth-child(even) {
  693. background-color: var(--verbatim-odd-background-color);
  694. }
  695. pre.address span.line:nth-child(odd),
  696. pre.literallayout span.line:nth-child(odd) {
  697. background-color: inherit;
  698. }
  699. pre.address span.line:nth-child(even),
  700. pre.literallayout span.line:nth-child(even) {
  701. background-color: inherit;
  702. }
  703. pre.verbatim span.ln {
  704. font-family: var(--mono-family);
  705. width: 0;
  706. padding-top: 4px;
  707. padding-bottom: 4px;
  708. text-align: right;
  709. }
  710. pre.verbatim {
  711. display: table;
  712. table-layout: fixed;
  713. width: 100%; /* anything but auto, otherwise fixed layout not guaranteed */
  714. white-space: pre;
  715. }
  716. pre.verbatim span.line {
  717. display: table-row;
  718. }
  719. pre.verbatim span.ln {
  720. display: table-cell;
  721. }
  722. pre.numbered span.ln {
  723. background-color: var(--numbered-background-color);
  724. user-select: none;
  725. }
  726. pre.numbered span.ln {
  727. width: 4em;
  728. padding-right: 0.5em;
  729. }
  730. pre.verbatim span.ld {
  731. display: table-cell;
  732. padding-top: 4px;
  733. padding-bottom: 4px;
  734. }
  735. pre.numbered span.ld {
  736. border-left: var(--numbered-separator-style);
  737. padding-left: 0.25em;
  738. }
  739. pre.verbatim span.line.highlight {
  740. background-color: var(--verbatim-line-highlight-background-color);
  741. color: var(--verbatim-line-highlight-color);
  742. }
  743. /* ============================================================ */
  744. .productionset .productions {
  745. display: table;
  746. table-layout: fixed;
  747. width: 100%;
  748. }
  749. .productionset .productions .production {
  750. display: table-row;
  751. }
  752. .productionset .productions .production .lhs,
  753. .productionset .productions .production .rhs,
  754. .productionset .productions .production .lhssep {
  755. font-family: var(--mono-family);
  756. }
  757. .productionset .productions .production .lhs,
  758. .productionset .productions .production .lhssep,
  759. .productionset .productions .production .rhs,
  760. .productionset .productions .production .constraint {
  761. display: table-cell;
  762. }
  763. .productionset .productions .production .lhs {
  764. width: 25%;
  765. white-space: nowrap;
  766. }
  767. .productionset .productions .production .lhssep {
  768. width: 3em;
  769. text-align: center;
  770. }
  771. .productionset .productions .production .constraint {
  772. width: 2em;
  773. }
  774. .nonterminal {
  775. }
  776. .lineannotation {
  777. font-family: var(--body-family);
  778. font-style: italic;
  779. }
  780. .constraintdef {
  781. min-height: 3rem;
  782. margin-left: 1rem;
  783. padding-top: 1rem;
  784. margin-bottom: 1rem;
  785. }
  786. .constraintdef .title {
  787. font-weight: bold;
  788. font-family: var(--title-family);
  789. }
  790. /* ============================================================ */
  791. .qandadiv {
  792. margin-top: 1em;
  793. }
  794. .qandalist .qanda {
  795. display: table;
  796. table-layout: fixed;
  797. width: 100%;
  798. }
  799. .qandaentry .question,
  800. .qandaentry .answer {
  801. display: table-row;
  802. }
  803. .qandaentry .question .label,
  804. .qandaentry .answer .label {
  805. display: table-cell;
  806. width: 3em;
  807. }
  808. .qandaentry .question .body,
  809. .qandaentry .answer .body {
  810. display: table-cell;
  811. }
  812. .question p,
  813. .answer p {
  814. margin-top: 0;
  815. }
  816. /* ============================================================ */
  817. .funcprototype table td {
  818. padding: 0;
  819. }
  820. .funcprototype table.params {
  821. margin-top: 1em;
  822. }
  823. .funcprototype table.params td {
  824. padding-right: 1em;
  825. }
  826. .funcprototype {
  827. margin-top: 1em;
  828. font-family: var(--mono-family);
  829. }
  830. .funcprototype .paramdef {
  831. font-family: var(--mono-family);
  832. }
  833. .funcprototype .parameter {
  834. font-family: var(--body-family);
  835. font-style: italic;
  836. }
  837. .funcprototype .function {
  838. font-weight: bold;
  839. }
  840. /* ============================================================ */
  841. .linegroup {
  842. margin-left: 2em;
  843. }
  844. .speaker::after {
  845. content: ":";
  846. }
  847. .linegroup .speaker {
  848. margin-left: -2em;
  849. }
  850. /* ============================================================ */
  851. .formalpara .title {
  852. display: inline-block;
  853. font-weight: bold;
  854. }
  855. .formalpara .title::after {
  856. content: ".";
  857. margin-right: 0.5em;
  858. }
  859. .formalpara .titlepunct::after {
  860. content: "";
  861. margin-right: 0.5em;
  862. }
  863. blockquote {
  864. margin-top: 1em;
  865. }
  866. blockquote p {
  867. margin-top: 0;
  868. }
  869. blockquote .title {
  870. font-weight: bold;
  871. font-family: var(--title-family);
  872. margin-bottom: 0.25em;
  873. }
  874. blockquote p + .attribution {
  875. /* Tuck it back up closer to the preceding paragraph */
  876. margin-top: -1em;
  877. }
  878. .attribution::before {
  879. content: "—";
  880. }
  881. .attribution {
  882. margin-left: 50%;
  883. }
  884. /* ============================================================ */
  885. .revhistory .title {
  886. font-weight: bold;
  887. font-family: var(--title-family);
  888. margin-bottom: 0.5em;
  889. }
  890. /* ============================================================ */
  891. .figure,
  892. .example,
  893. .equation {
  894. padding: 1em;
  895. }
  896. .figure,
  897. .example {
  898. border: 1px solid var(--border-color);
  899. }
  900. .figure .title {
  901. font-family: var(--title-family);
  902. }
  903. .figure .media {
  904. width: 100%;
  905. text-align: center;
  906. }
  907. .figure img {
  908. margin-left: auto;
  909. margin-right: auto;
  910. }
  911. .floatcenter {
  912. text-align: center;
  913. }
  914. .floatright {
  915. float: right;
  916. }
  917. .floatleft {
  918. float: left;
  919. }
  920. /* ============================================================ */
  921. .cmdsynopsis {
  922. margin-top: 1em;
  923. margin-bottom: 1em;
  924. margin-left: 3em;
  925. text-indent: -3em;
  926. }
  927. .synopfragment {
  928. margin-top: 1em;
  929. }
  930. .synopfragmentref {
  931. font-style: italic;
  932. }
  933. .synopfragmentref a,
  934. .synopfragmentref a:visited {
  935. text-decoration: none;
  936. }
  937. .synopfragmentref-number {
  938. font-family: var(--mono-family);
  939. font-style: normal;
  940. font-weight: bold;
  941. font-size: 10pt;
  942. }
  943. .synopfragment .synopfragmentref-number {
  944. }
  945. .cmdsynopsis .command,
  946. .cmdsynopsis .cmdpunct,
  947. .cmdsynopsis .group,
  948. .cmdsynopsis .arg {
  949. font-family: var(--mono-family);
  950. }
  951. .calloutlist dl dt {
  952. clear: both;
  953. float: left;
  954. width: 1.25em;
  955. }
  956. .calloutlist dl dd {
  957. margin-left: 1.25em;
  958. line-height: 1.5rem; /* tuck them together a little */
  959. }
  960. .calloutlist dd > p:first-child {
  961. margin-top: 0;
  962. }
  963. a.callout-bug,
  964. a.callout-bug:visited {
  965. text-decoration: none;
  966. }
  967. /* ============================================================ */
  968. .revadded {
  969. background-color: var(--revadded-background-color);
  970. color: var(--revadded-color);
  971. }
  972. .revadded::before {
  973. content: var(--revadded-before);
  974. }
  975. .revadded::after {
  976. content: var(--revadded-after);
  977. }
  978. .revchanged {
  979. background-color: var(--revchanged-background-color);
  980. color: var(--revchanged-color);
  981. }
  982. .revchanged::before {
  983. content: var(--revchanged-before);
  984. }
  985. .revchanged::after {
  986. content: var(--revchanged-after);
  987. }
  988. .revdeleted {
  989. background-color: var(--revdeleted-background-color);
  990. color: var(--revdeleted-color);
  991. }
  992. .revdeleted::before {
  993. content: var(--revdeleted-before);
  994. }
  995. .revdeleted::after {
  996. content: var(--revdeleted-after);
  997. }
  998. .revoff .revadded,
  999. .revoff .revchanged,
  1000. .revoff .revdeleted {
  1001. background-color: inherit;
  1002. }
  1003. .revoff .revadded::before,
  1004. .revoff .revchanged::before,
  1005. .revoff .revdeleted::before,
  1006. .revoff .revadded::after,
  1007. .revoff .revchanged::after,
  1008. .revoff .revdeleted::after {
  1009. content: "";
  1010. }
  1011. /* ============================================================ */
  1012. ul[db-mark='disc'],
  1013. li[db-mark='disc'],
  1014. ul[db-mark='bullet'],
  1015. li[db-mark='bullet'] {
  1016. list-style-type: disc;
  1017. }
  1018. ul[db-mark='round'],
  1019. li[db-mark='round'] {
  1020. list-style-type: circle;
  1021. }
  1022. ul[db-mark='box'],
  1023. li[db-mark='box'] {
  1024. list-style-type: square;
  1025. }
  1026. /* ============================================================ */
  1027. .simplelistvert,
  1028. .simplelisthoriz {
  1029. display: table;
  1030. }
  1031. .simplelist .row {
  1032. display: table-row;
  1033. }
  1034. .simplelist .row span {
  1035. display: table-cell;
  1036. }
  1037. /* ============================================================ */
  1038. .glossdiv {
  1039. margin-top: 1em;
  1040. }
  1041. /* ============================================================ */
  1042. .sidebar {
  1043. background-color: var(--sidebar-color);
  1044. color: var(--on-sidebar-color);
  1045. padding-left: 1em;
  1046. padding-right: 1em;
  1047. padding-bottom: 1em;
  1048. padding-top: 1em;
  1049. border-radius: 0.5em;
  1050. }
  1051. .sidebar .title {
  1052. background-color: var(--sidebar-color);
  1053. color: var(--on-sidebar-color);
  1054. }
  1055. /* ============================================================ */
  1056. .msgexplan {
  1057. margin-left: 2rem;
  1058. }
  1059. /* ============================================================ */
  1060. .foreignphrase {
  1061. font-style: italic;
  1062. }
  1063. .bold {
  1064. font-weight: bold;
  1065. }
  1066. .strikethrough {
  1067. text-decoration: line-through;
  1068. }
  1069. .underline {
  1070. text-decoration: underline;
  1071. }
  1072. em {
  1073. font-style: italic;
  1074. }
  1075. em em {
  1076. font-style: normal;
  1077. }
  1078. em em em {
  1079. font-style: italic;
  1080. }
  1081. em em em em {
  1082. font-style: normal;
  1083. }
  1084. em em em em em {
  1085. font-style: italic;
  1086. }
  1087. em em me em em em {
  1088. font-style: normal;
  1089. }
  1090. /* ============================================================ */
  1091. /* Inline annotations */
  1092. .annotations {
  1093. border-top: var(--annotation-separator-border-style);
  1094. padding-top: 1em;
  1095. margin-top: 6em;
  1096. }
  1097. a.annomark,
  1098. a.annomark:visited {
  1099. text-decoration: none;
  1100. color: inherit;
  1101. }
  1102. .annotation-wrapper {
  1103. margin-bottom: 1em;
  1104. }
  1105. .annotation-body {
  1106. border: var(--annotation-body-border-style);
  1107. border-bottom-left-radius: 0.25em;
  1108. border-bottom-right-radius: 0.25em;;
  1109. }
  1110. .annotation-header {
  1111. height: 2em;
  1112. background-color: var(--annotation-header-background-color);
  1113. color: var(--annotation-header-color);
  1114. padding-left: 1em;
  1115. padding-right: 0.5em;
  1116. border-bottom: var(--annotation-header-separator-border-style);
  1117. }
  1118. .annotation-header .annotation-close {
  1119. float: right;
  1120. }
  1121. .annotation-content {
  1122. padding-left: 1em;
  1123. padding-right: 1em;
  1124. padding-top: 0.5em;
  1125. padding-bottom: 0.5em;
  1126. }
  1127. /* ============================================================ */
  1128. /* XLink extended links. The ".js" classes only apply if
  1129. JavaScript XLink processing is available and enabled.
  1130. */
  1131. .xlink .source {
  1132. border-bottom: 1px dotted black;
  1133. cursor: pointer;
  1134. }
  1135. .xlink-arc-list {
  1136. display: inline;
  1137. font-style: normal;
  1138. cursor: pointer;
  1139. font-size: 70%;
  1140. }
  1141. .xlink-arc-list.js::before {
  1142. content: " "; /* thin space */
  1143. }
  1144. .nhrefs.js .xlink-arc-delim {
  1145. display: none;
  1146. }
  1147. .nhrefs.js {
  1148. font-style: normal;
  1149. display: none;
  1150. margin-left: 4px;
  1151. margin-right: 0;
  1152. padding-bottom: 1em;
  1153. border: 2px solid var(--primary-variant-color);
  1154. border-radius: 4px;
  1155. z-index: 2;
  1156. background-color: var(--primary-color);
  1157. color: var(--on-primary-color);
  1158. }
  1159. .nhrefs.js .arc {
  1160. display: list-item;
  1161. margin-left: 1.5em;
  1162. padding-right: 1em;
  1163. }
  1164. .nhrefs.js .xlink-arc-title {
  1165. display: block;
  1166. background-color: var(--primary-variant-color);
  1167. color: var(--on-primary-variant-color);
  1168. margin-left: 0;
  1169. margin-bottom: 0.5em;
  1170. text-align: center;
  1171. }