zed/styles/dist
Antonio Scandurra 5d0c3c43e8 Add right padding to titlebar instead of margins on elements
This fixes a visual glitch causing the avatar to be shown too close to
the right edge of the window when the share icon was not present.
2022-05-02 09:27:37 +02:00
..
core.json Update token build script for figma 2022-04-28 14:08:59 -04:00
dark.json Add right padding to titlebar instead of margins on elements 2022-05-02 09:27:37 +02:00
light.json Add right padding to titlebar instead of margins on elements 2022-05-02 09:27:37 +02:00
solarized-dark.json Add right padding to titlebar instead of margins on elements 2022-05-02 09:27:37 +02:00
solarized-light.json Add right padding to titlebar instead of margins on elements 2022-05-02 09:27:37 +02:00
tokens.json Add right padding to titlebar instead of margins on elements 2022-05-02 09:27:37 +02:00