You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

300 lines
5.1 KiB

  1. /* CSS styles for Coverage. */
  2. /* Page-wide styles */
  3. html, body, h1, h2, h3, p, td, th {
  4. margin: 0;
  5. padding: 0;
  6. border: 0;
  7. outline: 0;
  8. font-weight: inherit;
  9. font-style: inherit;
  10. font-size: 100%;
  11. font-family: inherit;
  12. vertical-align: baseline;
  13. }
  14. /* Set baseline grid to 16 pt. */
  15. body {
  16. font-family: georgia, serif;
  17. font-size: 1em;
  18. }
  19. html>body {
  20. font-size: 16px;
  21. }
  22. /* Set base font size to 12/16 */
  23. p {
  24. font-size: .75em; /* 12/16 */
  25. line-height: 1.33333333em; /* 16/12 */
  26. }
  27. table {
  28. border-collapse: collapse;
  29. }
  30. a.nav {
  31. text-decoration: none;
  32. color: inherit;
  33. }
  34. a.nav:hover {
  35. text-decoration: underline;
  36. color: inherit;
  37. }
  38. /* Page structure */
  39. #header {
  40. background: #f8f8f8;
  41. width: 100%;
  42. border-bottom: 1px solid #eee;
  43. }
  44. #source {
  45. padding: 1em;
  46. font-family: "courier new", monospace;
  47. }
  48. #indexfile #footer {
  49. margin: 1em 3em;
  50. }
  51. #pyfile #footer {
  52. margin: 1em 1em;
  53. }
  54. #footer .content {
  55. padding: 0;
  56. font-size: 85%;
  57. font-family: verdana, sans-serif;
  58. color: #666666;
  59. font-style: italic;
  60. }
  61. #index {
  62. margin: 1em 0 0 3em;
  63. }
  64. /* Header styles */
  65. #header .content {
  66. padding: 1em 3em;
  67. }
  68. h1 {
  69. font-size: 1.25em;
  70. }
  71. h2.stats {
  72. margin-top: .5em;
  73. font-size: 1em;
  74. }
  75. .stats span {
  76. border: 1px solid;
  77. padding: .1em .25em;
  78. margin: 0 .1em;
  79. cursor: pointer;
  80. border-color: #999 #ccc #ccc #999;
  81. }
  82. .stats span.hide_run, .stats span.hide_exc,
  83. .stats span.hide_mis, .stats span.hide_par,
  84. .stats span.par.hide_run.hide_par {
  85. border-color: #ccc #999 #999 #ccc;
  86. }
  87. .stats span.par.hide_run {
  88. border-color: #999 #ccc #ccc #999;
  89. }
  90. .stats span.run {
  91. background: #ddffdd;
  92. }
  93. .stats span.exc {
  94. background: #eeeeee;
  95. }
  96. .stats span.mis {
  97. background: #ffdddd;
  98. }
  99. .stats span.hide_run {
  100. background: #eeffee;
  101. }
  102. .stats span.hide_exc {
  103. background: #f5f5f5;
  104. }
  105. .stats span.hide_mis {
  106. background: #ffeeee;
  107. }
  108. .stats span.par {
  109. background: #ffffaa;
  110. }
  111. .stats span.hide_par {
  112. background: #ffffcc;
  113. }
  114. /* Help panel */
  115. #keyboard_icon {
  116. float: right;
  117. cursor: pointer;
  118. }
  119. .help_panel {
  120. position: absolute;
  121. background: #ffc;
  122. padding: .5em;
  123. border: 1px solid #883;
  124. display: none;
  125. }
  126. #indexfile .help_panel {
  127. width: 20em; height: 4em;
  128. }
  129. #pyfile .help_panel {
  130. width: 16em; height: 8em;
  131. }
  132. .help_panel .legend {
  133. font-style: italic;
  134. margin-bottom: 1em;
  135. }
  136. #panel_icon {
  137. float: right;
  138. cursor: pointer;
  139. }
  140. .keyhelp {
  141. margin: .75em;
  142. }
  143. .keyhelp .key {
  144. border: 1px solid black;
  145. border-color: #888 #333 #333 #888;
  146. padding: .1em .35em;
  147. font-family: monospace;
  148. font-weight: bold;
  149. background: #eee;
  150. }
  151. /* Source file styles */
  152. .linenos p {
  153. text-align: right;
  154. margin: 0;
  155. padding: 0 .5em;
  156. color: #999999;
  157. font-family: verdana, sans-serif;
  158. font-size: .625em; /* 10/16 */
  159. line-height: 1.6em; /* 16/10 */
  160. }
  161. .linenos p.highlight {
  162. background: #ffdd00;
  163. }
  164. .linenos p a {
  165. text-decoration: none;
  166. color: #999999;
  167. }
  168. .linenos p a:hover {
  169. text-decoration: underline;
  170. color: #999999;
  171. }
  172. td.text {
  173. width: 100%;
  174. }
  175. .text p {
  176. margin: 0;
  177. padding: 0 0 0 .5em;
  178. border-left: 2px solid #ffffff;
  179. white-space: nowrap;
  180. }
  181. .text p.mis {
  182. background: #ffdddd;
  183. border-left: 2px solid #ff0000;
  184. }
  185. .text p.run, .text p.run.hide_par {
  186. background: #ddffdd;
  187. border-left: 2px solid #00ff00;
  188. }
  189. .text p.exc {
  190. background: #eeeeee;
  191. border-left: 2px solid #808080;
  192. }
  193. .text p.par, .text p.par.hide_run {
  194. background: #ffffaa;
  195. border-left: 2px solid #eeee99;
  196. }
  197. .text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par,
  198. .text p.hide_run.hide_par {
  199. background: inherit;
  200. }
  201. .text span.annotate {
  202. font-family: georgia;
  203. font-style: italic;
  204. color: #666;
  205. float: right;
  206. padding-right: .5em;
  207. }
  208. .text p.hide_par span.annotate {
  209. display: none;
  210. }
  211. /* Syntax coloring */
  212. .text .com {
  213. color: green;
  214. font-style: italic;
  215. line-height: 1px;
  216. }
  217. .text .key {
  218. font-weight: bold;
  219. line-height: 1px;
  220. }
  221. .text .str {
  222. color: #000080;
  223. }
  224. /* index styles */
  225. #index td, #index th {
  226. text-align: right;
  227. width: 5em;
  228. padding: .25em .5em;
  229. border-bottom: 1px solid #eee;
  230. }
  231. #index th {
  232. font-style: italic;
  233. color: #333;
  234. border-bottom: 1px solid #ccc;
  235. cursor: pointer;
  236. }
  237. #index th:hover {
  238. background: #eee;
  239. border-bottom: 1px solid #999;
  240. }
  241. #index td.left, #index th.left {
  242. padding-left: 0;
  243. }
  244. #index td.right, #index th.right {
  245. padding-right: 0;
  246. }
  247. #index th.headerSortDown, #index th.headerSortUp {
  248. border-bottom: 1px solid #000;
  249. }
  250. #index td.name, #index th.name {
  251. text-align: left;
  252. width: auto;
  253. }
  254. #index td.name a {
  255. text-decoration: none;
  256. color: #000;
  257. }
  258. #index td.name a:hover {
  259. text-decoration: underline;
  260. color: #000;
  261. }
  262. #index tr.total {
  263. }
  264. #index tr.total td {
  265. font-weight: bold;
  266. border-top: 1px solid #ccc;
  267. border-bottom: none;
  268. }
  269. #index tr.file:hover {
  270. background: #eeeeee;
  271. }