index.html 20 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871
  1. <?xml version="1.0" encoding="utf-8" ?>
  2. <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN"
  3. "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
  4. <!-- This file is generated by Nim. -->
  5. <html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en" lang="en">
  6. <head>
  7. <meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
  8. <meta name="viewport" content="width=device-width, initial-scale=1.0">
  9. <!-- Favicon -->
  10. <link rel="shortcut icon" href="data:image/x-icon;base64,AAABAAEAEBAAAAEAIABoBAAAFgAAACgAAAAQAAAAIAAAAAEAIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AAAAAAUAAAAF////AP///wD///8A////AP///wD///8A////AP///wD///8A////AAAAAAIAAABbAAAAlQAAAKIAAACbAAAAmwAAAKIAAACVAAAAWwAAAAL///8A////AP///wD///8A////AAAAABQAAADAAAAAYwAAAA3///8A////AP///wD///8AAAAADQAAAGMAAADAAAAAFP///wD///8A////AP///wAAAACdAAAAOv///wD///8A////AP///wD///8A////AP///wD///8AAAAAOgAAAJ3///8A////AP///wAAAAAnAAAAcP///wAAAAAoAAAASv///wD///8A////AP///wAAAABKAAAAKP///wAAAABwAAAAJ////wD///8AAAAAgQAAABwAAACIAAAAkAAAAJMAAACtAAAAFQAAABUAAACtAAAAkwAAAJAAAACIAAAAHAAAAIH///8A////AAAAAKQAAACrAAAAaP///wD///8AAAAARQAAANIAAADSAAAARf///wD///8AAAAAaAAAAKsAAACk////AAAAADMAAACcAAAAnQAAABj///8A////AP///wAAAAAYAAAAGP///wD///8A////AAAAABgAAACdAAAAnAAAADMAAAB1AAAAwwAAAP8AAADpAAAAsQAAAE4AAAAb////AP///wAAAAAbAAAATgAAALEAAADpAAAA/wAAAMMAAAB1AAAAtwAAAOkAAAD/AAAA/wAAAP8AAADvAAAA3gAAAN4AAADeAAAA3gAAAO8AAAD/AAAA/wAAAP8AAADpAAAAtwAAAGUAAAA/AAAA3wAAAP8AAAD/AAAA/wAAAP8AAAD/AAAA/wAAAP8AAAD/AAAA/wAAAP8AAADfAAAAPwAAAGX///8A////AAAAAEgAAADtAAAAvwAAAL0AAADGAAAA7wAAAO8AAADGAAAAvQAAAL8AAADtAAAASP///wD///8A////AP///wD///8AAAAAO////wD///8A////AAAAAIcAAACH////AP///wD///8AAAAAO////wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A//8AAP//AAD4HwAA7/cAAN/7AAD//wAAoYUAAJ55AACf+QAAh+EAAAAAAADAAwAA4AcAAP5/AAD//wAA//8AAA=="/>
  11. <link rel="icon" type="image/png" sizes="32x32" href="data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAACAAAAAgCAYAAABzenr0AAAABmJLR0QA/wD/AP+gvaeTAAAACXBIWXMAAA3XAAAN1wFCKJt4AAAAB3RJTUUH4QQQEwksSS9ZWwAAAk1JREFUWMPtll2ITVEUx39nn/O7Y5qR8f05wtCUUr6ZIS++8pEnkZInPImneaCQ5METNdOkeFBKUhMPRIkHKfEuUZSUlGlKPN2TrgfncpvmnntnmlEyq1Z7t89/rf9a6+y99oZxGZf/XeIq61EdtgKXgdXA0xrYAvBjOIF1AI9zvjcC74BSpndrJPkBWDScTF8Aa4E3wDlgHbASaANmVqlcCnwHvgDvgVfAJ+AikAAvgfVZwLnSVZHZaOuKoQi3ZOMi4NkYkpe1p4J7A8BpYAD49hfIy/oqG0+hLomiKP2L5L+1ubn5115S+3OAn4EnwBlgMzCjyt6ZAnQCJ4A7wOs88iRJHvw50HoujuPBoCKwHWiosy8MdfZnAdcHk8dxXFJ3VQbQlCTJvRBCGdRbD4M6uc5glpY3eAihpN5S5w12diSEcCCEcKUO4ljdr15T76ur1FDDLIQQ3qv71EdDOe3Kxj3leRXyk+pxdWnFWod6Wt2bY3de3aSuUHcPBVimHs7mK9WrmeOF6lR1o9qnzskh2ar2qm1qizpfXaPeVGdlmGN5pb09qMxz1Xb1kLqgzn1RyH7JUXW52lr5e/Kqi9qpto7V1atuUzfnARrV7jEib1T76gG2qxdGmXyiekkt1GswPTtek0aBfJp6YySGBfWg2tPQ0FAYgf1stUfdmdcjarbYJEniKIq6gY/Aw+zWHAC+p2labGpqiorFYgGYCEzN7oQdQClN07O1/EfDyGgC0ALMBdYAi4FyK+4H3gLPsxfR1zRNi+NP7nH5J+QntnXe5B5mpfQAAAAASUVORK5CYII=">
  12. <!-- Google fonts -->
  13. <link href='https://fonts.googleapis.com/css?family=Lato:400,600,900' rel='stylesheet' type='text/css'/>
  14. <link href='https://fonts.googleapis.com/css?family=Source+Code+Pro:400,500,600' rel='stylesheet' type='text/css'/>
  15. <!-- CSS -->
  16. <title>foo</title>
  17. <style type="text/css" >
  18. /*
  19. Stylesheet for use with Docutils/rst2html.
  20. See http://docutils.sf.net/docs/howto/html-stylesheets.html for how to
  21. customize this style sheet.
  22. Modified from Chad Skeeters' rst2html-style
  23. https://bitbucket.org/cskeeters/rst2html-style/
  24. Modified by Boyd Greenfield and narimiran
  25. */
  26. html {
  27. font-size: 100%;
  28. -webkit-text-size-adjust: 100%;
  29. -ms-text-size-adjust: 100%; }
  30. body {
  31. font-family: "Lato", "Helvetica Neue", "HelveticaNeue", Helvetica, Arial, sans-serif;
  32. font-weight: 400;
  33. font-size: 1.125em;
  34. line-height: 1.5;
  35. color: #222;
  36. background-color: #FCFCFC; }
  37. /* Skeleton grid */
  38. .container {
  39. position: relative;
  40. width: 100%;
  41. max-width: 1050px;
  42. margin: 0 auto;
  43. padding: 0;
  44. box-sizing: border-box; }
  45. .column,
  46. .columns {
  47. width: 100%;
  48. float: left;
  49. box-sizing: border-box;
  50. margin-left: 1%;
  51. }
  52. .column:first-child,
  53. .columns:first-child {
  54. margin-left: 0; }
  55. .three.columns {
  56. width: 19%; }
  57. .nine.columns {
  58. width: 80.0%; }
  59. .twelve.columns {
  60. width: 100%;
  61. margin-left: 0; }
  62. @media screen and (max-width: 860px) {
  63. .three.columns {
  64. display: none;
  65. }
  66. .nine.columns {
  67. width: 98.0%;
  68. }
  69. body {
  70. font-size: 1em;
  71. line-height: 1.35;
  72. }
  73. }
  74. cite {
  75. font-style: italic !important; }
  76. /* Nim search input */
  77. div#searchInputDiv {
  78. margin-bottom: 1em;
  79. }
  80. input#searchInput {
  81. width: 80%;
  82. }
  83. /*
  84. * Some custom formatting for input forms.
  85. * This also fixes input form colors on Firefox with a dark system theme on Linux.
  86. */
  87. input {
  88. -moz-appearance: none;
  89. color: #333;
  90. background-color: #f8f8f8;
  91. border: 1px solid #aaa;
  92. font-family: "Lato", "Helvetica Neue", "HelveticaNeue", Helvetica, Arial, sans-serif;
  93. font-size: 0.9em;
  94. padding: 6px;
  95. }
  96. input:focus {
  97. border: 1px solid #1fa0eb;
  98. box-shadow: 0 0 2px #1fa0eb;
  99. }
  100. /* Docgen styles */
  101. /* Links */
  102. a {
  103. color: #07b;
  104. text-decoration: none;
  105. }
  106. a span.Identifier {
  107. text-decoration: underline;
  108. text-decoration-color: #aab;
  109. }
  110. a.reference-toplevel {
  111. font-weight: bold;
  112. }
  113. a.toc-backref {
  114. text-decoration: none;
  115. color: #222; }
  116. a.link-seesrc {
  117. color: #607c9f;
  118. font-size: 0.9em;
  119. font-style: italic; }
  120. a:hover,
  121. a:focus {
  122. color: #607c9f;
  123. text-decoration: underline; }
  124. a:hover span.Identifier {
  125. color: #607c9f;
  126. }
  127. sub,
  128. sup {
  129. position: relative;
  130. font-size: 75%;
  131. line-height: 0;
  132. vertical-align: baseline; }
  133. sup {
  134. top: -0.5em; }
  135. sub {
  136. bottom: -0.25em; }
  137. img {
  138. width: auto;
  139. height: auto;
  140. max-width: 100%;
  141. vertical-align: middle;
  142. border: 0;
  143. -ms-interpolation-mode: bicubic; }
  144. @media print {
  145. * {
  146. color: black !important;
  147. text-shadow: none !important;
  148. background: transparent !important;
  149. box-shadow: none !important; }
  150. a,
  151. a:visited {
  152. text-decoration: underline; }
  153. a[href]:after {
  154. content: " (" attr(href) ")"; }
  155. abbr[title]:after {
  156. content: " (" attr(title) ")"; }
  157. .ir a:after,
  158. a[href^="javascript:"]:after,
  159. a[href^="#"]:after {
  160. content: ""; }
  161. pre,
  162. blockquote {
  163. border: 1px solid #999;
  164. page-break-inside: avoid; }
  165. thead {
  166. display: table-header-group; }
  167. tr,
  168. img {
  169. page-break-inside: avoid; }
  170. img {
  171. max-width: 100% !important; }
  172. @page {
  173. margin: 0.5cm; }
  174. h1 {
  175. page-break-before: always; }
  176. h1.title {
  177. page-break-before: avoid; }
  178. p,
  179. h2,
  180. h3 {
  181. orphans: 3;
  182. widows: 3; }
  183. h2,
  184. h3 {
  185. page-break-after: avoid; }
  186. }
  187. p {
  188. margin-top: 0.5em;
  189. margin-bottom: 0.5em;
  190. }
  191. small {
  192. font-size: 85%; }
  193. strong {
  194. font-weight: 600;
  195. font-size: 0.95em;
  196. color: #3c3c3c;
  197. }
  198. em {
  199. font-style: italic; }
  200. h1 {
  201. font-size: 1.8em;
  202. font-weight: 400;
  203. padding-bottom: .25em;
  204. border-bottom: 1px solid #aaa;
  205. margin-top: 2.5em;
  206. margin-bottom: 1em;
  207. line-height: 1.2em; }
  208. h1.title {
  209. padding-bottom: 1em;
  210. border-bottom: 0px;
  211. font-size: 2.5em;
  212. text-align: center;
  213. font-weight: 900;
  214. margin-top: 0.75em;
  215. margin-bottom: 0em;
  216. }
  217. h2 {
  218. font-size: 1.3em;
  219. margin-top: 2em; }
  220. h2.subtitle {
  221. text-align: center; }
  222. h3 {
  223. font-size: 1.125em;
  224. font-style: italic;
  225. margin-top: 1.5em; }
  226. h4 {
  227. font-size: 1.125em;
  228. margin-top: 1em; }
  229. h5 {
  230. font-size: 1.125em;
  231. margin-top: 0.75em; }
  232. h6 {
  233. font-size: 1.1em; }
  234. ul,
  235. ol {
  236. padding: 0;
  237. margin-top: 0.5em;
  238. margin-left: 0.75em; }
  239. ul ul,
  240. ul ol,
  241. ol ol,
  242. ol ul {
  243. margin-bottom: 0;
  244. margin-left: 1.25em; }
  245. li {
  246. list-style-type: circle;
  247. }
  248. ul.simple-boot li {
  249. list-style-type: none;
  250. margin-left: 0em;
  251. margin-bottom: 0.5em;
  252. }
  253. ol.simple > li, ul.simple > li {
  254. margin-bottom: 0.25em;
  255. margin-left: 0.4em }
  256. ul.simple.simple-toc > li {
  257. margin-top: 1em;
  258. }
  259. ul.simple-toc {
  260. list-style: none;
  261. font-size: 0.9em;
  262. margin-left: -0.3em;
  263. margin-top: 1em; }
  264. ul.simple-toc > li {
  265. list-style-type: none;
  266. }
  267. ul.simple-toc-section {
  268. list-style-type: circle;
  269. margin-left: 1em;
  270. color: #6c9aae; }
  271. ol.arabic {
  272. list-style: decimal; }
  273. ol.loweralpha {
  274. list-style: lower-alpha; }
  275. ol.upperalpha {
  276. list-style: upper-alpha; }
  277. ol.lowerroman {
  278. list-style: lower-roman; }
  279. ol.upperroman {
  280. list-style: upper-roman; }
  281. ul.auto-toc {
  282. list-style-type: none; }
  283. dl {
  284. margin-bottom: 1.5em; }
  285. dt {
  286. margin-bottom: -0.5em;
  287. margin-left: 0.0em; }
  288. dd {
  289. margin-left: 2.0em;
  290. margin-bottom: 3.0em;
  291. margin-top: 0.5em; }
  292. hr {
  293. margin: 2em 0;
  294. border: 0;
  295. border-top: 1px solid #aaa; }
  296. blockquote {
  297. font-size: 0.9em;
  298. font-style: italic;
  299. padding-left: 0.5em;
  300. margin-left: 0;
  301. border-left: 5px solid #bbc;
  302. }
  303. .pre {
  304. font-family: "Source Code Pro", Monaco, Menlo, Consolas, "Courier New", monospace;
  305. font-weight: 500;
  306. font-size: 0.85em;
  307. background-color: #f0f3ff;
  308. padding-left: 3px;
  309. padding-right: 3px;
  310. border-radius: 4px;
  311. }
  312. pre {
  313. font-family: "Source Code Pro", Monaco, Menlo, Consolas, "Courier New", monospace;
  314. color: #222;
  315. font-weight: 500;
  316. display: inline-block;
  317. box-sizing: border-box;
  318. min-width: 100%;
  319. padding: 0.5em;
  320. margin-top: 0.5em;
  321. margin-bottom: 0.5em;
  322. font-size: 0.85em;
  323. white-space: pre !important;
  324. overflow-y: hidden;
  325. overflow-x: visible;
  326. background-color: ghostwhite;
  327. border: 1px solid #dde;
  328. -webkit-border-radius: 6px;
  329. -moz-border-radius: 6px;
  330. border-radius: 6px; }
  331. .pre-scrollable {
  332. max-height: 340px;
  333. overflow-y: scroll; }
  334. /* Nim line-numbered tables */
  335. .line-nums-table {
  336. width: 100%;
  337. table-layout: fixed; }
  338. table.line-nums-table {
  339. border-radius: 4px;
  340. border: 1px solid #cccccc;
  341. background-color: ghostwhite;
  342. border-collapse: separate;
  343. margin-top: 15px;
  344. margin-bottom: 25px; }
  345. .line-nums-table tbody {
  346. border: none; }
  347. .line-nums-table td pre {
  348. border: none;
  349. background-color: transparent; }
  350. .line-nums-table td.blob-line-nums {
  351. width: 28px; }
  352. .line-nums-table td.blob-line-nums pre {
  353. color: #b0b0b0;
  354. -webkit-filter: opacity(75%);
  355. text-align: right;
  356. border-color: transparent;
  357. background-color: transparent;
  358. padding-left: 0px;
  359. margin-left: 0px;
  360. padding-right: 0px;
  361. margin-right: 0px; }
  362. table {
  363. max-width: 100%;
  364. background-color: transparent;
  365. margin-top: 0.5em;
  366. margin-bottom: 1.5em;
  367. border-collapse: collapse;
  368. border-color: #ccc;
  369. border-spacing: 0;
  370. font-size: 0.9em;
  371. }
  372. table th, table td {
  373. padding: 0px 0.5em 0px;
  374. }
  375. table th {
  376. background-color: #e8e8e8;
  377. font-weight: bold; }
  378. table th.docinfo-name {
  379. background-color: transparent;
  380. }
  381. table tr:hover {
  382. background-color: ghostwhite; }
  383. /* rst2html default used to remove borders from tables and images */
  384. .borderless, table.borderless td, table.borderless th {
  385. border: 0; }
  386. table.borderless td, table.borderless th {
  387. /* Override padding for "table.docutils td" with "! important".
  388. The right padding separates the table cells. */
  389. padding: 0 0.5em 0 0 !important; }
  390. .first {
  391. /* Override more specific margin styles with "! important". */
  392. margin-top: 0 !important; }
  393. .last, .with-subtitle {
  394. margin-bottom: 0 !important; }
  395. .hidden {
  396. display: none; }
  397. blockquote.epigraph {
  398. margin: 2em 5em; }
  399. dl.docutils dd {
  400. margin-bottom: 0.5em; }
  401. object[type="image/svg+xml"], object[type="application/x-shockwave-flash"] {
  402. overflow: hidden; }
  403. div.figure {
  404. margin-left: 2em;
  405. margin-right: 2em; }
  406. div.footer, div.header {
  407. clear: both;
  408. text-align: center;
  409. color: #666;
  410. font-size: smaller; }
  411. div.footer {
  412. padding-top: 5em;
  413. }
  414. div.line-block {
  415. display: block;
  416. margin-top: 1em;
  417. margin-bottom: 1em; }
  418. div.line-block div.line-block {
  419. margin-top: 0;
  420. margin-bottom: 0;
  421. margin-left: 1.5em; }
  422. div.topic {
  423. margin: 2em; }
  424. div.search_results {
  425. background-color: antiquewhite;
  426. margin: 3em;
  427. padding: 1em;
  428. border: 1px solid #4d4d4d;
  429. }
  430. div#global-links ul {
  431. margin-left: 0;
  432. list-style-type: none;
  433. }
  434. div#global-links > simple-boot {
  435. margin-left: 3em;
  436. }
  437. hr.docutils {
  438. width: 75%; }
  439. img.align-left, .figure.align-left, object.align-left {
  440. clear: left;
  441. float: left;
  442. margin-right: 1em; }
  443. img.align-right, .figure.align-right, object.align-right {
  444. clear: right;
  445. float: right;
  446. margin-left: 1em; }
  447. img.align-center, .figure.align-center, object.align-center {
  448. display: block;
  449. margin-left: auto;
  450. margin-right: auto; }
  451. .align-left {
  452. text-align: left; }
  453. .align-center {
  454. clear: both;
  455. text-align: center; }
  456. .align-right {
  457. text-align: right; }
  458. /* reset inner alignment in figures */
  459. div.align-right {
  460. text-align: inherit; }
  461. p.attribution {
  462. text-align: right;
  463. margin-left: 50%; }
  464. p.caption {
  465. font-style: italic; }
  466. p.credits {
  467. font-style: italic;
  468. font-size: smaller; }
  469. p.label {
  470. white-space: nowrap; }
  471. p.rubric {
  472. font-weight: bold;
  473. font-size: larger;
  474. color: maroon;
  475. text-align: center; }
  476. p.topic-title {
  477. font-weight: bold; }
  478. pre.address {
  479. margin-bottom: 0;
  480. margin-top: 0;
  481. font: inherit; }
  482. pre.literal-block, pre.doctest-block, pre.math, pre.code {
  483. margin-left: 2em;
  484. margin-right: 2em; }
  485. pre.code .ln {
  486. color: grey; }
  487. /* line numbers */
  488. pre.code, code {
  489. background-color: #eeeeee; }
  490. pre.code .comment, code .comment {
  491. color: #5c6576; }
  492. pre.code .keyword, code .keyword {
  493. color: #3B0D06;
  494. font-weight: bold; }
  495. pre.code .literal.string, code .literal.string {
  496. color: #0c5404; }
  497. pre.code .name.builtin, code .name.builtin {
  498. color: #352b84; }
  499. pre.code .deleted, code .deleted {
  500. background-color: #DEB0A1; }
  501. pre.code .inserted, code .inserted {
  502. background-color: #A3D289; }
  503. span.classifier {
  504. font-style: oblique; }
  505. span.classifier-delimiter {
  506. font-weight: bold; }
  507. span.option {
  508. white-space: nowrap; }
  509. span.problematic {
  510. color: #b30000; }
  511. span.section-subtitle {
  512. /* font-size relative to parent (h1..h6 element) */
  513. font-size: 80%; }
  514. span.DecNumber {
  515. color: #252dbe; }
  516. span.BinNumber {
  517. color: #252dbe; }
  518. span.HexNumber {
  519. color: #252dbe; }
  520. span.OctNumber {
  521. color: #252dbe; }
  522. span.FloatNumber {
  523. color: #252dbe; }
  524. span.Identifier {
  525. color: #222; }
  526. span.Keyword {
  527. font-weight: 600;
  528. color: #5e8f60; }
  529. span.StringLit {
  530. color: #a4255b; }
  531. span.LongStringLit {
  532. color: #a4255b; }
  533. span.CharLit {
  534. color: #a4255b; }
  535. span.EscapeSequence {
  536. color: black; }
  537. span.Operator {
  538. color: black; }
  539. span.Punctuation {
  540. color: black; }
  541. span.Comment, span.LongComment {
  542. font-style: italic;
  543. font-weight: 400;
  544. color: #484a86; }
  545. span.RegularExpression {
  546. color: darkviolet; }
  547. span.TagStart {
  548. color: darkviolet; }
  549. span.TagEnd {
  550. color: darkviolet; }
  551. span.Key {
  552. color: #252dbe; }
  553. span.Value {
  554. color: #252dbe; }
  555. span.RawData {
  556. color: #a4255b; }
  557. span.Assembler {
  558. color: #252dbe; }
  559. span.Preprocessor {
  560. color: #252dbe; }
  561. span.Directive {
  562. color: #252dbe; }
  563. span.Command, span.Rule, span.Hyperlink, span.Label, span.Reference,
  564. span.Other {
  565. color: black; }
  566. /* Pop type, const, proc, and iterator defs in nim def blocks */
  567. dt pre > span.Identifier, dt pre > span.Operator {
  568. color: #155da4;
  569. font-weight: 700; }
  570. dt pre > span.Keyword ~ span.Identifier, dt pre > span.Identifier ~ span.Identifier,
  571. dt pre > span.Operator ~ span.Identifier, dt pre > span.Other ~ span.Identifier {
  572. color: inherit;
  573. font-weight: inherit; }
  574. /* Nim sprite for the footer (taken from main page favicon) */
  575. .nim-sprite {
  576. display: inline-block;
  577. height: 16px;
  578. width: 16px;
  579. background-position: 0 0;
  580. background-size: 16px 16px;
  581. -webkit-filter: opacity(50%);
  582. background-repeat: no-repeat;
  583. background-image: url("data:image/x-icon;base64,AAABAAEAEBAAAAEAIABoBAAAFgAAACgAAAAQAAAAIAAAAAEAIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AAAAAAUAAAAF////AP///wD///8A////AP///wD///8A////AP///wD///8A////AAAAAAIAAABbAAAAlQAAAKIAAACbAAAAmwAAAKIAAACVAAAAWwAAAAL///8A////AP///wD///8A////AAAAABQAAADAAAAAYwAAAA3///8A////AP///wD///8AAAAADQAAAGMAAADAAAAAFP///wD///8A////AP///wAAAACdAAAAOv///wD///8A////AP///wD///8A////AP///wD///8AAAAAOgAAAJ3///8A////AP///wAAAAAnAAAAcP///wAAAAAoAAAASv///wD///8A////AP///wAAAABKAAAAKP///wAAAABwAAAAJ////wD///8AAAAAgQAAABwAAACIAAAAkAAAAJMAAACtAAAAFQAAABUAAACtAAAAkwAAAJAAAACIAAAAHAAAAIH///8A////AAAAAKQAAACrAAAAaP///wD///8AAAAARQAAANIAAADSAAAARf///wD///8AAAAAaAAAAKsAAACk////AAAAADMAAACcAAAAnQAAABj///8A////AP///wAAAAAYAAAAGP///wD///8A////AAAAABgAAACdAAAAnAAAADMAAAB1AAAAwwAAAP8AAADpAAAAsQAAAE4AAAAb////AP///wAAAAAbAAAATgAAALEAAADpAAAA/wAAAMMAAAB1AAAAtwAAAOkAAAD/AAAA/wAAAP8AAADvAAAA3gAAAN4AAADeAAAA3gAAAO8AAAD/AAAA/wAAAP8AAADpAAAAtwAAAGUAAAA/AAAA3wAAAP8AAAD/AAAA/wAAAP8AAAD/AAAA/wAAAP8AAAD/AAAA/wAAAP8AAADfAAAAPwAAAGX///8A////AAAAAEgAAADtAAAAvwAAAL0AAADGAAAA7wAAAO8AAADGAAAAvQAAAL8AAADtAAAASP///wD///8A////AP///wD///8AAAAAO////wD///8A////AAAAAIcAAACH////AP///wD///8AAAAAO////wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A////AP///wD///8A//8AAP//AAD4HwAA7/cAAN/7AAD//wAAoYUAAJ55AACf+QAAh+EAAAAAAADAAwAA4AcAAP5/AAD//wAA//8AAA==");
  584. margin-bottom: -5px; }
  585. span.pragmadots {
  586. /* Position: relative frees us up to make the dots
  587. look really nice without fucking up the layout and
  588. causing bulging in the parent container */
  589. position: relative;
  590. /* 1px down looks slightly nicer */
  591. top: 1px;
  592. padding: 2px;
  593. background-color: #e8e8e8;
  594. border-radius: 4px;
  595. margin: 0 2px;
  596. cursor: pointer;
  597. font-size: 0.8em;
  598. }
  599. span.pragmadots:hover {
  600. background-color: #DBDBDB;
  601. }
  602. span.pragmawrap {
  603. display: none;
  604. }
  605. span.attachedType {
  606. display: none;
  607. visibility: hidden;
  608. }
  609. </style>
  610. <script type="text/javascript" src="dochack.js"></script>
  611. <script type="text/javascript">
  612. function main() {
  613. var pragmaDots = document.getElementsByClassName("pragmadots");
  614. for (var i = 0; i < pragmaDots.length; i++) {
  615. pragmaDots[i].onclick = function(event) {
  616. // Hide tease
  617. event.target.parentNode.style.display = "none";
  618. // Show actual
  619. event.target.parentNode.nextElementSibling.style.display = "inline";
  620. }
  621. }
  622. }
  623. </script>
  624. </head>
  625. <body onload="main()">
  626. <div class="document" id="documentId">
  627. <div class="container">
  628. <h1 class="title">foo</h1>
  629. <div class="row">
  630. <div class="three columns">
  631. <div id="global-links">
  632. <ul class="simple">
  633. </ul>
  634. </div>
  635. <div id="searchInputDiv">
  636. Search: <input type="text" id="searchInput"
  637. onkeyup="search()" />
  638. </div>
  639. <div>
  640. Group by:
  641. <select onchange="groupBy(this.value)">
  642. <option value="section">Section</option>
  643. <option value="type">Type</option>
  644. </select>
  645. </div>
  646. <ul class="simple simple-toc" id="toc-list">
  647. <li>
  648. <a class="reference reference-toplevel" href="#12" id="62">Procs</a>
  649. <ul class="simple simple-toc-section">
  650. <li><a class="reference" href="#foo"
  651. title="foo()"><wbr />foo<span class="attachedType"></span></a></li>
  652. </ul>
  653. </li>
  654. </ul>
  655. </div>
  656. <div class="nine columns" id="content">
  657. <div id="tocRoot"></div>
  658. <p class="module-desc"></p>
  659. <div class="section" id="12">
  660. <h1><a class="toc-backref" href="#12">Procs</a></h1>
  661. <dl class="item">
  662. <a id="foo"></a>
  663. <dt><pre><span class="Keyword">proc</span> <a href="#foo"><span class="Identifier">foo</span></a><span class="Other">(</span><span class="Other">)</span> <span><span class="Other">{</span><span class="Other pragmadots">...</span><span class="Other">}</span></span><span class="pragmawrap"><span class="Other">{.</span><span class="pragma"><span class="Identifier">raises</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span><span class="Other">,</span> <span class="Identifier">tags</span><span class="Other">:</span> <span class="Other">[</span><span class="Other">]</span></span><span class="Other">.}</span></span></pre></dt>
  664. <dd>
  665. I do foo
  666. </dd>
  667. </dl></div>
  668. </div>
  669. </div>
  670. <div class="row">
  671. <div class="twelve-columns footer">
  672. <span class="nim-sprite"></span>
  673. <br/>
  674. <small>Made with Nim. Generated: 1970-01-02 03:46:40 UTC</small>
  675. </div>
  676. </div>
  677. </div>
  678. </div>
  679. </body>
  680. </html>