The `top`, `left`, `bottom` and `right` fields are optional. If none are specified, then they are all set to true. Co-Authored-By: Nathan Sobo <nathan@zed.dev>
48 lines
1.2 KiB
TOML
48 lines
1.2 KiB
TOML
[ui]
|
|
background = "$elevation_1"
|
|
|
|
[ui.tab]
|
|
background = "$elevation_2"
|
|
text = "$text_dull"
|
|
border = { color = "#000000", width = 1.0 }
|
|
padding = { left = 10, right = 10 }
|
|
icon_close = "#383839"
|
|
icon_dirty = "#556de8"
|
|
icon_conflict = "#e45349"
|
|
|
|
[ui.active_tab]
|
|
extends = "ui.tab"
|
|
background = "$elevation_3"
|
|
text = "$text_bright"
|
|
|
|
[ui.selector]
|
|
background = "$elevation_4"
|
|
text = "$text_bright"
|
|
padding = { top = 6.0, bottom = 6.0, left = 6.0, right = 6.0 }
|
|
margin.top = 12.0
|
|
corner_radius = 6.0
|
|
shadow = { offset = [0.0, 0.0], blur = 12.0, color = "#00000088" }
|
|
|
|
[ui.selector.item]
|
|
background = "#424344"
|
|
text = "#cccccc"
|
|
highlight_text = { color = "#18a3ff", weight = "bold" }
|
|
border = { color = "#000000", width = 1.0 }
|
|
padding = { top = 6.0, bottom = 6.0, left = 6.0, right = 6.0 }
|
|
|
|
[ui.selector.active_item]
|
|
extends = "ui.selector.item"
|
|
background = "#094771"
|
|
|
|
[editor]
|
|
background = "$elevation_3"
|
|
gutter_background = "$elevation_3"
|
|
active_line_background = "$elevation_4"
|
|
line_number = "$text_dull"
|
|
line_number_active = "$text_bright"
|
|
text = "$text_normal"
|
|
replicas = [
|
|
{ selection = "#264f78", cursor = "$text_bright" },
|
|
{ selection = "#504f31", cursor = "#fcf154" },
|
|
]
|