diff.boxes.css 2.4 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139
  1. html.js .diff-js-hidden {
  2. display: none;
  3. }
  4. /* Reset as many core themes as possible */
  5. table.diff {
  6. font-size: 0.923em;
  7. margin: 0 0 10px;
  8. border: 0 none;
  9. width: 98%;
  10. border-spacing: 5px;
  11. table-layout: fixed;
  12. border-collapse: separate;
  13. }
  14. table.diff tr td:last-child {
  15. border-right: inherit;
  16. }
  17. table.diff td,
  18. table.diff th {
  19. vertical-align: middle;
  20. border: 0 none;
  21. color: #000;
  22. text-transform: none;
  23. background: none;
  24. border-spacing: 4px;
  25. padding: 4px 8px;
  26. }
  27. table.diff tr,
  28. table.diff tr.even {
  29. background: none;
  30. }
  31. table.diff tr th,
  32. table.diff tr th a,
  33. table.diff tr th a:hover {
  34. color: inherit;
  35. font-weight: bold;
  36. }
  37. table.diff tr.even,
  38. table.diff tr.odd {
  39. border-width: 0;
  40. border-style: none;
  41. background: transparent;
  42. }
  43. table.diff th a {
  44. display: inline;
  45. }
  46. /* Main theming */
  47. table.diff,
  48. td.diff-number {
  49. background-color: white;
  50. }
  51. table.diff td.diff-lineno {
  52. font-weight: bold;
  53. }
  54. table.diff td.diff-addedline,
  55. table.diff td.diff-deletedline,
  56. table.diff td.diff-context {
  57. font-size: 88%;
  58. vertical-align: top;
  59. white-space: -moz-pre-wrap;
  60. white-space: pre-wrap;
  61. }
  62. table.diff td.diff-addedline,
  63. table.diff td.diff-deletedline {
  64. border-style: solid;
  65. border-width: 1px 1px 1px 4px;
  66. border-radius: 0.33em;
  67. }
  68. table.diff td.diff-context {
  69. background: #f3f3f3;
  70. color: #333333;
  71. border-style: solid;
  72. border-width: 1px 1px 1px 4px;
  73. border-color: #e6e6e6;
  74. border-radius: 0.33em;
  75. }
  76. table.diff td.diff-addedline {
  77. border-color: #a3d3ff;
  78. background: #ffffff;
  79. border: 1px 1px 1px 3px;
  80. }
  81. table.diff td.diff-deletedline {
  82. border-color: #ffe49c;
  83. }
  84. .diffchange {
  85. font-weight: bold;
  86. text-decoration: none;
  87. }
  88. table.diff td.diff-addedline .diffchange,
  89. table.diff td.diff-deletedline .diffchange {
  90. border-radius: 0.33em;
  91. padding: 0.25em 0;
  92. }
  93. table.diff td.diff-addedline .diffchange {
  94. background: #d8ecff;
  95. }
  96. table.diff td.diff-deletedline .diffchange {
  97. background: #feeec8;
  98. }
  99. table.diff table.diff td {
  100. padding: 0.33em 0.66em;
  101. }
  102. table.diff td.diff-marker {
  103. width: 2%;
  104. text-align: right;
  105. font-weight: bold;
  106. font-size: 1.25em;
  107. }
  108. table.diff col.diff-content {
  109. width: 48%;
  110. }
  111. table.diff table.diff td div {
  112. word-wrap: break-word;
  113. overflow: auto;
  114. }
  115. td.diff-prevlink {
  116. text-align: left;
  117. }
  118. td.diff-nextlink {
  119. text-align: right;
  120. }
  121. table.diff-revisions tr.revision-published td {
  122. background-color: #aaffaa;
  123. }