mypy-html.css 1.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104
  1. /* CSS for type check coverage reports */
  2. /*
  3. Used by both summary and file.
  4. */
  5. body {
  6. font-family: "Helvetica Neue", sans-serif;
  7. }
  8. /*
  9. Used only by summary.
  10. */
  11. h1 {
  12. text-align: center;
  13. font-size: 135%;
  14. margin: 20px;
  15. }
  16. table.summary {
  17. border-collapse: collapse;
  18. margin-left: 7%;
  19. margin-right: 7%;
  20. width: 85%;
  21. }
  22. table caption {
  23. margin: 1em;
  24. }
  25. table.summary, tr.summary, th.summary, td.summary {
  26. border: 1px solid #aaa;
  27. }
  28. th.summary, td.summary {
  29. padding: 0.4em;
  30. }
  31. td.summary a {
  32. text-decoration: none;
  33. }
  34. .summary-quality-0 {
  35. background-color: #dfd;
  36. }
  37. .summary-quality-1 {
  38. background-color: #ffa;
  39. }
  40. .summary-quality-2 {
  41. background-color: #faa;
  42. }
  43. td.summary-filename, th.summary-filename {
  44. text-align: left;
  45. }
  46. td.summary-filename {
  47. width: 50%;
  48. }
  49. .summary-precision {
  50. text-align: center;
  51. }
  52. .summary-lines {
  53. text-align: center;
  54. }
  55. /*
  56. Used only by file.
  57. */
  58. td.table-lines {
  59. text-align: right;
  60. padding-right: 0.5em;
  61. }
  62. td.table-code { }
  63. span.lineno {
  64. text-align: right;
  65. }
  66. a:link.lineno, a:visited.lineno {
  67. color: #999; text-decoration: none;
  68. }
  69. a:hover.lineno, a:active.lineno {
  70. color: #000; text-decoration: underline;
  71. }
  72. .line-empty, .line-precise {
  73. background-color: #dfd;
  74. }
  75. .line-imprecise {
  76. background-color: #ffa;
  77. }
  78. .line-any, .line-unanalyzed {
  79. background-color: #faa;
  80. }