|
|
e1d70f2e58
|
Fix hover for known universes
|
2023-12-16 13:22:05 +01:00 |
|
|
|
e288ecb316
|
theming code buttons
|
2023-12-16 12:17:06 +01:00 |
|
|
|
175bd97c24
|
more theming in documentation panes
|
2023-12-16 12:13:14 +01:00 |
|
|
|
255b35240e
|
sync
|
2023-12-16 11:48:40 +01:00 |
|
|
|
96959e7b8f
|
slightly better again
|
2023-12-16 01:27:32 +01:00 |
|
|
|
427a6e470f
|
small progress
|
2023-12-15 22:42:06 +01:00 |
|
|
|
17e30a506e
|
more correct colors
|
2023-12-15 21:32:38 +01:00 |
|
|
|
278ab026cd
|
big theme refactoring has begun
|
2023-12-15 21:00:39 +01:00 |
|
|
|
94c1574d96
|
semantic color naming
|
2023-12-15 19:48:42 +01:00 |
|
|
|
fb4d311ba8
|
slow and tedious progress
|
2023-12-15 16:56:54 +01:00 |
|
|
|
eb103dbebd
|
remove as much colors as possible
|
2023-12-15 15:37:59 +01:00 |
|
|
|
eb5e1fb384
|
colors are detected but not applied
|
2023-12-15 15:16:05 +01:00 |
|
|
|
2e548b83f0
|
temp commit
|
2023-12-15 14:42:13 +01:00 |
|
|
|
0873340ec9
|
broken as always
|
2023-12-15 14:18:12 +01:00 |
|
|
|
e5cb18d8bf
|
install a new set of colors
|
2023-12-15 13:53:52 +01:00 |
|
|
|
eb8ef879e7
|
Rewrite part of evaluation logic, run prettier
|
2023-11-26 01:49:34 +01:00 |
|
|
|
9974487f79
|
new universe switching window
|
2023-08-27 12:29:57 +02:00 |
|
|
|
aff5e643ac
|
Init commit
|
2023-07-28 01:23:38 +02:00 |
|
