new theme settings for 1.0

2026-06-16 04:26:26 +02:00 · 2008-11-23 01:17:13 +00:00
parent 7d94bb57c6
commit 11dad8b58c
11 changed files with 11 additions and 0 deletions
@@ -0,0 +1,11 @@
+status.notice.bgcolor=#818b95
+header.bgcolor=#818b95
+buttons.bgcolor=#4a545e
+linestatus.bgcolor=#29333d
+editor.external.bgcolor=#c8d2dc
+editor.linehighlight.color=#c8d2dc
+editor.comment2.style=#777755,plain
+editor.comment1.style=#777755,plain
+editor.keyword2.style=#cc6600,plain
+editor.literal1.style=#006699,plain
+editor.literal2.style=#006699,plain