@@ -912,6 +912,127 @@ background-color: #575757;
912
912
.ace_checkmark ::before {
913
913
content : '✓' ;
914
914
}
915
+ /*diffview.css*/
916
+ /*
917
+ * Line Markers
918
+ */
919
+ .ace_diff {
920
+ position : absolute;
921
+ z-index : 0 ;
922
+ }
923
+ .ace_diff .inline {
924
+ z-index : 20 ;
925
+ }
926
+ /*
927
+ * Light Colors
928
+ */
929
+ .ace_diff .insert {
930
+ background-color : # EFFFF1 ;
931
+ }
932
+ .ace_diff .delete {
933
+ background-color : # FFF1F1 ;
934
+ }
935
+ .ace_diff .aligned_diff {
936
+ background : rgba (206 , 194 , 191 , 0.26 );
937
+ background : repeating-linear-gradient (
938
+ 45deg ,
939
+ rgba (122 , 111 , 108 , 0.26 ),
940
+ rgba (122 , 111 , 108 , 0.26 ) 5px ,
941
+ rgba (0 , 0 , 0 , 0 ) 5px ,
942
+ rgba (0 , 0 , 0 , 0 ) 10px
943
+ );
944
+ }
945
+ .ace_diff .insert .inline {
946
+ background-color : rgb (74 251 74 / 18% );
947
+ }
948
+ .ace_diff .delete .inline {
949
+ background-color : rgb (251 74 74 / 15% );
950
+ }
951
+ .ace_diff .delete .inline .empty {
952
+ background-color : rgba (255 , 128 , 79 , 0.7 );
953
+ width : 2px !important ;
954
+ }
955
+ .ace_diff .insert .inline .empty {
956
+ background-color : rgba (49 , 230 , 96 , 0.7 );
957
+ width : 2px !important ;
958
+ }
959
+ .ace_diff-active-line {
960
+ border-bottom : 1px solid;
961
+ border-top : 1px solid;
962
+ background : transparent;
963
+ position : absolute;
964
+ box-sizing : border-box;
965
+ border-color : # 9191ac ;
966
+ }
967
+ .ace_dark .ace_diff-active-line {
968
+ background : transparent;
969
+ border-color : # 75777a ;
970
+ }
971
+ /* gutter changes */
972
+ .ace_mini-diff_gutter-enabled > .ace_gutter-cell ,
973
+ .ace_mini-diff_gutter-enabled > .ace_gutter-cell_svg-icons {
974
+ padding-right : 13px ;
975
+ }
976
+ .ace_mini-diff_gutter_other > .ace_gutter-cell ,
977
+ .ace_mini-diff_gutter_other > .ace_gutter-cell_svg-icons {
978
+ display : none;
979
+ }
980
+ .ace_mini-diff_gutter_other {
981
+ pointer-events : none;
982
+ }
983
+ .ace_mini-diff_gutter-enabled > .mini-diff-added {
984
+ background-color : # EFFFF1 ;
985
+ border-left : 3px solid # 2BB534 ;
986
+ padding-left : 16px ;
987
+ display : block;
988
+ }
989
+ .ace_mini-diff_gutter-enabled > .mini-diff-deleted {
990
+ background-color : # FFF1F1 ;
991
+ border-left : 3px solid # EA7158 ;
992
+ padding-left : 16px ;
993
+ display : block;
994
+ }
995
+ .ace_mini-diff_gutter-enabled > .mini-diff-added : after {
996
+ position : absolute;
997
+ right : 2px ;
998
+ content : "+" ;
999
+ color : darkgray;
1000
+ background-color : inherit;
1001
+ }
1002
+ .ace_mini-diff_gutter-enabled > .mini-diff-deleted : after {
1003
+ position : absolute;
1004
+ right : 2px ;
1005
+ content : "-" ;
1006
+ color : darkgray;
1007
+ background-color : inherit;
1008
+ }
1009
+ .ace_fade-fold-widgets : hover > .ace_folding-enabled > .mini-diff-added : after ,
1010
+ .ace_fade-fold-widgets : hover > .ace_folding-enabled > .mini-diff-deleted : after {
1011
+ display : none;
1012
+ }
1013
+ .ace_diff_other .ace_selection {
1014
+ filter : drop-shadow (1px 2px 3px darkgray);
1015
+ }
1016
+ .ace_hidden_marker-layer .ace_bracket {
1017
+ display : none;
1018
+ }
1019
+ /*
1020
+ * Dark Colors
1021
+ */
1022
+ .ace_dark .ace_diff .insert {
1023
+ background-color : # 212E25 ;
1024
+ }
1025
+ .ace_dark .ace_diff .delete {
1026
+ background-color : # 3F2222 ;
1027
+ }
1028
+ .ace_dark .ace_mini-diff_gutter-enabled > .mini-diff-added {
1029
+ background-color : # 212E25 ;
1030
+ border-left-color : # 00802F ;
1031
+ }
1032
+ .ace_dark .ace_mini-diff_gutter-enabled > .mini-diff-deleted {
1033
+ background-color : # 3F2222 ;
1034
+ border-left-color : # 9C3838 ;
1035
+ }
915
1036
/*snippets.css*/
916
1037
.ace_snippet-marker {
917
1038
-moz-box-sizing : border-box;
0 commit comments