_history.scss 2.9 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214
  1. // Actual Diff
  2. #delta {
  3. margin: 2em 0;
  4. }
  5. // JSON
  6. @for $i from 0 through 16 {
  7. .diff-indent-#{$i} {
  8. padding-left: $i * 1.5rem;
  9. margin-left: 10px;
  10. }
  11. }
  12. .delta-html {
  13. background: $diff-json-bg;
  14. padding-top: 5px;
  15. padding-bottom: 5px;
  16. user-select: none;
  17. }
  18. .diff-line {
  19. color: $diff-json-fg;
  20. font-family: $font-family-monospace;
  21. font-size: $font-size-sm;
  22. line-height: 2;
  23. margin-bottom: 0;
  24. overflow: hidden;
  25. text-overflow: ellipsis;
  26. white-space: nowrap;
  27. position: relative;
  28. &:before,
  29. &:after {
  30. }
  31. &:after {
  32. left: -40px;
  33. }
  34. }
  35. .diff-line-number {
  36. color: $text-muted;
  37. display: inline-block;
  38. font-size: $font-size-xs;
  39. line-height: 2.3;
  40. text-align: right;
  41. width: 30px;
  42. }
  43. .diff-line-number-hide {
  44. visibility: hidden;
  45. }
  46. .diff-line-icon {
  47. color: $diff-json-icon;
  48. font-size: $font-size-xs;
  49. float: right;
  50. position: relative;
  51. top: 2px;
  52. right: 10px;
  53. }
  54. .diff-json-new,
  55. .diff-json-old,
  56. .diff-json-deleted,
  57. .diff-json-added {
  58. color: $diff-json-changed-fg;
  59. & .diff-line-number {
  60. color: $diff-json-changed-num;
  61. }
  62. }
  63. .diff-json-new {
  64. background-color: $diff-json-new;
  65. }
  66. .diff-json-old {
  67. background-color: $diff-json-old;
  68. }
  69. .diff-json-added {
  70. background-color: $diff-json-added;
  71. }
  72. .diff-json-deleted {
  73. background-color: $diff-json-deleted;
  74. }
  75. .diff-value {
  76. user-select: all;
  77. }
  78. // Basic
  79. .diff-circle {
  80. margin-right: 0.5em;
  81. }
  82. .diff-circle-changed {
  83. color: #f59433;
  84. }
  85. .diff-circle-added {
  86. color: #29d761;
  87. }
  88. .diff-circle-deleted {
  89. color: #fd474a;
  90. }
  91. .diff-item-added,
  92. .diff-item-deleted {
  93. list-style: none;
  94. }
  95. .diff-group {
  96. background: $diff-group-bg;
  97. font-size: 16px;
  98. font-style: normal;
  99. padding: 10px 15px;
  100. margin: 1rem 0;
  101. & .diff-group {
  102. padding: 0 5px;
  103. }
  104. }
  105. .diff-group-name {
  106. display: inline-block;
  107. width: 100%;
  108. font-size: 16px;
  109. padding-left: 1.75em;
  110. margin: 0 0 14px 0;
  111. }
  112. .diff-summary-key {
  113. padding-left: 0.25em;
  114. }
  115. .diff-list {
  116. padding-left: 40px;
  117. & .diff-list {
  118. padding-left: 0;
  119. }
  120. }
  121. .diff-item {
  122. color: $gray-2;
  123. line-height: 2.5;
  124. & > div {
  125. display: inline;
  126. }
  127. }
  128. .diff-item-changeset {
  129. list-style: none;
  130. }
  131. .diff-label {
  132. background-color: $diff-label-bg;
  133. border-radius: 3px;
  134. color: $diff-label-fg;
  135. display: inline;
  136. font-size: 0.95rem;
  137. margin: 0 5px;
  138. padding: 3px 8px;
  139. }
  140. .diff-linenum {
  141. float: right;
  142. }
  143. .diff-arrow {
  144. color: $diff-arrow-color;
  145. }
  146. .diff-block {
  147. width: 100%;
  148. display: inline-block;
  149. }
  150. .diff-block-title {
  151. font-size: 16px;
  152. display: inline-block;
  153. }
  154. .diff-title {
  155. font-size: 16px;
  156. }
  157. .diff-change-container {
  158. margin: 0 0;
  159. padding-left: 3em;
  160. padding-right: 0;
  161. }
  162. .diff-change-group {
  163. width: 100%;
  164. color: rgba(223, 224, 225, 0.6);
  165. margin-bottom: 14px;
  166. }
  167. .diff-change-item {
  168. display: inline-block;
  169. }
  170. .diff-change-title {
  171. font-size: 16px;
  172. }
  173. .bullet-position-container {
  174. position: relative;
  175. left: -6px;
  176. }
  177. .diff-list-circle {
  178. font-size: 10px;
  179. }