logicodev.css 20 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033
  1. .github-issue-button {
  2. display: block;
  3. padding: 8px 16px;
  4. font-family: sans-serif;
  5. font-size: 16px;
  6. color: white;
  7. background-color: #238636 !important;
  8. /* important is needed cause to an !important in logicodev-dark */
  9. border: #2ea043;
  10. border-radius: 10px !important;
  11. box-shadow: rgba(0, 0, 0, 0) 0px 0px 0px 0px;
  12. }
  13. .github-issue-button:hover {
  14. background-color: #2ea043;
  15. }
  16. .searx-navbar {
  17. background: #29314D;
  18. height: 2.3rem;
  19. font-size: 1.3rem;
  20. line-height: 1.3rem;
  21. padding: 0.5rem;
  22. font-weight: bold;
  23. margin-bottom: 0.8rem;
  24. }
  25. .searx-navbar a,
  26. .searx-navbar a:hover {
  27. margin-right: 2rem;
  28. color: white;
  29. text-decoration: none;
  30. }
  31. .searx-navbar .instance a {
  32. color: #01D7D4;
  33. margin-left: 2rem;
  34. }
  35. #main-logo {
  36. margin-top: 20vh;
  37. margin-bottom: 25px;
  38. }
  39. #main-logo > img {
  40. max-width: 350px;
  41. width: 80%;
  42. }
  43. * {
  44. border-radius: 0 !important;
  45. }
  46. html {
  47. position: relative;
  48. min-height: 100%;
  49. color: #29314D;
  50. }
  51. body {
  52. /* Margin bottom by footer height */
  53. font-family: 'Roboto', Helvetica, Arial, sans-serif;
  54. margin-bottom: 80px;
  55. background-color: white;
  56. }
  57. body a {
  58. color: #0088CC;
  59. }
  60. .footer {
  61. position: absolute;
  62. bottom: 0;
  63. width: 100%;
  64. /* Set the fixed height of the footer here */
  65. height: 60px;
  66. text-align: center;
  67. color: #999;
  68. }
  69. input[type=checkbox]:checked + .label_hide_if_checked,
  70. input[type=checkbox]:checked + .label_hide_if_not_checked + .label_hide_if_checked {
  71. display: none;
  72. }
  73. input[type=checkbox]:not(:checked) + .label_hide_if_not_checked,
  74. input[type=checkbox]:not(:checked) + .label_hide_if_checked + .label_hide_if_not_checked {
  75. display: none;
  76. }
  77. .onoff-checkbox {
  78. width: 15%;
  79. }
  80. .onoffswitch {
  81. position: relative;
  82. width: 110px;
  83. -webkit-user-select: none;
  84. -moz-user-select: none;
  85. -ms-user-select: none;
  86. }
  87. .onoffswitch-checkbox {
  88. opacity: 0;
  89. position: absolute;
  90. }
  91. .onoffswitch-checkbox:before {
  92. content: "";
  93. display: inline-block;
  94. width: 16px;
  95. height: 16px;
  96. margin-right: 10px;
  97. position: absolute;
  98. left: 0;
  99. bottom: 1px;
  100. background-color: #fff;
  101. border: 1px solid #ccc;
  102. border-radius: 0px;
  103. }
  104. .onoffswitch-label {
  105. display: block;
  106. overflow: hidden;
  107. cursor: pointer;
  108. border: 2px solid #FFFFFF !important;
  109. border-radius: 50px !important;
  110. }
  111. .onoffswitch-inner {
  112. display: block;
  113. transition: margin 0.3s ease-in 0s;
  114. }
  115. .onoffswitch-inner:before,
  116. .onoffswitch-inner:after {
  117. display: block;
  118. float: left;
  119. width: 50%;
  120. height: 30px;
  121. padding: 0;
  122. line-height: 40px;
  123. font-size: 20px;
  124. box-sizing: border-box;
  125. content: "";
  126. background-color: #EEEEEE;
  127. }
  128. .onoffswitch-switch {
  129. display: block;
  130. width: 37px;
  131. background-color: #01D7D4;
  132. position: absolute;
  133. top: 0;
  134. bottom: 0;
  135. right: 0px;
  136. border: 2px solid #FFFFFF;
  137. border-radius: 50px !important;
  138. transition: all 0.3s ease-in 0s;
  139. }
  140. .onoffswitch-checkbox:checked + .onoffswitch-label .onoffswitch-inner {
  141. margin-right: 0;
  142. }
  143. .onoffswitch-checkbox:checked + .onoffswitch-label .onoffswitch-switch {
  144. right: 71px;
  145. background-color: #A1A1A1;
  146. }
  147. .onoffswitch-checkbox:focus + .onoffswitch-label .onoffswitch-switch {
  148. border: 3px solid #444444;
  149. }
  150. .result_header {
  151. margin-top: 0px;
  152. margin-bottom: 2px;
  153. font-size: 16px;
  154. }
  155. .result_header .favicon {
  156. margin-bottom: -3px;
  157. }
  158. .result_header a {
  159. color: #29314D;
  160. text-decoration: none;
  161. }
  162. .result_header a:hover {
  163. color: #0088CC;
  164. }
  165. .result_header a:visited {
  166. color: #684898;
  167. }
  168. .result_header a .highlight {
  169. background-color: #F6F9FA;
  170. }
  171. .result-content,
  172. .result-format,
  173. .result-source {
  174. margin-top: 2px;
  175. margin-bottom: 0;
  176. word-wrap: break-word;
  177. color: #666;
  178. font-size: 13px;
  179. }
  180. .result .highlight {
  181. font-weight: bold;
  182. }
  183. .result-source {
  184. font-size: 10px;
  185. float: left;
  186. }
  187. .result-format {
  188. font-size: 10px;
  189. float: right;
  190. }
  191. .result-abstract {
  192. margin-top: 0.5em;
  193. margin-bottom: 0.8em;
  194. }
  195. .external-link {
  196. color: #068922;
  197. font-size: 12px;
  198. margin-bottom: 15px;
  199. }
  200. .external-link a {
  201. margin-right: 3px;
  202. }
  203. .result-default,
  204. .result-code,
  205. .result-torrent,
  206. .result-videos,
  207. .result-map {
  208. clear: both;
  209. padding: 0.5em 4px;
  210. }
  211. .result-default:hover,
  212. .result-code:hover,
  213. .result-torrent:hover,
  214. .result-videos:hover,
  215. .result-map:hover {
  216. background-color: #F6F9FA;
  217. }
  218. .result-images {
  219. float: left !important;
  220. margin: 0;
  221. padding: 0;
  222. }
  223. .result-images a {
  224. display: block;
  225. width: 100%;
  226. background-size: cover;
  227. }
  228. .result-images a .img-thumbnail {
  229. border: none !important;
  230. padding: 0;
  231. }
  232. .result-images a:hover,
  233. .result-images a:focus {
  234. outline: 0;
  235. }
  236. .result-images a:hover .img-thumbnail,
  237. .result-images a:focus .img-thumbnail {
  238. box-shadow: 5px 5px 15px 0px black;
  239. }
  240. .result-images.js a .img-thumbnail {
  241. max-height: inherit;
  242. min-height: inherit;
  243. }
  244. .result-images:not(.js) {
  245. width: 25%;
  246. padding: 3px 13px 13px 3px;
  247. }
  248. .result-images:not(.js) a .img-thumbnail {
  249. margin: 0;
  250. max-height: 128px;
  251. min-height: 128px;
  252. }
  253. .img-thumbnail {
  254. margin: 5px;
  255. max-height: 128px;
  256. min-height: 128px;
  257. }
  258. .result-videos {
  259. clear: both;
  260. }
  261. .result-videos hr {
  262. margin: 5px 0 15px 0;
  263. }
  264. .result-videos .collapse {
  265. width: 100%;
  266. }
  267. .result-videos .in {
  268. margin-bottom: 8px;
  269. }
  270. .result-torrent {
  271. clear: both;
  272. }
  273. .result-torrent b {
  274. margin-right: 5px;
  275. margin-left: 5px;
  276. }
  277. .result-torrent .seeders {
  278. color: #2ecc71;
  279. }
  280. .result-torrent .leechers {
  281. color: #F35E77;
  282. }
  283. .result-metadata {
  284. clear: both;
  285. margin: 1em;
  286. }
  287. .result-metadata td {
  288. padding-right: 1em;
  289. color: #A4A4A4;
  290. }
  291. .result-metadata td:first-of-type {
  292. color: #666;
  293. }
  294. .result-map {
  295. clear: both;
  296. }
  297. .result-code {
  298. clear: both;
  299. }
  300. .result-code .code-fork,
  301. .result-code .code-fork a {
  302. color: #666;
  303. }
  304. .suggestion_item {
  305. margin: 2px 5px;
  306. max-width: 100%;
  307. }
  308. .suggestion_item .btn {
  309. max-width: 100%;
  310. white-space: normal;
  311. word-wrap: break-word;
  312. text-align: left;
  313. }
  314. .result_download {
  315. margin-right: 5px;
  316. }
  317. #pagination {
  318. margin-top: 30px;
  319. padding-bottom: 60px;
  320. }
  321. .label-default {
  322. color: #666;
  323. background: transparent;
  324. }
  325. .result .text-muted small {
  326. word-wrap: break-word;
  327. }
  328. .modal-wrapper {
  329. box-shadow: 0 5px 15px rgba(0, 0, 0, 0.5);
  330. }
  331. .modal-wrapper {
  332. background-clip: padding-box;
  333. background-color: #fff;
  334. border: 1px solid rgba(0, 0, 0, 0.2);
  335. border-radius: 6px;
  336. box-shadow: 0 3px 9px rgba(0, 0, 0, 0.5);
  337. outline: 0 none;
  338. position: relative;
  339. }
  340. @media screen and (max-width: 75em) {
  341. .img-thumbnail {
  342. object-fit: cover;
  343. }
  344. }
  345. .infobox .panel-heading {
  346. background-color: #F6F9FA;
  347. }
  348. .infobox .panel-heading .panel-title {
  349. font-weight: 700;
  350. }
  351. .infobox .header_url {
  352. white-space: nowrap;
  353. overflow: hidden;
  354. text-overflow: ellipsis;
  355. display: block;
  356. }
  357. .infobox p {
  358. font-family: "DejaVu Serif", Georgia, Cambria, "Times New Roman", Times, serif !important;
  359. font-style: italic;
  360. }
  361. .infobox img {
  362. max-height: "250px";
  363. }
  364. .infobox .btn {
  365. background-color: #007AB8;
  366. border: none;
  367. }
  368. .infobox .btn a {
  369. color: white;
  370. margin: 5px;
  371. }
  372. .infobox .infobox_part {
  373. margin-bottom: 20px;
  374. word-wrap: break-word;
  375. table-layout: fixed;
  376. }
  377. .infobox .infobox_part:last-child {
  378. margin-bottom: 0;
  379. }
  380. .infobox .infobox_toggle {
  381. width: 100%;
  382. text-align: center;
  383. margin-bottom: 0px;
  384. cursor: pointer;
  385. }
  386. .infobox .infobox_toggle:hover {
  387. background: #DDD;
  388. }
  389. .infobox .infobox_checkbox ~ .infobox_body {
  390. max-height: 300px;
  391. overflow: hidden;
  392. }
  393. .infobox .infobox_checkbox:checked ~ .infobox_body {
  394. max-height: none;
  395. }
  396. .infobox .infobox_checkbox ~ .infobox_toggle .infobox_label_down {
  397. display: block;
  398. }
  399. .infobox .infobox_checkbox ~ .infobox_toggle .infobox_label_up {
  400. display: none;
  401. }
  402. .infobox .infobox_checkbox:checked ~ .infobox_toggle .infobox_label_up {
  403. display: block;
  404. }
  405. .infobox .infobox_checkbox:checked ~ .infobox_toggle .infobox_label_down {
  406. display: none;
  407. }
  408. .infobox .infobox_checkbox ~ .infobox_body img.infobox_part {
  409. display: none;
  410. }
  411. .infobox .infobox_checkbox:checked ~ .infobox_body img.infobox_part {
  412. display: block;
  413. }
  414. .search_categories,
  415. #categories {
  416. text-transform: capitalize;
  417. margin-bottom: 0.5rem;
  418. display: flex;
  419. flex-wrap: wrap;
  420. flex-flow: row wrap;
  421. align-content: stretch;
  422. }
  423. .search_categories label,
  424. #categories label,
  425. .search_categories .input-group-addon,
  426. #categories .input-group-addon {
  427. flex-grow: 1;
  428. flex-basis: auto;
  429. font-size: 1.2rem;
  430. font-weight: normal;
  431. background-color: white;
  432. border: #DDD 1px solid;
  433. border-right: none;
  434. color: #666;
  435. padding-bottom: 0.4rem;
  436. padding-top: 0.4rem;
  437. text-align: center;
  438. min-width: 50px;
  439. }
  440. .search_categories label:last-child,
  441. #categories label:last-child,
  442. .search_categories .input-group-addon:last-child,
  443. #categories .input-group-addon:last-child {
  444. border-right: #DDD 1px solid;
  445. }
  446. .search_categories input[type="checkbox"]:checked + label,
  447. #categories input[type="checkbox"]:checked + label {
  448. color: #29314D;
  449. font-weight: bold;
  450. border-bottom: #01D7D4 5px solid;
  451. }
  452. #main-logo {
  453. margin-top: 10vh;
  454. margin-bottom: 25px;
  455. }
  456. #main-logo > img {
  457. max-width: 350px;
  458. width: 80%;
  459. }
  460. #q {
  461. box-shadow: none;
  462. border-right: none;
  463. border-color: #888;
  464. }
  465. #search_form .input-group-btn .btn {
  466. border-color: #888;
  467. }
  468. #search_form .input-group-btn .btn:hover {
  469. background-color: #068922;
  470. color: white;
  471. }
  472. .custom-select,
  473. .custom-select-rtl {
  474. appearance: none;
  475. -webkit-appearance: none;
  476. -moz-appearance: none;
  477. font-size: 1.2rem;
  478. font-weight: normal;
  479. background-color: white;
  480. border: #888 1px solid;
  481. color: #666;
  482. background: url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAA8AAAAPCAQAAACR313BAAAABGdBTUEAALGPC/xhBQAAACBjSFJNAAB6JgAAgIQAAPoAAACA6AAAdTAAAOpgAAA6mAAAF3CculE8AAAAAmJLR0QA/4ePzL8AAAAJcEhZcwAABFkAAARZAVnbJUkAAAAHdElNRQfgBxgLDwB20OFsAAAAbElEQVQY073OsQ3CMAAEwJMYwJGnsAehpoXJItltBkmcdZBYgIIiQoLglnz3ui+eP+bk5uneteTMZJa6OJuIqvYzSJoqwqBq8gdmTTW86/dghxAUq4xsVYT9laBYXCw93Aajh7GPEF23t4fkBYevGFTANkPRAAAAJXRFWHRkYXRlOmNyZWF0ZQAyMDE2LTA3LTI0VDExOjU1OjU4KzAyOjAwRFqFOQAAACV0RVh0ZGF0ZTptb2RpZnkAMjAxNi0wNy0yNFQxMToxNTowMCswMjowMP7RDgQAAAAZdEVYdFNvZnR3YXJlAHd3dy5pbmtzY2FwZS5vcmeb7jwaAAAAAElFTkSuQmCC) 96% no-repeat;
  483. }
  484. .custom-select-rtl {
  485. background-position-x: 4%;
  486. }
  487. .search-margin {
  488. margin-bottom: 0.6em;
  489. }
  490. .visually-hidden {
  491. position: absolute !important;
  492. height: 1px;
  493. width: 1px;
  494. overflow: hidden;
  495. clip: rect(1px, 1px, 1px, 1px);
  496. white-space: nowrap;
  497. }
  498. .label-danger,
  499. .btn-danger {
  500. background: #c9432f;
  501. }
  502. .label-success,
  503. .btn-success {
  504. background: #068922;
  505. }
  506. select.form-control {
  507. border-color: #888 !important;
  508. }
  509. #advanced-search-container {
  510. display: none;
  511. text-align: left;
  512. margin-bottom: 1rem;
  513. clear: both;
  514. }
  515. #advanced-search-container label,
  516. #advanced-search-container .input-group-addon {
  517. font-size: 1.2rem;
  518. font-weight: normal;
  519. background-color: white;
  520. border: #DDD 1px solid;
  521. border-right: none;
  522. color: #666;
  523. padding-bottom: 0.4rem;
  524. padding-right: 0.7rem;
  525. padding-left: 0.7rem;
  526. }
  527. #advanced-search-container label:last-child,
  528. #advanced-search-container .input-group-addon:last-child {
  529. border-right: #DDD 1px solid;
  530. }
  531. #advanced-search-container input[type="radio"] {
  532. display: none;
  533. }
  534. #advanced-search-container input[type="radio"]:checked + label {
  535. color: #29314D;
  536. font-weight: bold;
  537. border-bottom: #01D7D4 5px solid;
  538. }
  539. #check-advanced:focus + label {
  540. text-decoration: underline;
  541. }
  542. #check-advanced:checked ~ #advanced-search-container {
  543. display: block;
  544. }
  545. .advanced {
  546. padding: 0;
  547. margin-top: 0.3rem;
  548. text-align: right;
  549. }
  550. .advanced label,
  551. .advanced select {
  552. cursor: pointer;
  553. }
  554. .cursor-text {
  555. cursor: text !important;
  556. }
  557. .cursor-pointer {
  558. cursor: pointer !important;
  559. }
  560. pre,
  561. code {
  562. font-family: 'Ubuntu Mono', 'Courier New', 'Lucida Console', monospace !important;
  563. }
  564. /*
  565. this file is generated automatically by searx_extra/update/update_pygments.py
  566. using pygments version 2.8.1
  567. */
  568. .code-highlight .linenos {
  569. -webkit-touch-callout: none;
  570. -webkit-user-select: none;
  571. -khtml-user-select: none;
  572. -moz-user-select: none;
  573. -ms-user-select: none;
  574. user-select: none;
  575. cursor: default;
  576. margin-right: 8px;
  577. text-align: right;
  578. }
  579. .code-highlight .linenos::selection {
  580. background: transparent;
  581. /* WebKit/Blink Browsers */
  582. }
  583. .code-highlight .linenos::-moz-selection {
  584. background: transparent;
  585. /* Gecko Browsers */
  586. }
  587. .code-highlight pre {
  588. line-height: 125%;
  589. }
  590. .code-highlight td.linenos .normal {
  591. color: inherit;
  592. background-color: transparent;
  593. padding-left: 5px;
  594. padding-right: 5px;
  595. }
  596. .code-highlight span.linenos {
  597. color: inherit;
  598. background-color: transparent;
  599. padding-left: 5px;
  600. padding-right: 5px;
  601. }
  602. .code-highlight td.linenos .special {
  603. color: #000000;
  604. background-color: #ffffc0;
  605. padding-left: 5px;
  606. padding-right: 5px;
  607. }
  608. .code-highlight span.linenos.special {
  609. color: #000000;
  610. background-color: #ffffc0;
  611. padding-left: 5px;
  612. padding-right: 5px;
  613. }
  614. .code-highlight .hll {
  615. background-color: #ffffcc;
  616. }
  617. .code-highlight {
  618. background: #282C34;
  619. }
  620. .code-highlight .c {
  621. color: #556366;
  622. font-style: italic;
  623. }
  624. /* Comment */
  625. .code-highlight .err {
  626. border: 1px solid #ff0000;
  627. }
  628. /* Error */
  629. .code-highlight .k {
  630. color: #BE74D5;
  631. font-weight: bold;
  632. }
  633. /* Keyword */
  634. .code-highlight .o {
  635. color: #D19A66;
  636. }
  637. /* Operator */
  638. .code-highlight .ch {
  639. color: #556366;
  640. font-style: italic;
  641. }
  642. /* Comment.Hashbang */
  643. .code-highlight .cm {
  644. color: #556366;
  645. font-style: italic;
  646. }
  647. /* Comment.Multiline */
  648. .code-highlight .cp {
  649. color: #BC7A00;
  650. font-style: italic;
  651. }
  652. /* Comment.Preproc */
  653. .code-highlight .cpf {
  654. color: #556366;
  655. font-style: italic;
  656. }
  657. /* Comment.PreprocFile */
  658. .code-highlight .c1 {
  659. color: #556366;
  660. font-style: italic;
  661. }
  662. /* Comment.Single */
  663. .code-highlight .cs {
  664. color: #556366;
  665. font-style: italic;
  666. }
  667. /* Comment.Special */
  668. .code-highlight .gd {
  669. color: #A00000;
  670. }
  671. /* Generic.Deleted */
  672. .code-highlight .ge {
  673. font-style: italic;
  674. }
  675. /* Generic.Emph */
  676. .code-highlight .gr {
  677. color: #FF0000;
  678. }
  679. /* Generic.Error */
  680. .code-highlight .gh {
  681. color: #000080;
  682. font-weight: bold;
  683. }
  684. /* Generic.Heading */
  685. .code-highlight .gi {
  686. color: #00A000;
  687. }
  688. /* Generic.Inserted */
  689. .code-highlight .go {
  690. color: #888888;
  691. }
  692. /* Generic.Output */
  693. .code-highlight .gp {
  694. color: #000080;
  695. font-weight: bold;
  696. }
  697. /* Generic.Prompt */
  698. .code-highlight .gs {
  699. font-weight: bold;
  700. }
  701. /* Generic.Strong */
  702. .code-highlight .gu {
  703. color: #800080;
  704. font-weight: bold;
  705. }
  706. /* Generic.Subheading */
  707. .code-highlight .gt {
  708. color: #0044DD;
  709. }
  710. /* Generic.Traceback */
  711. .code-highlight .kc {
  712. color: #BE74D5;
  713. font-weight: bold;
  714. }
  715. /* Keyword.Constant */
  716. .code-highlight .kd {
  717. color: #BE74D5;
  718. font-weight: bold;
  719. }
  720. /* Keyword.Declaration */
  721. .code-highlight .kn {
  722. color: #BE74D5;
  723. font-weight: bold;
  724. }
  725. /* Keyword.Namespace */
  726. .code-highlight .kp {
  727. color: #BE74D5;
  728. font-weight: bold;
  729. }
  730. /* Keyword.Pseudo */
  731. .code-highlight .kr {
  732. color: #BE74D5;
  733. font-weight: bold;
  734. }
  735. /* Keyword.Reserved */
  736. .code-highlight .kt {
  737. color: #D46C72;
  738. font-weight: bold;
  739. }
  740. /* Keyword.Type */
  741. .code-highlight .m {
  742. color: #D19A66;
  743. }
  744. /* Literal.Number */
  745. .code-highlight .s {
  746. color: #86C372;
  747. }
  748. /* Literal.String */
  749. .code-highlight .na {
  750. color: #7D9029;
  751. }
  752. /* Name.Attribute */
  753. .code-highlight .nb {
  754. color: #BE74D5;
  755. }
  756. /* Name.Builtin */
  757. .code-highlight .nc {
  758. color: #61AFEF;
  759. font-weight: bold;
  760. }
  761. /* Name.Class */
  762. .code-highlight .no {
  763. color: #D19A66;
  764. }
  765. /* Name.Constant */
  766. .code-highlight .nd {
  767. color: #AA22FF;
  768. }
  769. /* Name.Decorator */
  770. .code-highlight .ni {
  771. color: #999999;
  772. font-weight: bold;
  773. }
  774. /* Name.Entity */
  775. .code-highlight .ne {
  776. color: #D2413A;
  777. font-weight: bold;
  778. }
  779. /* Name.Exception */
  780. .code-highlight .nf {
  781. color: #61AFEF;
  782. }
  783. /* Name.Function */
  784. .code-highlight .nl {
  785. color: #A0A000;
  786. }
  787. /* Name.Label */
  788. .code-highlight .nn {
  789. color: #61AFEF;
  790. font-weight: bold;
  791. }
  792. /* Name.Namespace */
  793. .code-highlight .nt {
  794. color: #BE74D5;
  795. font-weight: bold;
  796. }
  797. /* Name.Tag */
  798. .code-highlight .nv {
  799. color: #DFC06F;
  800. }
  801. /* Name.Variable */
  802. .code-highlight .ow {
  803. color: #AA22FF;
  804. font-weight: bold;
  805. }
  806. /* Operator.Word */
  807. .code-highlight .w {
  808. color: #D7DAE0;
  809. }
  810. /* Text.Whitespace */
  811. .code-highlight .mb {
  812. color: #D19A66;
  813. }
  814. /* Literal.Number.Bin */
  815. .code-highlight .mf {
  816. color: #D19A66;
  817. }
  818. /* Literal.Number.Float */
  819. .code-highlight .mh {
  820. color: #D19A66;
  821. }
  822. /* Literal.Number.Hex */
  823. .code-highlight .mi {
  824. color: #D19A66;
  825. }
  826. /* Literal.Number.Integer */
  827. .code-highlight .mo {
  828. color: #D19A66;
  829. }
  830. /* Literal.Number.Oct */
  831. .code-highlight .sa {
  832. color: #86C372;
  833. }
  834. /* Literal.String.Affix */
  835. .code-highlight .sb {
  836. color: #86C372;
  837. }
  838. /* Literal.String.Backtick */
  839. .code-highlight .sc {
  840. color: #86C372;
  841. }
  842. /* Literal.String.Char */
  843. .code-highlight .dl {
  844. color: #86C372;
  845. }
  846. /* Literal.String.Delimiter */
  847. .code-highlight .sd {
  848. color: #86C372;
  849. font-style: italic;
  850. }
  851. /* Literal.String.Doc */
  852. .code-highlight .s2 {
  853. color: #86C372;
  854. }
  855. /* Literal.String.Double */
  856. .code-highlight .se {
  857. color: #BB6622;
  858. font-weight: bold;
  859. }
  860. /* Literal.String.Escape */
  861. .code-highlight .sh {
  862. color: #86C372;
  863. }
  864. /* Literal.String.Heredoc */
  865. .code-highlight .si {
  866. color: #BB6688;
  867. font-weight: bold;
  868. }
  869. /* Literal.String.Interpol */
  870. .code-highlight .sx {
  871. color: #BE74D5;
  872. }
  873. /* Literal.String.Other */
  874. .code-highlight .sr {
  875. color: #BB6688;
  876. }
  877. /* Literal.String.Regex */
  878. .code-highlight .s1 {
  879. color: #86C372;
  880. }
  881. /* Literal.String.Single */
  882. .code-highlight .ss {
  883. color: #DFC06F;
  884. }
  885. /* Literal.String.Symbol */
  886. .code-highlight .bp {
  887. color: #BE74D5;
  888. }
  889. /* Name.Builtin.Pseudo */
  890. .code-highlight .fm {
  891. color: #61AFEF;
  892. }
  893. /* Name.Function.Magic */
  894. .code-highlight .vc {
  895. color: #DFC06F;
  896. }
  897. /* Name.Variable.Class */
  898. .code-highlight .vg {
  899. color: #DFC06F;
  900. }
  901. /* Name.Variable.Global */
  902. .code-highlight .vi {
  903. color: #DFC06F;
  904. }
  905. /* Name.Variable.Instance */
  906. .code-highlight .vm {
  907. color: #DFC06F;
  908. }
  909. /* Name.Variable.Magic */
  910. .code-highlight .il {
  911. color: #D19A66;
  912. }
  913. /* Literal.Number.Integer.Long */
  914. .code-highlight pre {
  915. margin-bottom: 25px;
  916. padding: 20px 10px;
  917. background-color: inherit;
  918. color: inherit;
  919. border: inherit;
  920. color: #D7DAE0;
  921. }
  922. .table > tbody > tr > td,
  923. .table > tbody > tr > th {
  924. vertical-align: middle !important;
  925. }
  926. .nav-tabs.nav-justified {
  927. margin-bottom: 20px;
  928. }
  929. p {
  930. margin: 10px 0;
  931. }
  932. input.cursor-text {
  933. margin: 10px 0;
  934. }
  935. .engine-tooltip {
  936. display: none;
  937. position: absolute;
  938. padding: 0.5rem 1rem;
  939. margin: 0rem 0 0 2rem;
  940. border: 1px solid #ddd;
  941. box-shadow: 2px 2px 2px 0px rgba(0, 0, 0, 0.1);
  942. background: white;
  943. font-size: 14px;
  944. font-weight: normal;
  945. z-index: 1000000;
  946. }
  947. td:hover .engine-tooltip,
  948. th:hover .engine-tooltip,
  949. .engine-tooltip:hover {
  950. display: inline-block;
  951. }
  952. /* stacked-bar-chart */
  953. .stacked-bar-chart {
  954. margin: 0;
  955. padding: 0 0.125rem 0 3rem;
  956. width: 100%;
  957. width: -moz-available;
  958. width: -webkit-fill-available;
  959. width: fill;
  960. flex-direction: row;
  961. flex-wrap: nowrap;
  962. flex-grow: 1;
  963. align-items: center;
  964. display: inline-flex;
  965. }
  966. .stacked-bar-chart-value {
  967. width: 3rem;
  968. display: inline-block;
  969. position: absolute;
  970. padding: 0 0.5rem;
  971. text-align: right;
  972. }
  973. .stacked-bar-chart-base {
  974. display: flex;
  975. flex-shrink: 0;
  976. flex-grow: 0;
  977. flex-basis: unset;
  978. }
  979. .stacked-bar-chart-median {
  980. display: flex;
  981. flex-shrink: 0;
  982. flex-grow: 0;
  983. flex-basis: unset;
  984. background: #000000;
  985. border: 1px solid rgba(0, 0, 0, 0.9);
  986. padding: 0.3rem 0;
  987. }
  988. .stacked-bar-chart-rate80 {
  989. display: flex;
  990. flex-shrink: 0;
  991. flex-grow: 0;
  992. flex-basis: unset;
  993. background: transparent;
  994. border: 1px solid rgba(0, 0, 0, 0.3);
  995. padding: 0.3rem 0;
  996. }
  997. .stacked-bar-chart-rate95 {
  998. display: flex;
  999. flex-shrink: 0;
  1000. flex-grow: 0;
  1001. flex-basis: unset;
  1002. background: transparent;
  1003. border-bottom: 1px dotted rgba(0, 0, 0, 0.5);
  1004. padding: 0;
  1005. }
  1006. .stacked-bar-chart-rate100 {
  1007. display: flex;
  1008. flex-shrink: 0;
  1009. flex-grow: 0;
  1010. flex-basis: unset;
  1011. background: transparent;
  1012. border-left: 1px solid rgba(0, 0, 0, 0.9);
  1013. padding: 0.4rem 0;
  1014. width: 1px;
  1015. }
  1016. .stacked-bar-chart-serie1 {
  1017. display: flex;
  1018. flex-shrink: 0;
  1019. flex-grow: 0;
  1020. flex-basis: unset;
  1021. background: #5bc0de;
  1022. box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.15);
  1023. padding: 0.4rem 0;
  1024. }
  1025. .stacked-bar-chart-serie2 {
  1026. display: flex;
  1027. flex-shrink: 0;
  1028. flex-grow: 0;
  1029. flex-basis: unset;
  1030. background: #deb15b;
  1031. box-shadow: inset 0 -1px 0 rgba(0, 0, 0, 0.15);
  1032. padding: 0.4rem 0;
  1033. }