6 Commits

Author	SHA1	Message	Date
Thaddeus Crews	cc6dd8d02c	Style: Optimize .svg files with svgo	2024-06-23 08:15:19 -05:00
VolTer	6f6fbb93be	Manually optimize a lot of SVGs	2023-05-27 20:03:44 +02:00
Yuri Sizov	49eddd22e0	Update icons and color conversion rules to simplify the palette	2022-01-29 01:03:39 +03:00
Hugo Locurcio	b60b6ddba4	Add a subtle background to editor scrollbars ... This makes it possible to see whether a scrollbar grabber is at the top or at the bottom of a scrollbar. Also, if a scrollable area is very large, this makes it easier to notice that the area can be scrolled (since the grabber is proportionally very small). The scrollbar grabbers were also made thicker and slightly more opaque for better visibility, especially in peripheral vision.	2021-04-05 02:04:45 +02:00
Aaron Franke	d8b65461e3	Commit only the SVG files changed by file_format.sh ... There were a lot of SVG files changed by file_format.sh	2020-07-13 14:08:55 -04:00
Hugo Locurcio	1f8c82df32	Use PascalCase file names for editor icons ... Using PascalCase file names without any conversion step is less confusing to new contributors.	2020-02-24 18:53:05 +01:00