5 Commits

Author	SHA1	Message	Date
MewPurPur	93318d2dd5	Optimize and fix up some SVGs	2023-08-13 17:48:17 +03:00
VolTer	119456304b	Reduce the total size of our SVGs by 15%	2023-06-04 15:11:48 +02: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