You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
120 lines
3.5 KiB
120 lines
3.5 KiB
9 months ago
|
if $highlight_theme == 'darker' || ($highlight_theme == 'mac')
|
||
|
|
$highlight-background = #212121
|
||
|
|
$highlight-selection = #61616150
|
||
|
|
$highlight-foreground = #EEFFFF
|
||
|
|
$highlight-mac-border = rgba(0, 0, 0, .4)
|
||
|
|
$highlight-gutter = {
|
||
|
|
color: alpha($highlight-foreground, .5),
|
||
|
|
bg-color: $highlight-background
|
||
|
|
}
|
||
|
|
$highlight-tools = {
|
||
|
|
color: alpha($highlight-foreground, .8),
|
||
|
|
bg-color: darken($highlight-background, 2)
|
||
|
|
}
|
||
|
|
$highlight-scrollbar = lighten($highlight-background, 8)
|
||
|
|
|
||
|
|
if $highlight_enable
|
||
|
|
$highlight-comment = #969896
|
||
|
|
$highlight-red = #FF5370
|
||
|
|
$highlight-orange = #F78C6C
|
||
|
|
$highlight-yellow = #FFCB6B
|
||
|
|
$highlight-green = #C3E88D
|
||
|
|
$highlight-aqua = #89DDFF
|
||
|
|
$highlight-blue = #82AAFF
|
||
|
|
$highlight-purple = #C792EA
|
||
|
|
$highlight-deletion = #BF42BF
|
||
|
|
$highlight-addition = #105EDE
|
||
|
|
|
||
|
|
if $highlight_theme == 'pale night'
|
||
|
|
$highlight-background = #292D3E
|
||
|
|
$highlight-selection = #717CB450
|
||
|
|
$highlight-foreground = #A6ACCD
|
||
|
|
$highlight-gutter = {
|
||
|
|
color: alpha($highlight-foreground, .5),
|
||
|
|
bg-color: $highlight-background
|
||
|
|
}
|
||
|
|
$highlight-tools = {
|
||
|
|
color: $highlight-foreground,
|
||
|
|
bg-color: darken($highlight-background, 2)
|
||
|
|
}
|
||
|
|
$highlight-scrollbar = lighten($highlight-background, 8)
|
||
|
|
|
||
|
|
if $highlight_enable
|
||
|
|
$highlight-comment = #676E95
|
||
|
|
$highlight-red = #FF5370
|
||
|
|
$highlight-orange = #F78C6C
|
||
|
|
$highlight-yellow = #FFCB6B
|
||
|
|
$highlight-green = #C3E88D
|
||
|
|
$highlight-aqua = #89DDFF
|
||
|
|
$highlight-blue = #82AAFF
|
||
|
|
$highlight-purple = #C792EA
|
||
|
|
$highlight-deletion = #BF42BF
|
||
|
|
$highlight-addition = #105EDE
|
||
|
|
|
||
|
|
if $highlight_theme == 'ocean'
|
||
|
|
$highlight-background = #0F111A
|
||
|
|
$highlight-selection = #717CB450
|
||
|
|
$highlight-foreground = #8F93A2
|
||
|
|
$highlight-gutter = {
|
||
|
|
color: alpha($highlight-foreground, .5),
|
||
|
|
bg-color: $highlight-background
|
||
|
|
}
|
||
|
|
$highlight-tools = {
|
||
|
|
color: $highlight-foreground,
|
||
|
|
bg-color: darken($highlight-background, 2)
|
||
|
|
}
|
||
|
|
$highlight-scrollbar = lighten($highlight-background, 8)
|
||
|
|
|
||
|
|
if $highlight_enable
|
||
|
|
$highlight-comment = rgba(101, 115, 126, .8)
|
||
|
|
$highlight-red = #FF5370
|
||
|
|
$highlight-orange = #F78C6C
|
||
|
|
$highlight-yellow = #FFCB6B
|
||
|
|
$highlight-green = #C3E88D
|
||
|
|
$highlight-aqua = #89DDFF
|
||
|
|
$highlight-blue = #82AAFF
|
||
|
|
$highlight-purple = #C792EA
|
||
|
|
$highlight-deletion = #BF42BF
|
||
|
|
$highlight-addition = #105EDE
|
||
|
|
|
||
|
|
if $highlight_theme == 'light' || ($highlight_theme == 'mac light')
|
||
|
|
$highlight-background = #F6F8FA
|
||
|
|
$highlight-selection = #80CBC440
|
||
|
|
$highlight-foreground = #90A4AE
|
||
|
|
$highlight-mac-border = rgba(144, 164, 174, .4)
|
||
|
|
$highlight-tools = {
|
||
|
|
color: $highlight-foreground,
|
||
|
|
bg-color: darken($highlight-background, 5)
|
||
|
|
}
|
||
|
|
$highlight-gutter = {
|
||
|
|
color: alpha($highlight-foreground, .5),
|
||
|
|
bg-color: $highlight-background
|
||
|
|
}
|
||
|
|
$highlight-scrollbar = darken($highlight-background, 8)
|
||
|
|
|
||
|
|
if $highlight_enable
|
||
|
|
$highlight-comment = rgba(149, 165, 166, .8)
|
||
|
|
$highlight-red = #E53935
|
||
|
|
$highlight-orange = #F76D47
|
||
|
|
$highlight-yellow = #FFB62C
|
||
|
|
$highlight-green = #91B859
|
||
|
|
$highlight-aqua = #39ADB5
|
||
|
|
$highlight-blue = #6182B8
|
||
|
|
$highlight-purple = #7C4DFF
|
||
|
|
$highlight-deletion = #BF42BF
|
||
|
|
$highlight-addition = #105EDE
|
||
|
|
|
||
|
|
if $highlight_theme == false
|
||
|
|
$highlight-background = #F6F8FA
|
||
|
|
$highlight-foreground = #90A4AE
|
||
|
|
$highlight-selection = #80CBC440
|
||
|
|
$highlight-gutter = {
|
||
|
|
color: alpha($highlight-foreground, .5),
|
||
|
|
bg-color: $highlight-background
|
||
|
|
}
|
||
|
|
$highlight-tools = {
|
||
|
|
color: $highlight-foreground,
|
||
|
|
bg-color: darken($highlight-background, 5)
|
||
|
|
}
|
||
|
|
$highlight-scrollbar = darken($highlight-background, 8)
|