highlight.css 3.0 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241
  1. /*
  2. * An increased contrast highlighting scheme loosely based on the
  3. * "Base16 Atelier Dune Light" theme by Bram de Haan
  4. * (http://atelierbram.github.io/syntax-highlighting/atelier-schemes/dune)
  5. * Original Base16 color scheme by Chris Kempson
  6. * (https://github.com/chriskempson/base16)
  7. */
  8. /* Comment */
  9. .hljs-comment,
  10. .hljs-quote {
  11. color: #575757;
  12. }
  13. /* Red */
  14. .hljs-variable,
  15. .hljs-template-variable,
  16. .hljs-attribute,
  17. .hljs-tag,
  18. .hljs-name,
  19. .hljs-regexp,
  20. .hljs-link,
  21. .hljs-name,
  22. .hljs-selector-id,
  23. .hljs-selector-class {
  24. color: #d70025;
  25. }
  26. /* Orange */
  27. .hljs-number,
  28. .hljs-meta,
  29. .hljs-built_in,
  30. .hljs-builtin-name,
  31. .hljs-literal,
  32. .hljs-type,
  33. .hljs-params {
  34. color: #b21e00;
  35. }
  36. /* Green */
  37. .hljs-string,
  38. .hljs-symbol,
  39. .hljs-bullet {
  40. color: #008200;
  41. }
  42. /* Blue */
  43. .hljs-title,
  44. .hljs-section {
  45. color: #0030f2;
  46. }
  47. /* Purple */
  48. .hljs-keyword,
  49. .hljs-selector-tag {
  50. color: #9d00ec;
  51. }
  52. .hljs {
  53. display: block;
  54. overflow-x: auto;
  55. background: #f6f7f6;
  56. color: #000;
  57. padding: 0.5em;
  58. }
  59. .hljs-emphasis {
  60. font-style: italic;
  61. }
  62. .hljs-strong {
  63. font-weight: bold;
  64. }
  65. .hljs-addition {
  66. color: #22863a;
  67. background-color: #f0fff4;
  68. }
  69. .hljs-deletion {
  70. color: #b31d28;
  71. background-color: #ffeef0;
  72. }
  73. /*
  74. -------------
  75. DarkFi Theme
  76. -------------
  77. */
  78. #theme-list{
  79. background-color:#000;
  80. border-radius:0;
  81. }
  82. h1,h2{
  83. font-family:'InterDisplay', sans-serif;
  84. font-weight:900;
  85. letter-spacing:0.035em;
  86. }
  87. h3,h4,h5,h6{
  88. font-family:'Inter', sans-serif;
  89. font-weight:900;
  90. }
  91. h1{
  92. border-left: 10px solid #0ff;
  93. padding-left:15px;
  94. padding-top:0;
  95. padding-bottom:0;
  96. }
  97. h2{
  98. border-left: 7px solid #747474;
  99. padding-left:10px;
  100. }
  101. h3{
  102. border-left: 4px solid #747474;
  103. padding-left:10px;
  104. }
  105. .menu-title{
  106. border:0;
  107. background-image:url("logo.png");
  108. background-size:contain;
  109. background-repeat:no-repeat;
  110. background-position: center;
  111. font-size:0;
  112. }
  113. #sidebar{
  114. border-right: 1px solid #596067;
  115. }
  116. .sidebar-scrollbox{
  117. margin-left:15px;
  118. }
  119. #menu-bar{
  120. border-bottom: 1px solid #596067;
  121. margin-bottom:5px;
  122. }
  123. #content{
  124. margin-top:30px;
  125. }
  126. .hljs{
  127. border:1px solid #104242;
  128. border-radius:0;
  129. padding:17px;
  130. }
  131. p .hljs{
  132. border:0;
  133. background:#232323;
  134. }
  135. blockquote{
  136. border-left: 1px solid #5B8E8E;
  137. }
  138. .chapter{
  139. font-family:'Inter', sans-serif;
  140. font-weight:700;
  141. font-size:1.1em;
  142. }
  143. .chapter-item{
  144. margin-top:0px;
  145. }
  146. table{
  147. width:100%;
  148. border:1px solid #1C1C1C;
  149. }
  150. thead{
  151. text-align:left;
  152. height:40px;
  153. border-bottom:1px solid #4B4B4B;
  154. }
  155. tr{
  156. height:40px;
  157. border-bottom:1px solid #4B4B4B;
  158. }
  159. .content ul{
  160. list-style-type: square;
  161. }
  162. .content a:hover{
  163. text-decoration: none; color:#C23D4C;
  164. }
  165. .content p a code:hover{
  166. text-decoration:none;
  167. color:#E76A78;
  168. }
  169. /* Code */
  170. .hljs-keyword{
  171. color:#29BFBF;
  172. }
  173. .hljs-literal{
  174. color:#B1ABDB;
  175. }
  176. .hljs-number{
  177. color:#C8838B;
  178. }
  179. .hljs-built_in{
  180. color:#FCB8F2;
  181. }
  182. .hljs-string{
  183. color:#9DE5EF;
  184. }
  185. .hljs-meta{
  186. color:#65C8FF;
  187. }
  188. .hljs-title{
  189. color:#BEFF03;
  190. }
  191. /* Notes */
  192. .footnote-definition{
  193. font-family:'IBMPlexMono', monospace;
  194. color:#5C6773;
  195. }