styles.html 5.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295
  1. $if(document-css)$
  2. html {
  3. $if(mainfont)$
  4. font-family: $mainfont$;
  5. $endif$
  6. $if(fontsize)$
  7. font-size: $fontsize$;
  8. $endif$
  9. $if(linestretch)$
  10. line-height: $linestretch$;
  11. $endif$
  12. color: $if(fontcolor)$$fontcolor$$else$#1a1a1a$endif$;
  13. background-color: $if(backgroundcolor)$$backgroundcolor$$else$#ffffff$endif$;
  14. }
  15. body {
  16. line-height: 1.2;
  17. margin: 0 auto;
  18. max-width: $if(maxwidth)$$maxwidth$$else$50em$endif$;
  19. padding-left: $if(margin-left)$$margin-left$$else$50px$endif$;
  20. padding-right: $if(margin-right)$$margin-right$$else$50px$endif$;
  21. padding-top: $if(margin-top)$$margin-top$$else$50px$endif$;
  22. padding-bottom: $if(margin-bottom)$$margin-bottom$$else$50px$endif$;
  23. hyphens: auto;
  24. overflow-wrap: break-word;
  25. text-rendering: optimizeLegibility;
  26. font-kerning: normal;
  27. }
  28. @media (max-width: 600px) {
  29. body {
  30. font-size: 0.9em;
  31. padding: 12px;
  32. }
  33. h1 {
  34. font-size: 1.8em;
  35. }
  36. }
  37. @media print {
  38. html {
  39. background-color: $if(backgroundcolor)$$backgroundcolor$$else$white$endif$;
  40. }
  41. body {
  42. background-color: transparent;
  43. color: black;
  44. font-size: 12pt;
  45. }
  46. p, h2, h3 {
  47. orphans: 3;
  48. widows: 3;
  49. }
  50. h2, h3, h4 {
  51. page-break-after: avoid;
  52. }
  53. }
  54. p {
  55. margin: 1em 0;
  56. }
  57. a {
  58. color: $if(linkcolor)$$linkcolor$$else$#800000$endif$;
  59. }
  60. a:visited {
  61. color: $if(linkcolor)$$linkcolor$$else$#800000$endif$;
  62. }
  63. a:not(:hover) {
  64. text-decoration: none;
  65. }
  66. figure {
  67. margin-left: 0;
  68. margin-right: 0;
  69. text-align: center;
  70. }
  71. img {
  72. max-width: 100%;
  73. }
  74. img.btn {
  75. height: 0.9em;
  76. }
  77. img.win {
  78. max-width: 80%;
  79. }
  80. img.pop {
  81. max-width: 60%;
  82. }
  83. img[src*="gui_set_printing_scale.png"] {
  84. max-width: 50%;
  85. }
  86. img.lin {
  87. max-height: 10em;
  88. }
  89. img[src*="code128_rotate90.svg"] {
  90. max-height: 20em;
  91. }
  92. img.i2d {
  93. max-height: 10em;
  94. }
  95. img[src*="upnqr.svg"] {
  96. max-height: 20em;
  97. }
  98. img.i2dbig {
  99. }
  100. img.trk {
  101. max-height: 3em;
  102. }
  103. img[src*="fim.svg"] {
  104. max-height: 10em;
  105. }
  106. img.dotty {
  107. max-height: 7em;
  108. }
  109. img.ultra {
  110. max-height: 12em;
  111. }
  112. img.upcean {
  113. max-height: 12em;
  114. }
  115. h1, h2, h3, h4, h5, h6 {
  116. margin-top: 1.4em;
  117. }
  118. h5, h6 {
  119. font-size: 1em;
  120. font-style: italic;
  121. }
  122. h6 {
  123. font-weight: normal;
  124. }
  125. ol, ul {
  126. padding-left: 1.7em;
  127. margin-top: 1em;
  128. }
  129. li > ol, li > ul {
  130. margin-top: 0;
  131. }
  132. dt {
  133. font-weight:bold;
  134. }
  135. blockquote {
  136. margin: 1em 0 1em 1.7em;
  137. padding-left: 1em;
  138. border-left: 2px solid #e6e6e6;
  139. color: #606060;
  140. }
  141. $if(abstract)$
  142. div.abstract {
  143. margin: 2em 2em 2em 2em;
  144. text-align: left;
  145. font-size: 85%;
  146. }
  147. div.abstract-title {
  148. font-weight: bold;
  149. text-align: center;
  150. padding: 0;
  151. margin-bottom: 0.5em;
  152. }
  153. $endif$
  154. code {
  155. font-family: $if(monofont)$$monofont$$else$Menlo, Monaco, Consolas, 'Lucida Console', monospace$endif$;
  156. $if(monobackgroundcolor)$
  157. background-color: $monobackgroundcolor$;
  158. padding: .2em .4em;
  159. $endif$
  160. font-size: 90%;
  161. margin: 0;
  162. hyphens: manual;
  163. color: #000000;
  164. }
  165. pre {
  166. margin: 1em 0;
  167. $if(monobackgroundcolor)$
  168. background-color: $monobackgroundcolor$;
  169. padding: 1em;
  170. $endif$
  171. overflow: auto;
  172. }
  173. pre code {
  174. padding: 0;
  175. overflow: visible;
  176. overflow-wrap: normal;
  177. }
  178. .sourceCode {
  179. background-color: transparent;
  180. overflow: visible;
  181. }
  182. div.sourceCode {
  183. background-color: #f7f7f7;
  184. padding: 0.3em 0;
  185. }
  186. aside.footnotes {
  187. font-size:90%;
  188. }
  189. hr {
  190. background-color: #1a1a1a;
  191. border: none;
  192. height: 1px;
  193. margin: 1em 0;
  194. }
  195. table {
  196. margin: 0 auto 0.4em auto;
  197. border-collapse: collapse;
  198. overflow-x: auto;
  199. font-variant-numeric: lining-nums tabular-nums;
  200. }
  201. #tbl\:gridmatrix_eccs {
  202. margin-top: 1em;
  203. }
  204. table caption {
  205. margin-bottom: 0.75em;
  206. }
  207. tbody {
  208. margin-top: 0.5em;
  209. border-top: 1px solid $if(fontcolor)$$fontcolor$$else$#1a1a1a$endif$;
  210. border-bottom: 1px solid $if(fontcolor)$$fontcolor$$else$#1a1a1a$endif$;
  211. }
  212. th {
  213. border-top: 1px solid $if(fontcolor)$$fontcolor$$else$#1a1a1a$endif$;
  214. padding: 0.25em 0.5em 0.25em 0.5em;
  215. }
  216. td {
  217. padding: 0.125em 0.5em 0.25em 0.5em;
  218. vertical-align: top;
  219. }
  220. tbody tr:first-child td {
  221. padding-top: 0.5em;
  222. }
  223. thead > tr {
  224. margin-bottom: 4em;
  225. text-align: center;
  226. }
  227. #banner {
  228. text-align: center;
  229. }
  230. #banner img.img_hdr {
  231. height: 7em;
  232. }
  233. #TOC {
  234. font-size: 115%;
  235. }
  236. #TOC li {
  237. list-style: none;
  238. margin-bottom: 0.1em;
  239. margin-top: 0.2em;
  240. }
  241. #TOC ul {
  242. padding-left: 1.3em;
  243. }
  244. #TOC > ul {
  245. padding-left: 0;
  246. }
  247. #TOC > ul > li {
  248. margin-top: 0.5em;
  249. }
  250. #TOC > ul > li > a {
  251. font-weight: bold;
  252. }
  253. #TOC a:not(:hover) {
  254. color: #1a1a1a;
  255. text-decoration: none;
  256. }
  257. dd > p {
  258. margin-bottom:1.5em;
  259. margin-top:0.5em;
  260. }
  261. #exit-status + dl > dt {
  262. float: left;
  263. }
  264. #exit-status + dl > dd {
  265. margin-bottom: 1em;
  266. }
  267. $endif$
  268. code{white-space: pre-wrap;}
  269. span.smallcaps{font-variant: small-caps;}
  270. div.columns{display: flex; gap: min(4vw, 1.5em);}
  271. div.column{flex: auto; overflow-x: auto;}
  272. div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
  273. /* The extra [class] is a hack that increases specificity enough to
  274. override a similar rule in reveal.js */
  275. ul.task-list[class]{list-style: none;}
  276. ul.task-list li input[type="checkbox"] {
  277. font-size: inherit;
  278. width: 0.8em;
  279. margin: 0 0.8em 0.2em -1.6em;
  280. vertical-align: middle;
  281. }
  282. $if(quotes)$
  283. q { quotes: "“" "”" "‘" "’"; }
  284. $endif$
  285. $if(displaymath-css)$
  286. .display.math{display: block; text-align: center; margin: 0.5rem auto;}
  287. $endif$
  288. $if(highlighting-css)$
  289. /* CSS for syntax highlighting */
  290. $highlighting-css$
  291. $endif$
  292. $if(csl-css)$
  293. $styles.citations.html()$
  294. $endif$