base.css 4.6 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182
  1. body, html {
  2. margin:0; padding: 0;
  3. }
  4. body {
  5. font-family: Helvetica Neue, Helvetica,Arial;
  6. font-size: 10pt;
  7. }
  8. div.header, div.footer {
  9. background: #eee;
  10. padding: 1em;
  11. }
  12. div.header {
  13. z-index: 100;
  14. position: fixed;
  15. top: 0;
  16. border-bottom: 1px solid #666;
  17. width: 100%;
  18. }
  19. div.footer {
  20. border-top: 1px solid #666;
  21. }
  22. div.body {
  23. margin-top: 10em;
  24. }
  25. div.meta {
  26. font-size: 90%;
  27. text-align: center;
  28. }
  29. h1, h2, h3 {
  30. font-weight: normal;
  31. }
  32. h1 {
  33. font-size: 12pt;
  34. }
  35. h2 {
  36. font-size: 10pt;
  37. }
  38. pre {
  39. font-family: Consolas, Menlo, Monaco, monospace;
  40. margin: 0;
  41. padding: 0;
  42. line-height: 1.3;
  43. font-size: 14px;
  44. -moz-tab-size: 2;
  45. -o-tab-size: 2;
  46. tab-size: 2;
  47. }
  48. div.path { font-size: 110%; }
  49. div.path a:link, div.path a:visited { color: #000; }
  50. table.coverage { border-collapse: collapse; margin:0; padding: 0 }
  51. table.coverage td {
  52. margin: 0;
  53. padding: 0;
  54. color: #111;
  55. vertical-align: top;
  56. }
  57. table.coverage td.line-count {
  58. width: 50px;
  59. text-align: right;
  60. padding-right: 5px;
  61. }
  62. table.coverage td.line-coverage {
  63. color: #777 !important;
  64. text-align: right;
  65. border-left: 1px solid #666;
  66. border-right: 1px solid #666;
  67. }
  68. table.coverage td.text {
  69. }
  70. table.coverage td span.cline-any {
  71. display: inline-block;
  72. padding: 0 5px;
  73. width: 40px;
  74. }
  75. table.coverage td span.cline-neutral {
  76. background: #eee;
  77. }
  78. table.coverage td span.cline-yes {
  79. background: #b5d592;
  80. color: #999;
  81. }
  82. table.coverage td span.cline-no {
  83. background: #fc8c84;
  84. }
  85. .cstat-yes { color: #111; }
  86. .cstat-no { background: #fc8c84; color: #111; }
  87. .fstat-no { background: #ffc520; color: #111 !important; }
  88. .cbranch-no { background: yellow !important; color: #111; }
  89. .cstat-skip { background: #ddd; color: #111; }
  90. .fstat-skip { background: #ddd; color: #111 !important; }
  91. .cbranch-skip { background: #ddd !important; color: #111; }
  92. .missing-if-branch {
  93. display: inline-block;
  94. margin-right: 10px;
  95. position: relative;
  96. padding: 0 4px;
  97. background: black;
  98. color: yellow;
  99. }
  100. .skip-if-branch {
  101. display: none;
  102. margin-right: 10px;
  103. position: relative;
  104. padding: 0 4px;
  105. background: #ccc;
  106. color: white;
  107. }
  108. .missing-if-branch .typ, .skip-if-branch .typ {
  109. color: inherit !important;
  110. }
  111. .entity, .metric { font-weight: bold; }
  112. .metric { display: inline-block; border: 1px solid #333; padding: 0.3em; background: white; }
  113. .metric small { font-size: 80%; font-weight: normal; color: #666; }
  114. div.coverage-summary table { border-collapse: collapse; margin: 3em; font-size: 110%; }
  115. div.coverage-summary td, div.coverage-summary table th { margin: 0; padding: 0.25em 1em; border-top: 1px solid #666; border-bottom: 1px solid #666; }
  116. div.coverage-summary th { text-align: left; border: 1px solid #666; background: #eee; font-weight: normal; }
  117. div.coverage-summary th.file { border-right: none !important; }
  118. div.coverage-summary th.pic { border-left: none !important; text-align: right; }
  119. div.coverage-summary th.pct { border-right: none !important; }
  120. div.coverage-summary th.abs { border-left: none !important; text-align: right; }
  121. div.coverage-summary td.pct { text-align: right; border-left: 1px solid #666; }
  122. div.coverage-summary td.abs { text-align: right; font-size: 90%; color: #444; border-right: 1px solid #666; }
  123. div.coverage-summary td.file { border-left: 1px solid #666; white-space: nowrap; }
  124. div.coverage-summary td.pic { min-width: 120px !important; }
  125. div.coverage-summary a:link { text-decoration: none; color: #000; }
  126. div.coverage-summary a:visited { text-decoration: none; color: #777; }
  127. div.coverage-summary a:hover { text-decoration: underline; }
  128. div.coverage-summary tfoot td { border-top: 1px solid #666; }
  129. div.coverage-summary .sorter {
  130. height: 10px;
  131. width: 7px;
  132. display: inline-block;
  133. margin-left: 0.5em;
  134. background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
  135. }
  136. div.coverage-summary .sorted .sorter {
  137. background-position: 0 -20px;
  138. }
  139. div.coverage-summary .sorted-desc .sorter {
  140. background-position: 0 -10px;
  141. }
  142. .high { background: #b5d592 !important; }
  143. .medium { background: #ffe87c !important; }
  144. .low { background: #fc8c84 !important; }
  145. span.cover-fill, span.cover-empty {
  146. display:inline-block;
  147. border:1px solid #444;
  148. background: white;
  149. height: 12px;
  150. }
  151. span.cover-fill {
  152. background: #ccc;
  153. border-right: 1px solid #444;
  154. }
  155. span.cover-empty {
  156. background: white;
  157. border-left: none;
  158. }
  159. span.cover-full {
  160. border-right: none !important;
  161. }
  162. pre.prettyprint {
  163. border: none !important;
  164. padding: 0 !important;
  165. margin: 0 !important;
  166. }
  167. .com { color: #999 !important; }
  168. .ignore-none { color: #999; font-weight: normal; }