33 lines
1.2 KiB
Plaintext
33 lines
1.2 KiB
Plaintext
<Theme name="EditorShellTheme">
|
|
<Tokens>
|
|
<Color name="color.bg.workspace" value="#1C1C1C" />
|
|
<Color name="color.bg.panel" value="#292929" />
|
|
<Color name="color.bg.accent" value="#3A3A3A" />
|
|
<Color name="color.bg.selection" value="#4A4A4A" />
|
|
<Color name="color.text.primary" value="#EEEEEE" />
|
|
<Color name="color.text.muted" value="#B0B0B0" />
|
|
<Spacing name="space.panel" value="12" />
|
|
<Spacing name="space.shell" value="18" />
|
|
<Radius name="radius.panel" value="10" />
|
|
<Radius name="radius.control" value="8" />
|
|
</Tokens>
|
|
|
|
<Widgets>
|
|
<Widget type="View" style="EditorWorkspace">
|
|
<Property name="background" value="color.bg.workspace" />
|
|
<Property name="padding" value="space.shell" />
|
|
</Widget>
|
|
|
|
<Widget type="Card" style="EditorPanel">
|
|
<Property name="background" value="color.bg.panel" />
|
|
<Property name="radius" value="radius.panel" />
|
|
<Property name="padding" value="space.panel" />
|
|
</Widget>
|
|
|
|
<Widget type="Button" style="EditorChip">
|
|
<Property name="background" value="color.bg.selection" />
|
|
<Property name="radius" value="radius.control" />
|
|
</Widget>
|
|
</Widgets>
|
|
</Theme>
|