diff.boxes.css 2.3 KB

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