--- /dev/null
+@charset "UTF-8";
+
+/* terms ********************************************************************/
+
+.separator {
+ background: rgb(255, 255, 255);
+ color: rgb(0, 0, 0);
+}
+
+.sort {
+ background: rgb(255, 255, 255);
+ color: rgb(128, 0, 255);
+}
+
+.lref {
+ background: rgb(255, 255, 255);
+ color: rgb(0, 0, 0);
+}
+
+.gref {
+ background: rgb(255, 255, 255);
+ color: rgb(0, 0, 255);
+}
+
+.appl {
+ background: rgb(255, 255, 255);
+ color: rgb(0, 0, 0);
+}
+
+.cast {
+ background: rgb(255, 255, 255);
+ color: rgb(255, 0, 0);
+}
+
+.local {
+ background: rgb(255, 255, 255);
+ color: rgb(0, 160, 0);
+}
+
+.global {
+ background: rgb(255, 255, 255);
+ color: rgb(0, 0, 0);
+}