style.css 3.3 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194
  1. .red {
  2. background-color: #f004;
  3. }
  4. .cyan {
  5. background-color: cyan;
  6. }
  7. html {
  8. scroll-behavior: smooth;
  9. }
  10. body {
  11. font-family: -apple-system, sans-serif;
  12. }
  13. pre {
  14. margin-top: 0px !important;
  15. margin-bottom: 0px !important;
  16. }
  17. .source-name-title {
  18. padding: 5px 10px;
  19. border-bottom: 1px solid #8888;
  20. background-color: #0002;
  21. line-height: 35px;
  22. }
  23. .centered {
  24. display: table;
  25. margin-left: left;
  26. margin-right: auto;
  27. border: 1px solid #8888;
  28. border-radius: 3px;
  29. }
  30. .expansion-view {
  31. margin-left: 0px;
  32. margin-top: 5px;
  33. margin-right: 5px;
  34. margin-bottom: 5px;
  35. border: 1px solid #8888;
  36. border-radius: 3px;
  37. }
  38. table {
  39. border-collapse: collapse;
  40. }
  41. .light-row {
  42. border: 1px solid #8888;
  43. border-left: none;
  44. border-right: none;
  45. }
  46. .light-row-bold {
  47. border: 1px solid #8888;
  48. border-left: none;
  49. border-right: none;
  50. font-weight: bold;
  51. }
  52. .column-entry {
  53. text-align: left;
  54. }
  55. .column-entry-bold {
  56. font-weight: bold;
  57. text-align: left;
  58. }
  59. .column-entry-yellow {
  60. text-align: left;
  61. background-color: #ff06;
  62. }
  63. .column-entry-red {
  64. text-align: left;
  65. background-color: #f004;
  66. }
  67. .column-entry-gray {
  68. text-align: left;
  69. background-color: #fff4;
  70. }
  71. .column-entry-green {
  72. text-align: left;
  73. background-color: #0f04;
  74. }
  75. .line-number {
  76. text-align: right;
  77. }
  78. .covered-line {
  79. text-align: right;
  80. color: #06d;
  81. }
  82. .uncovered-line {
  83. text-align: right;
  84. color: #d00;
  85. }
  86. .uncovered-line.selected {
  87. color: #f00;
  88. font-weight: bold;
  89. }
  90. .region.red.selected {
  91. background-color: #f008;
  92. font-weight: bold;
  93. }
  94. .branch.red.selected {
  95. background-color: #f008;
  96. font-weight: bold;
  97. }
  98. .tooltip {
  99. position: relative;
  100. display: inline;
  101. background-color: #bef;
  102. text-decoration: none;
  103. }
  104. .tooltip span.tooltip-content {
  105. position: absolute;
  106. width: 100px;
  107. margin-left: -50px;
  108. color: #FFFFFF;
  109. background: #000000;
  110. height: 30px;
  111. line-height: 30px;
  112. text-align: center;
  113. visibility: hidden;
  114. border-radius: 6px;
  115. }
  116. .tooltip span.tooltip-content:after {
  117. content: '';
  118. position: absolute;
  119. top: 100%;
  120. left: 50%;
  121. margin-left: -8px;
  122. width: 0; height: 0;
  123. border-top: 8px solid #000000;
  124. border-right: 8px solid transparent;
  125. border-left: 8px solid transparent;
  126. }
  127. :hover.tooltip span.tooltip-content {
  128. visibility: visible;
  129. opacity: 0.8;
  130. bottom: 30px;
  131. left: 50%;
  132. z-index: 999;
  133. }
  134. th, td {
  135. vertical-align: top;
  136. padding: 2px 8px;
  137. border-collapse: collapse;
  138. border-right: 1px solid #8888;
  139. border-left: 1px solid #8888;
  140. text-align: left;
  141. }
  142. td pre {
  143. display: inline-block;
  144. text-decoration: inherit;
  145. }
  146. td:first-child {
  147. border-left: none;
  148. }
  149. td:last-child {
  150. border-right: none;
  151. }
  152. tr:hover {
  153. background-color: #eee;
  154. }
  155. tr:last-child {
  156. border-bottom: none;
  157. }
  158. tr:has(> td >a:target), tr:has(> td.uncovered-line.selected) {
  159. background-color: #8884;
  160. }
  161. a {
  162. color: inherit;
  163. }
  164. .control {
  165. position: fixed;
  166. top: 0em;
  167. right: 0em;
  168. padding: 1em;
  169. background: #FFF8;
  170. }
  171. @media (prefers-color-scheme: dark) {
  172. body {
  173. background-color: #222;
  174. color: whitesmoke;
  175. }
  176. tr:hover {
  177. background-color: #111;
  178. }
  179. .covered-line {
  180. color: #39f;
  181. }
  182. .uncovered-line {
  183. color: #f55;
  184. }
  185. .tooltip {
  186. background-color: #068;
  187. }
  188. .control {
  189. background: #2228;
  190. }
  191. tr:has(> td >a:target), tr:has(> td.uncovered-line.selected) {
  192. background-color: #8884;
  193. }
  194. }