Update upstream

2023-12-02 11:03:24 -08:00
parent 84ea557696
commit d472f6348d
129 changed files with 17814 additions and 14162 deletions
--- a/themes/Gray/pika.css
+++ b/themes/Gray/pika.css
@ -57,6 +57,7 @@

@define-color strong-border-color    rgb(80,80,80);
@define-color stronger-border-color  rgb(60,60,60);
+@define-color edge-border-color      rgb(60,60,60);

 /********* Colors for special cases *********/