customized.css 5.2 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270
  1. :root {
  2. --red: #a6511987; /* Red */
  3. --red-line-number: #FF8800EE;
  4. --red-file-name: #FF6600BB;
  5. --gray: #666666; /* Gray */
  6. --teal: #308080; /* Teal */
  7. --red-column-bg: #844F17;
  8. --green-column-bg: #00BB6633;
  9. --yellow-column-bg: #00FFFF33;
  10. --covered-line-row: #30907035;
  11. --uncovered-line-row: #000F;
  12. --bg: #2B2A33;
  13. --fg: #EFEAE8;
  14. --link-color: #26999CAA;
  15. --vert-border: #36799455;
  16. --title-border: #fff3;
  17. --code-title-color: #9ff7;
  18. --tint-black: #0002;
  19. }
  20. .column-entry-green {
  21. text-align: left;
  22. background-color: var(--green-column-bg);
  23. }
  24. .column-entry-yellow {
  25. text-align: left;
  26. background-color: var(--yellow-column-bg);
  27. }
  28. .column-entry-red {
  29. text-align: left;
  30. background-color: var(--red-column-bg);
  31. }
  32. .red {
  33. background-color: var(--red);
  34. color: white;
  35. font-weight: bold;
  36. }
  37. .cyan {
  38. background-color: var(--teal);
  39. }
  40. .blob.green { color: var(--teal); }
  41. .blob.grey { color: var(--gray); }
  42. .blob.red { color: var(--red); }
  43. .blob { background-color: unset; }
  44. .blob:nth-child(2) { padding: 0 5px; }
  45. .blob:nth-child(3) { padding: 0 5px 0 0; }
  46. body {
  47. font-family: "Helvetica Neue", -apple-system, sans-serif;
  48. background-color: var(--bg);
  49. color: var(--fg);
  50. }
  51. h1 { font-size: 35pt; letter-spacing: -2px; margin: 20px 0 10px 15px;}
  52. h2 { font-size: 22pt; font-weight: lighter; margin: 3px 0 0 48px;}
  53. h3 { font-size: 20pt; }
  54. h4 { font-size: 14pt; font-weight: lighter; margin: 3px 0 10px 50px;}
  55. h4 + p > a { color: var(--teal); filter: brightness(+1.9); }
  56. h5 { font-size: 10pt; font-weight: lighter; margin: 20px 0 10px 0; filter: brightness(0.5);}
  57. .source-name-title pre {
  58. padding: 4px 18px;
  59. border-bottom: 1px solid var(--title-border);
  60. line-height: 35px;
  61. color: var(--code-title-color);
  62. font-weight: lighter;
  63. font-size: 16pt;
  64. font-family: "Helvetica Neue", sans-serif !important;
  65. }
  66. .line-number pre {
  67. font-size: small;
  68. color: var(--code-title-color);
  69. filter: brightness(0.6);
  70. }
  71. .covered-line pre {
  72. font-size: small;
  73. color: var(--code-title-color);
  74. filter: brightness(0.6);
  75. }
  76. .uncovered-line pre {
  77. font-size: small;
  78. color: var(--red);
  79. filter: brightness(0.6);
  80. }
  81. .centered {
  82. display: table;
  83. margin-left: left;
  84. margin-right: auto;
  85. /*! border: 1px solid #367994; */
  86. /*! border-radius: 10pt; */
  87. }
  88. .expansion-view {
  89. background-color: var(--tint-black);
  90. margin-left: 0px;
  91. margin-top: 5px;
  92. margin-right: 5px;
  93. margin-bottom: 5px;
  94. /*! border: 1px solid #367994; */
  95. /*! border-radius: 3px; */
  96. }
  97. table {
  98. border-collapse: collapse;
  99. }
  100. .light-row {
  101. background: unset;
  102. border: 1px solid #36799444;
  103. }
  104. .light-row-bold {
  105. background: unset;
  106. border: 1px solid #36799444;
  107. font-weight: bold;
  108. }
  109. .column-entry {
  110. text-align: left;
  111. }
  112. .column-entry-bold, tr:last-child td:first-child {
  113. text-align: left;
  114. font-family: monospace;
  115. font-size: 16pt;
  116. padding: 10px 15px;
  117. }
  118. .line-number {
  119. text-align: right;
  120. color: #aaa;
  121. }
  122. .covered-line {
  123. text-align: right;
  124. color: #00cd9d;
  125. }
  126. .uncovered-line {
  127. text-align: right;
  128. color: #ff6600;
  129. }
  130. .tooltip {
  131. position: relative;
  132. display: inline;
  133. background-color: #b3e6ff;
  134. text-decoration: none;
  135. }
  136. .tooltip span.tooltip-content {
  137. position: absolute;
  138. width: 100px;
  139. margin-left: -50px;
  140. color: #FFFFFF;
  141. background: #000000;
  142. height: 30px;
  143. line-height: 30px;
  144. text-align: center;
  145. visibility: hidden;
  146. border-radius: 6px;
  147. }
  148. .tooltip span.tooltip-content:after {
  149. content: '';
  150. position: absolute;
  151. top: 100%;
  152. left: 50%;
  153. margin-left: -8px;
  154. width: 0; height: 0;
  155. border-top: 1px solid #367994;
  156. border-right: 1px solid transparent;
  157. border-left: 1px solid transparent;
  158. }
  159. :hover.tooltip span.tooltip-content {
  160. visibility: visible;
  161. opacity: 0.8;
  162. bottom: 30px;
  163. left: 50%;
  164. z-index: 999;
  165. }
  166. th, td {
  167. vertical-align: top;
  168. padding: 0px 10px;
  169. border-collapse: collapse;
  170. border-right: solid 1px var(--vert-border);
  171. border-left: solid 1px var(--vert-border);
  172. text-align: left;
  173. }
  174. td pre {
  175. display: inline-block;
  176. }
  177. td:first-child {
  178. border-left: none;
  179. }
  180. td:last-child {
  181. border-right: none;
  182. }
  183. tr:hover {
  184. background-color: #26415e87;
  185. }
  186. a {
  187. color: var(--link-color);
  188. text-decoration: unset;
  189. }
  190. tr:has(.covered-line) {
  191. background-color: var(--covered-line-row);
  192. }
  193. tr:has(.uncovered-line) {
  194. background-color: var(--uncovered-line-row);
  195. }
  196. tr:has(td.code .red) td.line-number pre {
  197. color: var(--red-line-number);
  198. }
  199. pre {
  200. margin-top: 0px !important;
  201. margin-bottom: 0px !important;
  202. font-size: 16pt;
  203. font-weight: lighter;
  204. }
  205. pre, code {
  206. font-family: monospace !important;
  207. }
  208. tr:first-child pre {
  209. font-family: "Helvetica Neue", sans-serif !important;
  210. font-size: 9pt;
  211. padding: 0 0 10pt 0;
  212. margin: -10pt 0 0 -4pt;
  213. font-weight: lighter;
  214. }
  215. tr:last-child td:first-child pre {
  216. font-family: "Helvetica Neue", sans-serif !important;
  217. font-size: 9pt;
  218. padding: 0 0 10pt 0;
  219. margin: -10pt 0 0 -4pt;
  220. font-weight: lighter;
  221. opacity: 0.7;
  222. }
  223. body > p:nth-child(4) {
  224. font-style: italic;
  225. font-weight: lighter;
  226. color: var(--fg);
  227. filter: brightness(0.50);
  228. margin: 0 0 10pt 40pt;
  229. font-size: small;
  230. }
  231. .column-entry-bold {
  232. font-family: "Helvetica Neue", sans-serif;
  233. font-size: 10pt;
  234. font-weight: lighter;
  235. }
  236. tr:has(td:nth-child(2).column-entry-red) td:first-child() pre a
  237. {
  238. color: var(--red-file-name);
  239. }