|
dark/css
|
fix tooltip bg colors
|
2020-07-06 15:40:30 +02:00 |
|
dark-custom/css
|
Use variables for the rem values.
|
2020-03-31 15:26:23 +01:00 |
|
element/css
|
Revert "also blur the sticky headers"
|
2020-07-08 15:47:01 +02:00 |
|
light/css
|
fix tooltip bg colors
|
2020-07-06 15:40:30 +02:00 |
|
light-custom/css
|
allow changing the font-family
|
2020-06-23 17:53:40 +02:00 |
