book.css 28 KB

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