diff trunk/src/format.css @ 322:ed4ef0173793

- Moved out large TOK switch case to function printToken(). - Renamed tokensToXML() to tokensToDoc() and added parameter 'options'. - Not using string literals anymore to print XML tags. Created an enum and two tables, for XML and HTML, with entries for every tag that needs to be printed. - Added function getShortClassName() which returns the short class name of a class that inherits from Node. - Added new styles to and changed some in format.css.
author aziz
date Mon, 20 Aug 2007 19:59:04 +0000
parents 29c33ce6c5bb
children 39f93a4ec416
line wrap: on
line diff
--- a/trunk/src/format.css	Mon Aug 20 19:47:03 2007 +0000
+++ b/trunk/src/format.css	Mon Aug 20 19:59:04 2007 +0000
@@ -1,5 +1,5 @@
 @charset "utf-8";
-compilerinfo, sourcetext {
+compilerinfo, sourcecode {
   display: block;
   white-space: pre;
   font-family: Monospace;
@@ -17,9 +17,9 @@
 /* Keyword */
 k { color: darkblue; font-weight: bold; }
 /* Line and block comments */
-c[c=l], c[c=b] { color: green; }
+c[t=l], c[t=b] { color: green; }
 /* Nested comments */
-c[c=n] { color: darkgreen; }
+c[t=n] { color: darkgreen; }
 /* Identifier */
 i { color: black; }
 /* String literal */
@@ -35,10 +35,22 @@
 /* When the first line starts with #! it's a "shebang" */
 shebang { color: gray; }
 /* Particular operators */
-op[c=aa] { content: "and"; } /*&& ∧*/
-op[c=oo] { content: "or"; } /*|| ∨*/
-op[c=n] { content: "¬"; } /*!*/
-op[c=ne] { content: "≠"; } /*!=*/
-op[c=le] { content: "≤"; } /*<=*/
-op[c=ge] { content: "≥"; } /*>=*/
-op[c=lg] { content: "≶"; } /*<>*/
+op[t=aa] { content: "and"; } /*&& ∧*/
+op[t=oo] { content: "or"; } /*|| ∨*/
+op[t=n] { content: "¬"; } /*!*/
+op[t=ne] { content: "≠"; } /*!=*/
+op[t=le] { content: "≤"; } /*<=*/
+op[t=ge] { content: "≥"; } /*>=*/
+op[t=lg] { content: "≶"; } /*<>*/
+
+/*
+d = Declaration
+s = Statement
+e = Expression
+t = Type
+o = Other
+*/
+/* d { background-color: #FFDDDD; } */
+/* e { background-color: #DDDDFF;} */
+d[t=Module] i, d[t=Import] i { color: blue; }
+t i { color: #119; }
\ No newline at end of file