base.css 4.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212
  1. body, html {
  2. margin:0; padding: 0;
  3. height: 100%;
  4. }
  5. body {
  6. font-family: Helvetica Neue, Helvetica, Arial;
  7. font-size: 14px;
  8. color:#333;
  9. }
  10. .small { font-size: 12px;; }
  11. *, *:after, *:before {
  12. -webkit-box-sizing:border-box;
  13. -moz-box-sizing:border-box;
  14. box-sizing:border-box;
  15. }
  16. h1 { font-size: 20px; margin: 0;}
  17. h2 { font-size: 14px; }
  18. pre {
  19. font: 12px/1.4 Consolas, "Liberation Mono", Menlo, Courier, monospace;
  20. margin: 0;
  21. padding: 0;
  22. -moz-tab-size: 2;
  23. -o-tab-size: 2;
  24. tab-size: 2;
  25. }
  26. a { color:#0074D9; text-decoration:none; }
  27. a:hover { text-decoration:underline; }
  28. .strong { font-weight: bold; }
  29. .space-top1 { padding: 10px 0 0 0; }
  30. .pad2y { padding: 20px 0; }
  31. .pad1y { padding: 10px 0; }
  32. .pad2x { padding: 0 20px; }
  33. .pad2 { padding: 20px; }
  34. .pad1 { padding: 10px; }
  35. .space-left2 { padding-left:55px; }
  36. .space-right2 { padding-right:20px; }
  37. .center { text-align:center; }
  38. .clearfix { display:block; }
  39. .clearfix:after {
  40. content:'';
  41. display:block;
  42. height:0;
  43. clear:both;
  44. visibility:hidden;
  45. }
  46. .fl { float: left; }
  47. @media only screen and (max-width:640px) {
  48. .col3 { width:100%; max-width:100%; }
  49. .hide-mobile { display:none!important; }
  50. }
  51. .quiet {
  52. color: #7f7f7f;
  53. color: rgba(0,0,0,0.5);
  54. }
  55. .quiet a { opacity: 0.7; }
  56. .fraction {
  57. font-family: Consolas, 'Liberation Mono', Menlo, Courier, monospace;
  58. font-size: 10px;
  59. color: #555;
  60. background: #E8E8E8;
  61. padding: 4px 5px;
  62. border-radius: 3px;
  63. vertical-align: middle;
  64. }
  65. div.path a:link, div.path a:visited { color: #333; }
  66. table.coverage {
  67. border-collapse: collapse;
  68. margin: 10px 0 0 0;
  69. padding: 0;
  70. }
  71. table.coverage td {
  72. margin: 0;
  73. padding: 0;
  74. vertical-align: top;
  75. }
  76. table.coverage td.line-count {
  77. text-align: right;
  78. padding: 0 5px 0 20px;
  79. }
  80. table.coverage td.line-coverage {
  81. text-align: right;
  82. padding-right: 10px;
  83. min-width:20px;
  84. }
  85. table.coverage td span.cline-any {
  86. display: inline-block;
  87. padding: 0 5px;
  88. width: 100%;
  89. }
  90. .missing-if-branch {
  91. display: inline-block;
  92. margin-right: 5px;
  93. border-radius: 3px;
  94. position: relative;
  95. padding: 0 4px;
  96. background: #333;
  97. color: yellow;
  98. }
  99. .skip-if-branch {
  100. display: none;
  101. margin-right: 10px;
  102. position: relative;
  103. padding: 0 4px;
  104. background: #ccc;
  105. color: white;
  106. }
  107. .missing-if-branch .typ, .skip-if-branch .typ {
  108. color: inherit !important;
  109. }
  110. .coverage-summary {
  111. border-collapse: collapse;
  112. width: 100%;
  113. }
  114. .coverage-summary tr { border-bottom: 1px solid #bbb; }
  115. .keyline-all { border: 1px solid #ddd; }
  116. .coverage-summary td, .coverage-summary th { padding: 10px; }
  117. .coverage-summary tbody { border: 1px solid #bbb; }
  118. .coverage-summary td { border-right: 1px solid #bbb; }
  119. .coverage-summary td:last-child { border-right: none; }
  120. .coverage-summary th {
  121. text-align: left;
  122. font-weight: normal;
  123. white-space: nowrap;
  124. }
  125. .coverage-summary th.file { border-right: none !important; }
  126. .coverage-summary th.pct { }
  127. .coverage-summary th.pic,
  128. .coverage-summary th.abs,
  129. .coverage-summary td.pct,
  130. .coverage-summary td.abs { text-align: right; }
  131. .coverage-summary td.file { white-space: nowrap; }
  132. .coverage-summary td.pic { min-width: 120px !important; }
  133. .coverage-summary tfoot td { }
  134. .coverage-summary .sorter {
  135. height: 10px;
  136. width: 7px;
  137. display: inline-block;
  138. margin-left: 0.5em;
  139. background: url(sort-arrow-sprite.png) no-repeat scroll 0 0 transparent;
  140. }
  141. .coverage-summary .sorted .sorter {
  142. background-position: 0 -20px;
  143. }
  144. .coverage-summary .sorted-desc .sorter {
  145. background-position: 0 -10px;
  146. }
  147. .status-line { height: 10px; }
  148. /* dark red */
  149. .red.solid, .status-line.low, .low .cover-fill { background:#C21F39 }
  150. .low .chart { border:1px solid #C21F39 }
  151. /* medium red */
  152. .cstat-no, .fstat-no, .cbranch-no, .cbranch-no { background:#F6C6CE }
  153. /* light red */
  154. .low, .cline-no { background:#FCE1E5 }
  155. /* light green */
  156. .high, .cline-yes { background:rgb(230,245,208) }
  157. /* medium green */
  158. .cstat-yes { background:rgb(161,215,106) }
  159. /* dark green */
  160. .status-line.high, .high .cover-fill { background:rgb(77,146,33) }
  161. .high .chart { border:1px solid rgb(77,146,33) }
  162. .medium .chart { border:1px solid #666; }
  163. .medium .cover-fill { background: #666; }
  164. .cbranch-no { background: yellow !important; color: #111; }
  165. .cstat-skip { background: #ddd; color: #111; }
  166. .fstat-skip { background: #ddd; color: #111 !important; }
  167. .cbranch-skip { background: #ddd !important; color: #111; }
  168. span.cline-neutral { background: #eaeaea; }
  169. .medium { background: #eaeaea; }
  170. .cover-fill, .cover-empty {
  171. display:inline-block;
  172. height: 12px;
  173. }
  174. .chart {
  175. line-height: 0;
  176. }
  177. .cover-empty {
  178. background: white;
  179. }
  180. .cover-full {
  181. border-right: none !important;
  182. }
  183. pre.prettyprint {
  184. border: none !important;
  185. padding: 0 !important;
  186. margin: 0 !important;
  187. }
  188. .com { color: #999 !important; }
  189. .ignore-none { color: #999; font-weight: normal; }
  190. .wrapper {
  191. min-height: 100%;
  192. height: auto !important;
  193. height: 100%;
  194. margin: 0 auto -48px;
  195. }
  196. .footer, .push {
  197. height: 48px;
  198. }