style.css 6.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375
  1. /* Licensed under the Apache License: http://www.apache.org/licenses/LICENSE-2.0 */
  2. /* For details: https://bitbucket.org/ned/coveragepy/src/default/NOTICE.txt */
  3. /* CSS styles for coverage.py. */
  4. /* Page-wide styles */
  5. html, body, h1, h2, h3, p, table, td, th {
  6. margin: 0;
  7. padding: 0;
  8. border: 0;
  9. outline: 0;
  10. font-weight: inherit;
  11. font-style: inherit;
  12. font-size: 100%;
  13. font-family: inherit;
  14. vertical-align: baseline;
  15. }
  16. /* Set baseline grid to 16 pt. */
  17. body {
  18. font-family: georgia, serif;
  19. font-size: 1em;
  20. }
  21. html>body {
  22. font-size: 16px;
  23. }
  24. /* Set base font size to 12/16 */
  25. p {
  26. font-size: .75em; /* 12/16 */
  27. line-height: 1.33333333em; /* 16/12 */
  28. }
  29. table {
  30. border-collapse: collapse;
  31. }
  32. td {
  33. vertical-align: top;
  34. }
  35. table tr.hidden {
  36. display: none !important;
  37. }
  38. p#no_rows {
  39. display: none;
  40. font-size: 1.2em;
  41. }
  42. a.nav {
  43. text-decoration: none;
  44. color: inherit;
  45. }
  46. a.nav:hover {
  47. text-decoration: underline;
  48. color: inherit;
  49. }
  50. /* Page structure */
  51. #header {
  52. background: #f8f8f8;
  53. width: 100%;
  54. border-bottom: 1px solid #eee;
  55. }
  56. #source {
  57. padding: 1em;
  58. font-family: Consolas, "Liberation Mono", Menlo, Courier, monospace;
  59. }
  60. .indexfile #footer {
  61. margin: 1em 3em;
  62. }
  63. .pyfile #footer {
  64. margin: 1em 1em;
  65. }
  66. #footer .content {
  67. padding: 0;
  68. font-size: 85%;
  69. font-family: verdana, sans-serif;
  70. color: #666666;
  71. font-style: italic;
  72. }
  73. #index {
  74. margin: 1em 0 0 3em;
  75. }
  76. /* Header styles */
  77. #header .content {
  78. padding: 1em 3em;
  79. }
  80. h1 {
  81. font-size: 1.25em;
  82. display: inline-block;
  83. }
  84. #filter_container {
  85. display: inline-block;
  86. float: right;
  87. margin: 0 2em 0 0;
  88. }
  89. #filter_container input {
  90. width: 10em;
  91. }
  92. h2.stats {
  93. margin-top: .5em;
  94. font-size: 1em;
  95. }
  96. .stats span {
  97. border: 1px solid;
  98. padding: .1em .25em;
  99. margin: 0 .1em;
  100. cursor: pointer;
  101. border-color: #999 #ccc #ccc #999;
  102. }
  103. .stats span.hide_run, .stats span.hide_exc,
  104. .stats span.hide_mis, .stats span.hide_par,
  105. .stats span.par.hide_run.hide_par {
  106. border-color: #ccc #999 #999 #ccc;
  107. }
  108. .stats span.par.hide_run {
  109. border-color: #999 #ccc #ccc #999;
  110. }
  111. .stats span.run {
  112. background: #ddffdd;
  113. }
  114. .stats span.exc {
  115. background: #eeeeee;
  116. }
  117. .stats span.mis {
  118. background: #ffdddd;
  119. }
  120. .stats span.hide_run {
  121. background: #eeffee;
  122. }
  123. .stats span.hide_exc {
  124. background: #f5f5f5;
  125. }
  126. .stats span.hide_mis {
  127. background: #ffeeee;
  128. }
  129. .stats span.par {
  130. background: #ffffaa;
  131. }
  132. .stats span.hide_par {
  133. background: #ffffcc;
  134. }
  135. /* Help panel */
  136. #keyboard_icon {
  137. float: right;
  138. margin: 5px;
  139. cursor: pointer;
  140. }
  141. .help_panel {
  142. position: absolute;
  143. background: #ffffcc;
  144. padding: .5em;
  145. border: 1px solid #883;
  146. display: none;
  147. }
  148. .indexfile .help_panel {
  149. width: 20em; height: 4em;
  150. }
  151. .pyfile .help_panel {
  152. width: 16em; height: 8em;
  153. }
  154. .help_panel .legend {
  155. font-style: italic;
  156. margin-bottom: 1em;
  157. }
  158. #panel_icon {
  159. float: right;
  160. cursor: pointer;
  161. }
  162. .keyhelp {
  163. margin: .75em;
  164. }
  165. .keyhelp .key {
  166. border: 1px solid black;
  167. border-color: #888 #333 #333 #888;
  168. padding: .1em .35em;
  169. font-family: monospace;
  170. font-weight: bold;
  171. background: #eee;
  172. }
  173. /* Source file styles */
  174. .linenos p {
  175. text-align: right;
  176. margin: 0;
  177. padding: 0 .5em;
  178. color: #999999;
  179. font-family: verdana, sans-serif;
  180. font-size: .625em; /* 10/16 */
  181. line-height: 1.6em; /* 16/10 */
  182. }
  183. .linenos p.highlight {
  184. background: #ffdd00;
  185. }
  186. .linenos p a {
  187. text-decoration: none;
  188. color: #999999;
  189. }
  190. .linenos p a:hover {
  191. text-decoration: underline;
  192. color: #999999;
  193. }
  194. td.text {
  195. width: 100%;
  196. }
  197. .text p {
  198. margin: 0;
  199. padding: 0 0 0 .5em;
  200. border-left: 2px solid #ffffff;
  201. white-space: pre;
  202. position: relative;
  203. }
  204. .text p.mis {
  205. background: #ffdddd;
  206. border-left: 2px solid #ff0000;
  207. }
  208. .text p.run, .text p.run.hide_par {
  209. background: #ddffdd;
  210. border-left: 2px solid #00ff00;
  211. }
  212. .text p.exc {
  213. background: #eeeeee;
  214. border-left: 2px solid #808080;
  215. }
  216. .text p.par, .text p.par.hide_run {
  217. background: #ffffaa;
  218. border-left: 2px solid #eeee99;
  219. }
  220. .text p.hide_run, .text p.hide_exc, .text p.hide_mis, .text p.hide_par,
  221. .text p.hide_run.hide_par {
  222. background: inherit;
  223. }
  224. .text span.annotate {
  225. font-family: georgia;
  226. color: #666;
  227. float: right;
  228. padding-right: .5em;
  229. }
  230. .text p.hide_par span.annotate {
  231. display: none;
  232. }
  233. .text span.annotate.long {
  234. display: none;
  235. }
  236. .text p:hover span.annotate.long {
  237. display: block;
  238. max-width: 50%;
  239. white-space: normal;
  240. float: right;
  241. position: absolute;
  242. top: 1.75em;
  243. right: 1em;
  244. width: 30em;
  245. height: auto;
  246. color: #333;
  247. background: #ffffcc;
  248. border: 1px solid #888;
  249. padding: .25em .5em;
  250. z-index: 999;
  251. border-radius: .2em;
  252. box-shadow: #cccccc .2em .2em .2em;
  253. }
  254. /* Syntax coloring */
  255. .text .com {
  256. color: green;
  257. font-style: italic;
  258. line-height: 1px;
  259. }
  260. .text .key {
  261. font-weight: bold;
  262. line-height: 1px;
  263. }
  264. .text .str {
  265. color: #000080;
  266. }
  267. /* index styles */
  268. #index td, #index th {
  269. text-align: right;
  270. width: 5em;
  271. padding: .25em .5em;
  272. border-bottom: 1px solid #eee;
  273. }
  274. #index th {
  275. font-style: italic;
  276. color: #333;
  277. border-bottom: 1px solid #ccc;
  278. cursor: pointer;
  279. }
  280. #index th:hover {
  281. background: #eee;
  282. border-bottom: 1px solid #999;
  283. }
  284. #index td.left, #index th.left {
  285. padding-left: 0;
  286. }
  287. #index td.right, #index th.right {
  288. padding-right: 0;
  289. }
  290. #index th.headerSortDown, #index th.headerSortUp {
  291. border-bottom: 1px solid #000;
  292. white-space: nowrap;
  293. background: #eee;
  294. }
  295. #index th.headerSortDown:after {
  296. content: " ↓";
  297. }
  298. #index th.headerSortUp:after {
  299. content: " ↑";
  300. }
  301. #index td.name, #index th.name {
  302. text-align: left;
  303. width: auto;
  304. }
  305. #index td.name a {
  306. text-decoration: none;
  307. color: #000;
  308. }
  309. #index tr.total,
  310. #index tr.total_dynamic {
  311. }
  312. #index tr.total td,
  313. #index tr.total_dynamic td {
  314. font-weight: bold;
  315. border-top: 1px solid #ccc;
  316. border-bottom: none;
  317. }
  318. #index tr.file:hover {
  319. background: #eeeeee;
  320. }
  321. #index tr.file:hover td.name {
  322. text-decoration: underline;
  323. color: #000;
  324. }
  325. /* scroll marker styles */
  326. #scroll_marker {
  327. position: fixed;
  328. right: 0;
  329. top: 0;
  330. width: 16px;
  331. height: 100%;
  332. background: white;
  333. border-left: 1px solid #eee;
  334. }
  335. #scroll_marker .marker {
  336. background: #eedddd;
  337. position: absolute;
  338. min-height: 3px;
  339. width: 100%;
  340. }