_history.scss 2.8 KB

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