book.css 28 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656657658659660661662663664665666667668669670671672673674675676677678679680681682683684685686687688689690691692693694695696697698699700701702703704705706707708709710711712713714715716717718719720721722723724725726727728729730731732733734735736737738739740741742743744745746747748749750751752753754755756757758759760761762763764765766767768769770771772773774775776777778779780781782783784785786787788789790791792793794795796797798799800801802803804805806807808809810811812813814815816817818819820821822823824825826827828829830831832833834835836837838839840841842843844845846847848849850851852853854855856857858859860861862863864865866867868869870871872873874875876877878879880881882883884885886887888889890891892893894895896897898899900901902903904905906907908909910911912913914915916917918919920921922923924925926927928929930931932933934935936937938939940941942943944945946947948949950951952953954955956957958959960961962963964965966967968969970971972973974975976977978979980981982983984985986987988989990991992993994995996997998999100010011002100310041005100610071008100910101011101210131014101510161017101810191020102110221023102410251026102710281029103010311032103310341035103610371038103910401041104210431044104510461047104810491050105110521053105410551056105710581059106010611062106310641065106610671068106910701071107210731074107510761077107810791080108110821083108410851086108710881089109010911092109310941095109610971098109911001101110211031104110511061107110811091110111111121113111411151116111711181119112011211122112311241125112611271128112911301131113211331134113511361137113811391140114111421143114411451146114711481149115011511152115311541155115611571158115911601161116211631164116511661167116811691170117111721173117411751176117711781179118011811182118311841185118611871188118911901191119211931194119511961197119811991200120112021203120412051206120712081209121012111212121312141215121612171218121912201221122212231224122512261227122812291230123112321233123412351236123712381239124012411242124312441245124612471248124912501251125212531254125512561257125812591260126112621263126412651266126712681269127012711272127312741275127612771278127912801281128212831284128512861287128812891290129112921293129412951296129712981299130013011302130313041305130613071308130913101311131213131314131513161317131813191320132113221323132413251326132713281329133013311332133313341335133613371338133913401341134213431344134513461347134813491350135113521353135413551356135713581359136013611362136313641365136613671368136913701371137213731374137513761377137813791380138113821383138413851386138713881389139013911392139313941395139613971398139914001401140214031404140514061407140814091410141114121413141414151416141714181419142014211422142314241425142614271428142914301431143214331434143514361437143814391440144114421443144414451446144714481449145014511452145314541455
  1. html {
  2. font-family: "Open Sans", sans-serif;
  3. color: #333;
  4. }
  5. body {
  6. margin: 0;
  7. font-size: 1rem;
  8. overflow-x: hidden;
  9. }
  10. code {
  11. font-family: "Source Code Pro", Consolas, "Ubuntu Mono", Menlo, "DejaVu Sans Mono", monospace, monospace;
  12. font-size: 0.875em;
  13. }
  14. .left {
  15. float: left;
  16. }
  17. .right {
  18. float: right;
  19. }
  20. .hidden {
  21. display: none;
  22. }
  23. .play-button.hidden {
  24. display: none;
  25. }
  26. h2,
  27. h3 {
  28. margin-top: 2.5em;
  29. }
  30. h4,
  31. h5 {
  32. margin-top: 2em;
  33. }
  34. .header + .header h3,
  35. .header + .header h4,
  36. .header + .header h5 {
  37. margin-top: 1em;
  38. }
  39. a.header:target h1:before,
  40. a.header:target h2:before,
  41. a.header:target h3:before,
  42. a.header:target h4:before {
  43. display: inline-block;
  44. content: "»";
  45. margin-left: -30px;
  46. width: 30px;
  47. }
  48. table {
  49. margin: 0 auto;
  50. border-collapse: collapse;
  51. }
  52. table td {
  53. padding: 3px 20px;
  54. border: 1px solid;
  55. }
  56. table thead td {
  57. font-weight: 700;
  58. }
  59. :not(.footnote-definition) + .footnote-definition,
  60. .footnote-definition + :not(.footnote-definition) {
  61. margin-top: 2em;
  62. }
  63. .footnote-definition {
  64. font-size: 0.9em;
  65. margin: 0.5em 0;
  66. }
  67. .footnote-definition p {
  68. display: inline;
  69. }
  70. .sidebar {
  71. position: fixed;
  72. left: 0;
  73. top: 0;
  74. bottom: 0;
  75. width: 300px;
  76. overflow-y: auto;
  77. padding: 10px 10px;
  78. font-size: 0.875em;
  79. -webkit-box-sizing: border-box;
  80. -moz-box-sizing: border-box;
  81. box-sizing: border-box;
  82. -webkit-overflow-scrolling: touch;
  83. overscroll-behavior-y: contain;
  84. -webkit-transition: -webkit-transform 0.5s;
  85. -moz-transition: -moz-transform 0.5s;
  86. -o-transition: -o-transform 0.5s;
  87. -ms-transition: -ms-transform 0.5s;
  88. transition: transform 0.5s;
  89. }
  90. .sidebar code {
  91. line-height: 2em;
  92. }
  93. .sidebar-hidden .sidebar {
  94. -webkit-transform: translateX(-300px);
  95. -moz-transform: translateX(-300px);
  96. -o-transform: translateX(-300px);
  97. -ms-transform: translateX(-300px);
  98. transform: translateX(-300px);
  99. }
  100. .chapter {
  101. list-style: none outside none;
  102. padding-left: 0;
  103. line-height: 2.2em;
  104. }
  105. .chapter li a {
  106. display: block;
  107. padding: 0;
  108. text-decoration: none;
  109. }
  110. @media (-moz-touch-enabled: 1), (pointer: coarse) {
  111. .chapter li a {
  112. padding: 5px 0;
  113. }
  114. }
  115. .chapter li a:hover {
  116. text-decoration: none;
  117. }
  118. .chapter .spacer {
  119. width: 100%;
  120. height: 3px;
  121. margin: 5px 0px;
  122. }
  123. @media (-moz-touch-enabled: 1), (pointer: coarse) {
  124. .chapter .spacer {
  125. margin: 10px 0;
  126. }
  127. }
  128. .section {
  129. list-style: none outside none;
  130. padding-left: 20px;
  131. line-height: 1.9em;
  132. }
  133. .section li {
  134. -o-text-overflow: ellipsis;
  135. text-overflow: ellipsis;
  136. overflow: hidden;
  137. white-space: nowrap;
  138. }
  139. .page-wrapper {
  140. left: 0;
  141. position: absolute;
  142. right: 0;
  143. top: 0;
  144. bottom: 0;
  145. -webkit-box-sizing: border-box;
  146. -moz-box-sizing: border-box;
  147. box-sizing: border-box;
  148. -webkit-transition: padding-left 0.5s, margin-left 0.5s, left 0.5s;
  149. -moz-transition: padding-left 0.5s, margin-left 0.5s, left 0.5s;
  150. -o-transition: padding-left 0.5s, margin-left 0.5s, left 0.5s;
  151. -ms-transition: padding-left 0.5s, margin-left 0.5s, left 0.5s;
  152. transition: padding-left 0.5s, margin-left 0.5s, left 0.5s;
  153. }
  154. .sidebar-visible .page-wrapper {
  155. left: 300px;
  156. }
  157. .page {
  158. outline: 0;
  159. padding: 0 15px;
  160. }
  161. .content {
  162. position: relative;
  163. top: 0;
  164. bottom: 0;
  165. overflow-y: auto;
  166. right: 0;
  167. left: 0;
  168. padding: 0 15px;
  169. padding-bottom: 50px;
  170. }
  171. .sidebar-visible .content {
  172. position: absolute;
  173. top: 52px;
  174. }
  175. .content > main {
  176. margin-left: auto;
  177. margin-right: auto;
  178. max-width: 750px;
  179. }
  180. .content a {
  181. text-decoration: none;
  182. }
  183. .content a:hover {
  184. text-decoration: underline;
  185. }
  186. .content img {
  187. max-width: 100%;
  188. }
  189. #menu-bar {
  190. position: -webkit-sticky;
  191. position: sticky;
  192. top: 0;
  193. z-index: 101;
  194. }
  195. #menu-bar > #menu-bar-sticky-container {
  196. display: -webkit-box;
  197. display: -moz-box;
  198. display: -webkit-flex;
  199. display: -ms-flexbox;
  200. display: box;
  201. display: flex;
  202. -webkit-box-lines: multiple;
  203. -moz-box-lines: multiple;
  204. -o-box-lines: multiple;
  205. -webkit-flex-wrap: wrap;
  206. -ms-flex-wrap: wrap;
  207. flex-wrap: wrap;
  208. -webkit-transition: -webkit-transform 0.5s, border-bottom-color 0.5s;
  209. -moz-transition: -moz-transform 0.5s, border-bottom-color 0.5s;
  210. -o-transition: -o-transform 0.5s, border-bottom-color 0.5s;
  211. -ms-transition: -ms-transform 0.5s, border-bottom-color 0.5s;
  212. transition: transform 0.5s, border-bottom-color 0.5s;
  213. }
  214. #menu-bar i,
  215. #menu-bar .icon-button {
  216. position: relative;
  217. margin: 0 10px;
  218. z-index: 10;
  219. line-height: 50px;
  220. -webkit-transition: color 0.5s;
  221. -moz-transition: color 0.5s;
  222. -o-transition: color 0.5s;
  223. -ms-transition: color 0.5s;
  224. transition: color 0.5s;
  225. }
  226. #menu-bar i:hover,
  227. #menu-bar .icon-button:hover {
  228. cursor: pointer;
  229. }
  230. html:not(.sidebar-visible) #menu-bar:not(:hover).folded > #menu-bar-sticky-container {
  231. -webkit-transform: translateY(-60px);
  232. -moz-transform: translateY(-60px);
  233. -o-transform: translateY(-60px);
  234. -ms-transform: translateY(-60px);
  235. transform: translateY(-60px);
  236. }
  237. .menu-title {
  238. display: inline-block;
  239. font-weight: 200;
  240. font-size: 20px;
  241. line-height: 50px;
  242. text-align: center;
  243. margin: 0;
  244. -webkit-box-flex: 1;
  245. -moz-box-flex: 1;
  246. -o-box-flex: 1;
  247. box-flex: 1;
  248. -webkit-flex: 1;
  249. -ms-flex: 1;
  250. flex: 1;
  251. white-space: nowrap;
  252. overflow: hidden;
  253. -o-text-overflow: ellipsis;
  254. text-overflow: ellipsis;
  255. cursor: pointer;
  256. }
  257. .nav-chapters {
  258. font-size: 2.5em;
  259. text-align: center;
  260. text-decoration: none;
  261. position: fixed;
  262. top: 50px /* Height of menu-bar */;
  263. bottom: 0;
  264. margin: 0;
  265. max-width: 150px;
  266. min-width: 90px;
  267. display: -webkit-box;
  268. display: -moz-box;
  269. display: -webkit-flex;
  270. display: -ms-flexbox;
  271. display: box;
  272. display: flex;
  273. -webkit-box-pack: center;
  274. -moz-box-pack: center;
  275. -o-box-pack: center;
  276. -ms-flex-pack: center;
  277. -webkit-justify-content: center;
  278. justify-content: center;
  279. -ms-flex-line-pack: center;
  280. -webkit-align-content: center;
  281. align-content: center;
  282. -webkit-box-orient: vertical;
  283. -moz-box-orient: vertical;
  284. -o-box-orient: vertical;
  285. -webkit-flex-direction: column;
  286. -ms-flex-direction: column;
  287. flex-direction: column;
  288. -webkit-transition: color 0.5s;
  289. -moz-transition: color 0.5s;
  290. -o-transition: color 0.5s;
  291. -ms-transition: color 0.5s;
  292. transition: color 0.5s;
  293. }
  294. .nav-chapters:hover {
  295. text-decoration: none;
  296. }
  297. .nav-wrapper {
  298. margin-top: 50px;
  299. display: none;
  300. }
  301. .mobile-nav-chapters {
  302. font-size: 2.5em;
  303. text-align: center;
  304. text-decoration: none;
  305. width: 90px;
  306. border-radius: 5px;
  307. }
  308. .previous {
  309. float: left;
  310. }
  311. .next {
  312. float: right;
  313. right: 15px;
  314. }
  315. @media only screen and (max-width: 1080px) {
  316. .nav-wide-wrapper {
  317. display: none;
  318. }
  319. .nav-wrapper {
  320. display: block;
  321. }
  322. }
  323. @media only screen and (max-width: 1380px) {
  324. .sidebar-visible .nav-wide-wrapper {
  325. display: none;
  326. }
  327. .sidebar-visible .nav-wrapper {
  328. display: block;
  329. }
  330. }
  331. .theme-popup {
  332. position: absolute;
  333. left: 10px;
  334. z-index: 1000;
  335. border-radius: 4px;
  336. font-size: 0.7em;
  337. }
  338. .theme-popup .theme {
  339. display: inline;
  340. border: 0;
  341. margin: 0;
  342. padding: 2px 10px;
  343. line-height: 25px;
  344. width: 100%;
  345. white-space: nowrap;
  346. text-align: left;
  347. cursor: pointer;
  348. color: inherit;
  349. background: inherit;
  350. font-size: inherit;
  351. }
  352. .theme-popup .theme:hover:first-child,
  353. .theme-popup .theme:hover:last-child {
  354. border-top-left-radius: inherit;
  355. border-top-right-radius: inherit;
  356. }
  357. .light {
  358. color: #333;
  359. background-color: #fff;
  360. /* Inline code */
  361. /* Search */
  362. }
  363. .light .content .header:link,
  364. .light .content .header:visited {
  365. color: #333;
  366. pointer: cursor;
  367. }
  368. .light .content .header:link:hover,
  369. .light .content .header:visited:hover {
  370. text-decoration: none;
  371. }
  372. .light .menu-bar {
  373. margin: auto -15px;
  374. }
  375. .light .menu-bar > #menu-bar-sticky-container {
  376. background-color: #fff;
  377. border-bottom-color: #fff;
  378. border-bottom-width: 1px;
  379. border-bottom-style: solid;
  380. }
  381. .light .menu-bar.bordered > #menu-bar-sticky-container {
  382. border-bottom-color: #f2f2f2;
  383. }
  384. .light .sidebar {
  385. background-color: #fafafa;
  386. color: #364149;
  387. }
  388. .light .sidebar::-webkit-scrollbar {
  389. background: #fafafa;
  390. }
  391. .light .sidebar::-webkit-scrollbar-thumb {
  392. background: #ccc;
  393. }
  394. .light .chapter li {
  395. color: #aaa;
  396. }
  397. .light .chapter li a {
  398. color: #364149;
  399. }
  400. .light .chapter li .active,
  401. .light .chapter li a:hover {
  402. /* Animate color change */
  403. color: #008cff;
  404. }
  405. .light .chapter .spacer {
  406. background-color: #f4f4f4;
  407. }
  408. .light .menu-bar,
  409. .light .menu-bar:visited,
  410. .light .nav-chapters,
  411. .light .nav-chapters:visited,
  412. .light .mobile-nav-chapters,
  413. .light .mobile-nav-chapters:visited,
  414. .light .menu-bar .icon-button,
  415. .light .menu-bar a i {
  416. color: #ccc;
  417. }
  418. .light .menu-bar i:hover,
  419. .light .menu-bar .icon-button:hover,
  420. .light .nav-chapters:hover,
  421. .light .mobile-nav-chapters i:hover {
  422. color: #333;
  423. }
  424. .light .mobile-nav-chapters i:hover {
  425. color: #364149;
  426. }
  427. .light .mobile-nav-chapters {
  428. background-color: #fafafa;
  429. }
  430. .light #searchresults a,
  431. .light .content a:link,
  432. .light a:visited,
  433. .light a > .hljs {
  434. color: #4183c4;
  435. }
  436. .light .theme-popup {
  437. color: #333;
  438. background: #fafafa;
  439. border: 1px solid #ccc;
  440. margin: 0;
  441. padding: 0;
  442. list-style: none;
  443. display: none;
  444. }
  445. .light .theme-popup .theme:hover {
  446. background-color: #e6e6e6;
  447. }
  448. .light .theme-popup .default {
  449. color: #ccc;
  450. }
  451. .light blockquote {
  452. margin: 20px 0;
  453. padding: 0 20px;
  454. color: #333;
  455. background-color: #f2f7f9;
  456. border-top: 0.1em solid #e1edf1;
  457. border-bottom: 0.1em solid #e1edf1;
  458. }
  459. .light table td {
  460. border-color: #f2f2f2;
  461. }
  462. .light table tbody tr:nth-child(2n) {
  463. background: #f7f7f7;
  464. }
  465. .light table thead {
  466. background: #ccc;
  467. }
  468. .light table thead td {
  469. border: none;
  470. }
  471. .light table thead tr {
  472. border: 1px #ccc solid;
  473. }
  474. .light :not(pre) > .hljs {
  475. display: inline-block;
  476. vertical-align: middle;
  477. padding: 0.1em 0.3em;
  478. border-radius: 3px;
  479. color: #6e6b5e;
  480. }
  481. .light a:hover > .hljs {
  482. text-decoration: underline;
  483. }
  484. .light pre {
  485. position: relative;
  486. }
  487. .light pre > .buttons {
  488. position: absolute;
  489. z-index: 100;
  490. right: 5px;
  491. top: 5px;
  492. color: #364149;
  493. cursor: pointer;
  494. }
  495. .light pre > .buttons :hover {
  496. color: #008cff;
  497. }
  498. .light pre > .buttons i {
  499. margin-left: 8px;
  500. }
  501. .light pre > .buttons button {
  502. color: inherit;
  503. background: transparent;
  504. border: none;
  505. cursor: inherit;
  506. }
  507. .light pre > .result {
  508. margin-top: 10px;
  509. }
  510. .light .icon-button {
  511. border: none;
  512. background: none;
  513. padding: 0;
  514. color: inherit;
  515. }
  516. .light .icon-button i {
  517. margin: 0;
  518. }
  519. .light ::-webkit-scrollbar {
  520. background: #fff;
  521. }
  522. .light ::-webkit-scrollbar-thumb {
  523. background: #ccc;
  524. }
  525. .light #searchbar {
  526. border: 1px solid #aaa;
  527. border-radius: 3px;
  528. background-color: #fafafa;
  529. color: #000;
  530. }
  531. .light #searchbar:focus,
  532. .light #searchbar.active {
  533. -webkit-box-shadow: 0 0 3px #aaa;
  534. box-shadow: 0 0 3px #aaa;
  535. }
  536. .light .searchresults-header {
  537. color: #666;
  538. }
  539. .light .searchresults-outer {
  540. border-bottom: 1px dashed #888;
  541. }
  542. .light ul#searchresults li.focus {
  543. background-color: #e4f2fe;
  544. }
  545. .light mark {
  546. background-color: #a2cff5;
  547. }
  548. .coal {
  549. color: #98a3ad;
  550. background-color: #141617;
  551. /* Inline code */
  552. /* Search */
  553. }
  554. .coal .content .header:link,
  555. .coal .content .header:visited {
  556. color: #98a3ad;
  557. pointer: cursor;
  558. }
  559. .coal .content .header:link:hover,
  560. .coal .content .header:visited:hover {
  561. text-decoration: none;
  562. }
  563. .coal .menu-bar {
  564. margin: auto -15px;
  565. }
  566. .coal .menu-bar > #menu-bar-sticky-container {
  567. background-color: #141617;
  568. border-bottom-color: #141617;
  569. border-bottom-width: 1px;
  570. border-bottom-style: solid;
  571. }
  572. .coal .menu-bar.bordered > #menu-bar-sticky-container {
  573. border-bottom-color: #1f2223;
  574. }
  575. .coal .sidebar {
  576. background-color: #292c2f;
  577. color: #a1adb8;
  578. }
  579. .coal .sidebar::-webkit-scrollbar {
  580. background: #292c2f;
  581. }
  582. .coal .sidebar::-webkit-scrollbar-thumb {
  583. background: #a1adb8;
  584. }
  585. .coal .chapter li {
  586. color: #505254;
  587. }
  588. .coal .chapter li a {
  589. color: #a1adb8;
  590. }
  591. .coal .chapter li .active,
  592. .coal .chapter li a:hover {
  593. /* Animate color change */
  594. color: #3473ad;
  595. }
  596. .coal .chapter .spacer {
  597. background-color: #393939;
  598. }
  599. .coal .menu-bar,
  600. .coal .menu-bar:visited,
  601. .coal .nav-chapters,
  602. .coal .nav-chapters:visited,
  603. .coal .mobile-nav-chapters,
  604. .coal .mobile-nav-chapters:visited,
  605. .coal .menu-bar .icon-button,
  606. .coal .menu-bar a i {
  607. color: #43484d;
  608. }
  609. .coal .menu-bar i:hover,
  610. .coal .menu-bar .icon-button:hover,
  611. .coal .nav-chapters:hover,
  612. .coal .mobile-nav-chapters i:hover {
  613. color: #b3c0cc;
  614. }
  615. .coal .mobile-nav-chapters i:hover {
  616. color: #a1adb8;
  617. }
  618. .coal .mobile-nav-chapters {
  619. background-color: #292c2f;
  620. }
  621. .coal #searchresults a,
  622. .coal .content a:link,
  623. .coal a:visited,
  624. .coal a > .hljs {
  625. color: #2b79a2;
  626. }
  627. .coal .theme-popup {
  628. color: #98a3ad;
  629. background: #141617;
  630. border: 1px solid #43484d;
  631. margin: 0;
  632. padding: 0;
  633. list-style: none;
  634. display: none;
  635. }
  636. .coal .theme-popup .theme:hover {
  637. background-color: #1f2124;
  638. }
  639. .coal .theme-popup .default {
  640. color: #43484d;
  641. }
  642. .coal blockquote {
  643. margin: 20px 0;
  644. padding: 0 20px;
  645. color: #98a3ad;
  646. background-color: #242637;
  647. border-top: 0.1em solid #2c2f44;
  648. border-bottom: 0.1em solid #2c2f44;
  649. }
  650. .coal table td {
  651. border-color: #1f2223;
  652. }
  653. .coal table tbody tr:nth-child(2n) {
  654. background: #1b1d1e;
  655. }
  656. .coal table thead {
  657. background: #3f4649;
  658. }
  659. .coal table thead td {
  660. border: none;
  661. }
  662. .coal table thead tr {
  663. border: 1px #3f4649 solid;
  664. }
  665. .coal :not(pre) > .hljs {
  666. display: inline-block;
  667. vertical-align: middle;
  668. padding: 0.1em 0.3em;
  669. border-radius: 3px;
  670. color: #c5c8c6;
  671. }
  672. .coal a:hover > .hljs {
  673. text-decoration: underline;
  674. }
  675. .coal pre {
  676. position: relative;
  677. }
  678. .coal pre > .buttons {
  679. position: absolute;
  680. z-index: 100;
  681. right: 5px;
  682. top: 5px;
  683. color: #a1adb8;
  684. cursor: pointer;
  685. }
  686. .coal pre > .buttons :hover {
  687. color: #3473ad;
  688. }
  689. .coal pre > .buttons i {
  690. margin-left: 8px;
  691. }
  692. .coal pre > .buttons button {
  693. color: inherit;
  694. background: transparent;
  695. border: none;
  696. cursor: inherit;
  697. }
  698. .coal pre > .result {
  699. margin-top: 10px;
  700. }
  701. .coal .icon-button {
  702. border: none;
  703. background: none;
  704. padding: 0;
  705. color: inherit;
  706. }
  707. .coal .icon-button i {
  708. margin: 0;
  709. }
  710. .coal ::-webkit-scrollbar {
  711. background: #141617;
  712. }
  713. .coal ::-webkit-scrollbar-thumb {
  714. background: #a1adb8;
  715. }
  716. .coal #searchbar {
  717. border: 1px solid #aaa;
  718. border-radius: 3px;
  719. background-color: #b7b7b7;
  720. color: #000;
  721. }
  722. .coal #searchbar:focus,
  723. .coal #searchbar.active {
  724. -webkit-box-shadow: 0 0 3px #aaa;
  725. box-shadow: 0 0 3px #aaa;
  726. }
  727. .coal .searchresults-header {
  728. color: #666;
  729. }
  730. .coal .searchresults-outer {
  731. border-bottom: 1px dashed #98a3ad;
  732. }
  733. .coal ul#searchresults li.focus {
  734. background-color: #2b2b2f;
  735. }
  736. .coal mark {
  737. background-color: #355c7d;
  738. }
  739. .navy {
  740. color: #bcbdd0;
  741. background-color: #161923;
  742. /* Inline code */
  743. /* Search */
  744. }
  745. .navy .content .header:link,
  746. .navy .content .header:visited {
  747. color: #bcbdd0;
  748. pointer: cursor;
  749. }
  750. .navy .content .header:link:hover,
  751. .navy .content .header:visited:hover {
  752. text-decoration: none;
  753. }
  754. .navy .menu-bar {
  755. margin: auto -15px;
  756. }
  757. .navy .menu-bar > #menu-bar-sticky-container {
  758. background-color: #161923;
  759. border-bottom-color: #161923;
  760. border-bottom-width: 1px;
  761. border-bottom-style: solid;
  762. }
  763. .navy .menu-bar.bordered > #menu-bar-sticky-container {
  764. border-bottom-color: #1f2331;
  765. }
  766. .navy .sidebar {
  767. background-color: #282d3f;
  768. color: #c8c9db;
  769. }
  770. .navy .sidebar::-webkit-scrollbar {
  771. background: #282d3f;
  772. }
  773. .navy .sidebar::-webkit-scrollbar-thumb {
  774. background: #c8c9db;
  775. }
  776. .navy .chapter li {
  777. color: #505274;
  778. }
  779. .navy .chapter li a {
  780. color: #c8c9db;
  781. }
  782. .navy .chapter li .active,
  783. .navy .chapter li a:hover {
  784. /* Animate color change */
  785. color: #2b79a2;
  786. }
  787. .navy .chapter .spacer {
  788. background-color: #2d334f;
  789. }
  790. .navy .menu-bar,
  791. .navy .menu-bar:visited,
  792. .navy .nav-chapters,
  793. .navy .nav-chapters:visited,
  794. .navy .mobile-nav-chapters,
  795. .navy .mobile-nav-chapters:visited,
  796. .navy .menu-bar .icon-button,
  797. .navy .menu-bar a i {
  798. color: #737480;
  799. }
  800. .navy .menu-bar i:hover,
  801. .navy .menu-bar .icon-button:hover,
  802. .navy .nav-chapters:hover,
  803. .navy .mobile-nav-chapters i:hover {
  804. color: #b7b9cc;
  805. }
  806. .navy .mobile-nav-chapters i:hover {
  807. color: #c8c9db;
  808. }
  809. .navy .mobile-nav-chapters {
  810. background-color: #282d3f;
  811. }
  812. .navy #searchresults a,
  813. .navy .content a:link,
  814. .navy a:visited,
  815. .navy a > .hljs {
  816. color: #2b79a2;
  817. }
  818. .navy .theme-popup {
  819. color: #bcbdd0;
  820. background: #161923;
  821. border: 1px solid #737480;
  822. margin: 0;
  823. padding: 0;
  824. list-style: none;
  825. display: none;
  826. }
  827. .navy .theme-popup .theme:hover {
  828. background-color: #282e40;
  829. }
  830. .navy .theme-popup .default {
  831. color: #737480;
  832. }
  833. .navy blockquote {
  834. margin: 20px 0;
  835. padding: 0 20px;
  836. color: #bcbdd0;
  837. background-color: #262933;
  838. border-top: 0.1em solid #2f333f;
  839. border-bottom: 0.1em solid #2f333f;
  840. }
  841. .navy table td {
  842. border-color: #1f2331;
  843. }
  844. .navy table tbody tr:nth-child(2n) {
  845. background: #1b1f2b;
  846. }
  847. .navy table thead {
  848. background: #39415b;
  849. }
  850. .navy table thead td {
  851. border: none;
  852. }
  853. .navy table thead tr {
  854. border: 1px #39415b solid;
  855. }
  856. .navy :not(pre) > .hljs {
  857. display: inline-block;
  858. vertical-align: middle;
  859. padding: 0.1em 0.3em;
  860. border-radius: 3px;
  861. color: #c5c8c6;
  862. }
  863. .navy a:hover > .hljs {
  864. text-decoration: underline;
  865. }
  866. .navy pre {
  867. position: relative;
  868. }
  869. .navy pre > .buttons {
  870. position: absolute;
  871. z-index: 100;
  872. right: 5px;
  873. top: 5px;
  874. color: #c8c9db;
  875. cursor: pointer;
  876. }
  877. .navy pre > .buttons :hover {
  878. color: #2b79a2;
  879. }
  880. .navy pre > .buttons i {
  881. margin-left: 8px;
  882. }
  883. .navy pre > .buttons button {
  884. color: inherit;
  885. background: transparent;
  886. border: none;
  887. cursor: inherit;
  888. }
  889. .navy pre > .result {
  890. margin-top: 10px;
  891. }
  892. .navy .icon-button {
  893. border: none;
  894. background: none;
  895. padding: 0;
  896. color: inherit;
  897. }
  898. .navy .icon-button i {
  899. margin: 0;
  900. }
  901. .navy ::-webkit-scrollbar {
  902. background: #161923;
  903. }
  904. .navy ::-webkit-scrollbar-thumb {
  905. background: #c8c9db;
  906. }
  907. .navy #searchbar {
  908. border: 1px solid #aaa;
  909. border-radius: 3px;
  910. background-color: #aeaec6;
  911. color: #000;
  912. }
  913. .navy #searchbar:focus,
  914. .navy #searchbar.active {
  915. -webkit-box-shadow: 0 0 3px #aaa;
  916. box-shadow: 0 0 3px #aaa;
  917. }
  918. .navy .searchresults-header {
  919. color: #5f5f71;
  920. }
  921. .navy .searchresults-outer {
  922. border-bottom: 1px dashed #5c5c68;
  923. }
  924. .navy ul#searchresults li.focus {
  925. background-color: #242430;
  926. }
  927. .navy mark {
  928. background-color: #a2cff5;
  929. }
  930. .rust {
  931. color: #262625;
  932. background-color: #e1e1db;
  933. /* Inline code */
  934. /* Search */
  935. }
  936. .rust .content .header:link,
  937. .rust .content .header:visited {
  938. color: #262625;
  939. pointer: cursor;
  940. }
  941. .rust .content .header:link:hover,
  942. .rust .content .header:visited:hover {
  943. text-decoration: none;
  944. }
  945. .rust .menu-bar {
  946. margin: auto -15px;
  947. }
  948. .rust .menu-bar > #menu-bar-sticky-container {
  949. background-color: #e1e1db;
  950. border-bottom-color: #e1e1db;
  951. border-bottom-width: 1px;
  952. border-bottom-style: solid;
  953. }
  954. .rust .menu-bar.bordered > #menu-bar-sticky-container {
  955. border-bottom-color: #d7d7cf;
  956. }
  957. .rust .sidebar {
  958. background-color: #3b2e2a;
  959. color: #c8c9db;
  960. }
  961. .rust .sidebar::-webkit-scrollbar {
  962. background: #3b2e2a;
  963. }
  964. .rust .sidebar::-webkit-scrollbar-thumb {
  965. background: #c8c9db;
  966. }
  967. .rust .chapter li {
  968. color: #505254;
  969. }
  970. .rust .chapter li a {
  971. color: #c8c9db;
  972. }
  973. .rust .chapter li .active,
  974. .rust .chapter li a:hover {
  975. /* Animate color change */
  976. color: #e69f67;
  977. }
  978. .rust .chapter .spacer {
  979. background-color: #45373a;
  980. }
  981. .rust .menu-bar,
  982. .rust .menu-bar:visited,
  983. .rust .nav-chapters,
  984. .rust .nav-chapters:visited,
  985. .rust .mobile-nav-chapters,
  986. .rust .mobile-nav-chapters:visited,
  987. .rust .menu-bar .icon-button,
  988. .rust .menu-bar a i {
  989. color: #737480;
  990. }
  991. .rust .menu-bar i:hover,
  992. .rust .menu-bar .icon-button:hover,
  993. .rust .nav-chapters:hover,
  994. .rust .mobile-nav-chapters i:hover {
  995. color: #262625;
  996. }
  997. .rust .mobile-nav-chapters i:hover {
  998. color: #c8c9db;
  999. }
  1000. .rust .mobile-nav-chapters {
  1001. background-color: #3b2e2a;
  1002. }
  1003. .rust #searchresults a,
  1004. .rust .content a:link,
  1005. .rust a:visited,
  1006. .rust a > .hljs {
  1007. color: #2b79a2;
  1008. }
  1009. .rust .theme-popup {
  1010. color: #262625;
  1011. background: #e1e1db;
  1012. border: 1px solid #b38f6b;
  1013. margin: 0;
  1014. padding: 0;
  1015. list-style: none;
  1016. display: none;
  1017. }
  1018. .rust .theme-popup .theme:hover {
  1019. background-color: #99908a;
  1020. }
  1021. .rust .theme-popup .default {
  1022. color: #737480;
  1023. }
  1024. .rust blockquote {
  1025. margin: 20px 0;
  1026. padding: 0 20px;
  1027. color: #262625;
  1028. background-color: #c1c1bb;
  1029. border-top: 0.1em solid #b8b8b1;
  1030. border-bottom: 0.1em solid #b8b8b1;
  1031. }
  1032. .rust table td {
  1033. border-color: #d7d7cf;
  1034. }
  1035. .rust table tbody tr:nth-child(2n) {
  1036. background: #dbdbd4;
  1037. }
  1038. .rust table thead {
  1039. background: #b3a497;
  1040. }
  1041. .rust table thead td {
  1042. border: none;
  1043. }
  1044. .rust table thead tr {
  1045. border: 1px #b3a497 solid;
  1046. }
  1047. .rust :not(pre) > .hljs {
  1048. display: inline-block;
  1049. vertical-align: middle;
  1050. padding: 0.1em 0.3em;
  1051. border-radius: 3px;
  1052. color: #6e6b5e;
  1053. }
  1054. .rust a:hover > .hljs {
  1055. text-decoration: underline;
  1056. }
  1057. .rust pre {
  1058. position: relative;
  1059. }
  1060. .rust pre > .buttons {
  1061. position: absolute;
  1062. z-index: 100;
  1063. right: 5px;
  1064. top: 5px;
  1065. color: #c8c9db;
  1066. cursor: pointer;
  1067. }
  1068. .rust pre > .buttons :hover {
  1069. color: #e69f67;
  1070. }
  1071. .rust pre > .buttons i {
  1072. margin-left: 8px;
  1073. }
  1074. .rust pre > .buttons button {
  1075. color: inherit;
  1076. background: transparent;
  1077. border: none;
  1078. cursor: inherit;
  1079. }
  1080. .rust pre > .result {
  1081. margin-top: 10px;
  1082. }
  1083. .rust .icon-button {
  1084. border: none;
  1085. background: none;
  1086. padding: 0;
  1087. color: inherit;
  1088. }
  1089. .rust .icon-button i {
  1090. margin: 0;
  1091. }
  1092. .rust ::-webkit-scrollbar {
  1093. background: #e1e1db;
  1094. }
  1095. .rust ::-webkit-scrollbar-thumb {
  1096. background: #c8c9db;
  1097. }
  1098. .rust #searchbar {
  1099. border: 1px solid #aaa;
  1100. border-radius: 3px;
  1101. background-color: #fafafa;
  1102. color: #000;
  1103. }
  1104. .rust #searchbar:focus,
  1105. .rust #searchbar.active {
  1106. -webkit-box-shadow: 0 0 3px #aaa;
  1107. box-shadow: 0 0 3px #aaa;
  1108. }
  1109. .rust .searchresults-header {
  1110. color: #666;
  1111. }
  1112. .rust .searchresults-outer {
  1113. border-bottom: 1px dashed #888;
  1114. }
  1115. .rust ul#searchresults li.focus {
  1116. background-color: #dec2a2;
  1117. }
  1118. .rust mark {
  1119. background-color: #e69f67;
  1120. }
  1121. .ayu {
  1122. color: #c5c5c5;
  1123. background-color: #0f1419;
  1124. /* Inline code */
  1125. /* Search */
  1126. }
  1127. .ayu .content .header:link,
  1128. .ayu .content .header:visited {
  1129. color: #c5c5c5;
  1130. pointer: cursor;
  1131. }
  1132. .ayu .content .header:link:hover,
  1133. .ayu .content .header:visited:hover {
  1134. text-decoration: none;
  1135. }
  1136. .ayu .menu-bar {
  1137. margin: auto -15px;
  1138. }
  1139. .ayu .menu-bar > #menu-bar-sticky-container {
  1140. background-color: #0f1419;
  1141. border-bottom-color: #0f1419;
  1142. border-bottom-width: 1px;
  1143. border-bottom-style: solid;
  1144. }
  1145. .ayu .menu-bar.bordered > #menu-bar-sticky-container {
  1146. border-bottom-color: #182028;
  1147. }
  1148. .ayu .sidebar {
  1149. background-color: #14191f;
  1150. color: #c8c9db;
  1151. }
  1152. .ayu .sidebar::-webkit-scrollbar {
  1153. background: #14191f;
  1154. }
  1155. .ayu .sidebar::-webkit-scrollbar-thumb {
  1156. background: #c8c9db;
  1157. }
  1158. .ayu .chapter li {
  1159. color: #5c6773;
  1160. }
  1161. .ayu .chapter li a {
  1162. color: #c8c9db;
  1163. }
  1164. .ayu .chapter li .active,
  1165. .ayu .chapter li a:hover {
  1166. /* Animate color change */
  1167. color: #ffb454;
  1168. }
  1169. .ayu .chapter .spacer {
  1170. background-color: #2d334f;
  1171. }
  1172. .ayu .menu-bar,
  1173. .ayu .menu-bar:visited,
  1174. .ayu .nav-chapters,
  1175. .ayu .nav-chapters:visited,
  1176. .ayu .mobile-nav-chapters,
  1177. .ayu .mobile-nav-chapters:visited,
  1178. .ayu .menu-bar .icon-button,
  1179. .ayu .menu-bar a i {
  1180. color: #737480;
  1181. }
  1182. .ayu .menu-bar i:hover,
  1183. .ayu .menu-bar .icon-button:hover,
  1184. .ayu .nav-chapters:hover,
  1185. .ayu .mobile-nav-chapters i:hover {
  1186. color: #b7b9cc;
  1187. }
  1188. .ayu .mobile-nav-chapters i:hover {
  1189. color: #c8c9db;
  1190. }
  1191. .ayu .mobile-nav-chapters {
  1192. background-color: #14191f;
  1193. }
  1194. .ayu #searchresults a,
  1195. .ayu .content a:link,
  1196. .ayu a:visited,
  1197. .ayu a > .hljs {
  1198. color: #0096cf;
  1199. }
  1200. .ayu .theme-popup {
  1201. color: #c5c5c5;
  1202. background: #14191f;
  1203. border: 1px solid #5c6773;
  1204. margin: 0;
  1205. padding: 0;
  1206. list-style: none;
  1207. display: none;
  1208. }
  1209. .ayu .theme-popup .theme:hover {
  1210. background-color: #191f26;
  1211. }
  1212. .ayu .theme-popup .default {
  1213. color: #737480;
  1214. }
  1215. .ayu blockquote {
  1216. margin: 20px 0;
  1217. padding: 0 20px;
  1218. color: #c5c5c5;
  1219. background-color: #262933;
  1220. border-top: 0.1em solid #2f333f;
  1221. border-bottom: 0.1em solid #2f333f;
  1222. }
  1223. .ayu table td {
  1224. border-color: #182028;
  1225. }
  1226. .ayu table tbody tr:nth-child(2n) {
  1227. background: #141b22;
  1228. }
  1229. .ayu table thead {
  1230. background: #324354;
  1231. }
  1232. .ayu table thead td {
  1233. border: none;
  1234. }
  1235. .ayu table thead tr {
  1236. border: 1px #324354 solid;
  1237. }
  1238. .ayu :not(pre) > .hljs {
  1239. display: inline-block;
  1240. vertical-align: middle;
  1241. padding: 0.1em 0.3em;
  1242. border-radius: 3px;
  1243. color: #ffb454;
  1244. }
  1245. .ayu a:hover > .hljs {
  1246. text-decoration: underline;
  1247. }
  1248. .ayu pre {
  1249. position: relative;
  1250. }
  1251. .ayu pre > .buttons {
  1252. position: absolute;
  1253. z-index: 100;
  1254. right: 5px;
  1255. top: 5px;
  1256. color: #c8c9db;
  1257. cursor: pointer;
  1258. }
  1259. .ayu pre > .buttons :hover {
  1260. color: #ffb454;
  1261. }
  1262. .ayu pre > .buttons i {
  1263. margin-left: 8px;
  1264. }
  1265. .ayu pre > .buttons button {
  1266. color: inherit;
  1267. background: transparent;
  1268. border: none;
  1269. cursor: inherit;
  1270. }
  1271. .ayu pre > .result {
  1272. margin-top: 10px;
  1273. }
  1274. .ayu .icon-button {
  1275. border: none;
  1276. background: none;
  1277. padding: 0;
  1278. color: inherit;
  1279. }
  1280. .ayu .icon-button i {
  1281. margin: 0;
  1282. }
  1283. .ayu ::-webkit-scrollbar {
  1284. background: #0f1419;
  1285. }
  1286. .ayu ::-webkit-scrollbar-thumb {
  1287. background: #c8c9db;
  1288. }
  1289. .ayu #searchbar {
  1290. border: 1px solid #848484;
  1291. border-radius: 3px;
  1292. background-color: #424242;
  1293. color: #fff;
  1294. }
  1295. .ayu #searchbar:focus,
  1296. .ayu #searchbar.active {
  1297. -webkit-box-shadow: 0 0 3px #d4c89f;
  1298. box-shadow: 0 0 3px #d4c89f;
  1299. }
  1300. .ayu .searchresults-header {
  1301. color: #666;
  1302. }
  1303. .ayu .searchresults-outer {
  1304. border-bottom: 1px dashed #888;
  1305. }
  1306. .ayu ul#searchresults li.focus {
  1307. background-color: #252932;
  1308. }
  1309. .ayu mark {
  1310. background-color: #e3b171;
  1311. }
  1312. @media only print {
  1313. #sidebar,
  1314. #menu-bar,
  1315. .nav-chapters,
  1316. .mobile-nav-chapters {
  1317. display: none;
  1318. }
  1319. #page-wrapper {
  1320. left: 0;
  1321. overflow-y: initial;
  1322. }
  1323. #page-wrapper.page-wrapper {
  1324. padding-left: 0px;
  1325. }
  1326. #content {
  1327. max-width: none;
  1328. margin: 0;
  1329. padding: 0;
  1330. }
  1331. .page {
  1332. overflow-y: initial;
  1333. }
  1334. code {
  1335. background-color: #666;
  1336. border-radius: 5px;
  1337. /* Force background to be printed in Chrome */
  1338. -webkit-print-color-adjust: exact;
  1339. }
  1340. pre > .buttons {
  1341. z-index: 2;
  1342. }
  1343. a,
  1344. a:visited,
  1345. a:active,
  1346. a:hover {
  1347. color: #4183c4;
  1348. text-decoration: none;
  1349. }
  1350. h1,
  1351. h2,
  1352. h3,
  1353. h4,
  1354. h5,
  1355. h6 {
  1356. page-break-inside: avoid;
  1357. page-break-after: avoid;
  1358. /*break-after: avoid*/
  1359. }
  1360. pre,
  1361. code {
  1362. page-break-inside: avoid;
  1363. white-space: pre-wrap /* CSS 3 */;
  1364. white-space: -moz-pre-wrap /* Mozilla, since 1999 */;
  1365. white-space: -pre-wrap /* Opera 4-6 */;
  1366. white-space: -o-pre-wrap /* Opera 7 */;
  1367. word-wrap: break-word /* Internet Explorer 5.5+ */;
  1368. }
  1369. }
  1370. .tooltiptext {
  1371. position: absolute;
  1372. visibility: hidden;
  1373. color: #fff;
  1374. background-color: #333;
  1375. -webkit-transform: translateX(-50%);
  1376. -moz-transform: translateX(-50%);
  1377. -o-transform: translateX(-50%);
  1378. -ms-transform: translateX(-50%);
  1379. transform: translateX(-50%); /* Center by moving tooltip 50% of its width left */
  1380. left: -8px; /* Half of the width of the icon */
  1381. top: -35px;
  1382. font-size: 0.8em;
  1383. text-align: center;
  1384. border-radius: 6px;
  1385. padding: 5px 8px;
  1386. margin: 5px;
  1387. z-index: 1000;
  1388. }
  1389. .tooltipped .tooltiptext {
  1390. visibility: visible;
  1391. }
  1392. #searchresults a {
  1393. text-decoration: none;
  1394. }
  1395. mark {
  1396. border-radius: 2px;
  1397. padding: 0 3px 1px 3px;
  1398. margin: 0 -3px -1px -3px;
  1399. -webkit-transition: background-color 300ms linear;
  1400. -moz-transition: background-color 300ms linear;
  1401. -o-transition: background-color 300ms linear;
  1402. -ms-transition: background-color 300ms linear;
  1403. transition: background-color 300ms linear;
  1404. }
  1405. .fade-out {
  1406. background-color: rgba(0,0,0,0) !important;
  1407. }
  1408. .searchbar-outer {
  1409. display: none;
  1410. margin-left: auto;
  1411. margin-right: auto;
  1412. max-width: 750px;
  1413. }
  1414. #searchbar {
  1415. display: block;
  1416. width: 100%;
  1417. margin: 5px auto 0px auto;
  1418. padding: 10px 16px;
  1419. -webkit-transition: box-shadow 300ms ease-in-out;
  1420. -moz-transition: box-shadow 300ms ease-in-out;
  1421. -o-transition: box-shadow 300ms ease-in-out;
  1422. -ms-transition: box-shadow 300ms ease-in-out;
  1423. transition: box-shadow 300ms ease-in-out;
  1424. }
  1425. .searchresults-header {
  1426. font-weight: bold;
  1427. font-size: 1em;
  1428. padding: 18px 0 0 5px;
  1429. }
  1430. .searchresults-outer {
  1431. display: none;
  1432. margin-left: auto;
  1433. margin-right: auto;
  1434. max-width: 750px;
  1435. }
  1436. ul#searchresults {
  1437. list-style: none;
  1438. padding-left: 20px;
  1439. }
  1440. ul#searchresults li {
  1441. margin: 10px 0px;
  1442. padding: 2px;
  1443. border-radius: 2px;
  1444. }
  1445. ul#searchresults span.teaser {
  1446. display: block;
  1447. clear: both;
  1448. margin: 5px 0 0 20px;
  1449. font-size: 0.8em;
  1450. }
  1451. ul#searchresults span.teaser em {
  1452. font-weight: bold;
  1453. font-style: normal;
  1454. }