_history.scss 2.8 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182
  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, &:after {
  29. }
  30. &:after { left: -40px; }
  31. }
  32. .diff-line-number {
  33. color: $text-muted;
  34. display: inline-block;
  35. font-size: $font-size-xs;
  36. line-height: 2.3;
  37. text-align: right;
  38. width: 30px;
  39. }
  40. .diff-line-number-hide { visibility: hidden; }
  41. .diff-line-icon {
  42. color: $diff-json-icon;
  43. font-size: $font-size-xs;
  44. float: right;
  45. position: relative;
  46. top: 2px;
  47. right: 10px;
  48. }
  49. .diff-json-new,
  50. .diff-json-old,
  51. .diff-json-deleted,
  52. .diff-json-added, {
  53. color: $diff-json-changed-fg;
  54. & .diff-line-number { color: $diff-json-changed-num; }
  55. }
  56. .diff-json-new { background-color: $diff-json-new; }
  57. .diff-json-old { background-color: $diff-json-old; }
  58. .diff-json-added { background-color: $diff-json-added; }
  59. .diff-json-deleted { background-color: $diff-json-deleted; }
  60. .diff-value {
  61. user-select: all;
  62. }
  63. // Basic
  64. .diff-circle { margin-right: .5em; }
  65. .diff-circle-changed { color: #f59433; }
  66. .diff-circle-added { color: #29D761; }
  67. .diff-circle-deleted { color: #fd474a; }
  68. .diff-item-added, .diff-item-deleted { list-style: none; }
  69. .diff-group {
  70. background: $diff-group-bg;
  71. font-size: 16px;
  72. font-style: normal;
  73. padding: 10px 15px;
  74. margin: 1rem 0;
  75. & .diff-group { padding: 0 5px; }
  76. }
  77. .diff-group-name {
  78. display: inline-block;
  79. width: 100%;
  80. font-size: 16px;
  81. padding-left: 1.75em;
  82. margin: 0 0 14px 0;
  83. }
  84. .diff-summary-key {
  85. padding-left: .25em;
  86. }
  87. .diff-list {
  88. padding-left: 40px;
  89. & .diff-list { padding-left: 0; }
  90. }
  91. .diff-item {
  92. color: $gray-2;
  93. line-height: 2.5;
  94. & > div { display: inline; }
  95. }
  96. .diff-item-changeset {
  97. list-style: none;
  98. }
  99. .diff-label {
  100. background-color: $diff-label-bg;
  101. border-radius: 3px;
  102. color: $diff-label-fg;
  103. display: inline;
  104. font-size: .95rem;
  105. margin: 0 5px;
  106. padding: 3px 8px;
  107. }
  108. .diff-linenum {
  109. float: right;
  110. }
  111. .diff-arrow {
  112. color: $diff-arrow-color;
  113. }
  114. .diff-block {
  115. width: 100%;
  116. display: inline-block;
  117. }
  118. .diff-block-title {
  119. font-size: 16px;
  120. display: inline-block;
  121. }
  122. .diff-title {
  123. font-size: 16px;
  124. }
  125. .diff-change-container {
  126. margin: 0 0;
  127. padding-left: 3em;
  128. padding-right: 0;
  129. }
  130. .diff-change-group {
  131. width: 100%;
  132. color: rgba(223,224,225, .6);
  133. margin-bottom: 14px;
  134. }
  135. .diff-change-item {
  136. display: inline-block;
  137. }
  138. .diff-change-title {
  139. font-size: 16px;
  140. }
  141. .bullet-position-container {
  142. position: relative;
  143. left: -6px;
  144. }
  145. .diff-list-circle {
  146. font-size: 10px;
  147. }