+@charset "UTF-8";
+
+a:link, a:visited {
+ text-decoration: underline;
+}
+
+a:active, a:hover, a:focus {
+ background: rgb(192, 255, 255);
+}
+
+.separator {
+ color: rgb(0, 0, 0);
+}
+
+.sort {
+ color: rgb(128, 0, 255);
+}
+
+.lref {
+ color: rgb(0, 0, 0);
+}
+
+.gref {
+ color: rgb(0, 0, 255);
+}
+
+.appl {
+ color: rgb(0, 0, 0);
+}
+
+.cast {
+ color: rgb(255, 0, 0);
+}
+
+.local {
+ color: rgb(0, 160, 0);
+}
+
+.global {
+ color: rgb(0, 0, 0);
+}