book.css 28 KB

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