2000-08-11 10:24:39 +04:00
A : link { color : #0000DD }
A : visited { color : #551188 }
A : hover { color : #3333FF }
A : active { color : #FF00FF }
A * { text-decoration : inherit }
1999-01-30 04:19:00 +03:00
. title1 { font-family : "Times New Roman" , Times , serif ; font-size : 36 pt ; font-weight : bold ; color : #000000 ; white-space : nowrap }
. title2 { font-family : "Times New Roman" , Times , serif ; font-size : 18 pt ; font-weight : bold ; color : #000000 ; white-space : nowrap }
. top-title { color : #009900 }
2000-09-09 06:15:06 +04:00
. es-title { color : #999900 }
1999-05-11 01:02:22 +04:00
. draft-title { color : #FF0000 }
. mod-date { font-size : smaller ; font-style : italic ; text-align : right }
2001-09-25 07:50:36 +04:00
. syntax { margin-left : 36 pt }
. indent { margin-left : 36 pt }
1999-01-30 04:19:00 +03:00
. issue { color : #FF0000 }
2001-08-11 10:53:35 +04:00
. small-caps { font-variant : small-caps }
1999-01-30 04:19:00 +03:00
2000-08-11 10:24:39 +04:00
BODY { background-color : #FFFFFF ; color : #000000 }
DL { margin-left : 18 pt }
DD { margin-bottom : 6 pt }
DT { font-style : italic ; margin-top : 3 pt }
2000-09-09 06:15:06 +04:00
. js2 { background-color : #FFFF66 ; color : #000033 }
. js2-hidden { }
2001-02-07 08:07:37 +03:00
. es4 { background-color : #FFCCCC ; color : #333300 ; text-decoration : line-through }
2000-09-09 06:15:06 +04:00
. es4-hidden { }
1999-01-30 04:19:00 +03:00
. grammar-rule { margin-left : 18 pt ; margin-top : 6 pt ; margin-bottom : 6 pt }
. grammar-lhs { }
. grammar-rhs { margin-left : 9 pt ; }
. grammar-argument { margin-left : 18 pt ; margin-top : 6 pt ; margin-bottom : 6 pt }
2001-04-12 08:32:17 +04:00
. semantic-comment { margin-left : 9 pt ; margin-top : 9 pt ; margin-bottom : 0 pt }
1999-01-30 04:19:00 +03:00
2001-09-20 04:13:32 +04:00
. stmt { margin-left : 36 pt ; text-indent : -36 pt }
. lvl { margin-left : 18 pt }
2001-10-04 01:01:38 +04:00
. lvl-wide { margin-left : 18 pt ; margin-bottom : 6 pt }
2001-09-25 07:50:36 +04:00
. algorithm { margin-left : 9 pt ; margin-top : 6 pt ; margin-bottom : 6 pt }
. algorithm-indent { margin-left : 36 pt ; margin-top : 6 pt ; margin-bottom : 6 pt }
2001-09-20 04:13:32 +04:00
. algorithm-stmt { margin-left : 45 pt ; text-indent : -36 pt ; margin-top : 6 pt ; margin-bottom : 6 pt }
2000-08-11 10:24:39 +04:00
. symbol { font-family : Symbol }
. unicode { font-family : "Lucida Sans Unicode" , serif }
VAR , VAR A : link , VAR A : visited { font-family : Georgia , Palatino , "Times New Roman" , Times , serif ; font-weight : normal ; font-style : italic ; color : #336600 }
A : hover VAR , VAR A : hover { color : #003300 }
A : active VAR , VAR A : active { color : #00FF00 }
2001-10-12 04:24:59 +04:00
. var-sub { color : #336600 }
2000-08-11 10:24:39 +04:00
CODE , PRE { font-family : "Courier New" , Courier , mono ; color : #0000FF }
2001-09-25 07:50:36 +04:00
PRE { margin-left : 36 pt }
2000-08-11 10:24:39 +04:00
A : hover CODE { color : #3333CC }
A : active CODE { color : #6666FF }
2000-09-09 06:15:06 +04:00
. control , A . control : link , A . control : visited { font-family : "Times New Roman" , Times , serif ; font-weight : normal ; color : #000099 }
2000-08-11 10:24:39 +04:00
A . control : hover , A : hover . control { color : #333366 }
A . control : active , A : active . control { color : #3333FF }
2000-09-09 06:15:06 +04:00
. terminal , A . terminal : link , A . terminal : visited { font-family : Georgia , Palatino , "Times New Roman" , Times , serif ; font-weight : bold ; color : #009999 }
2000-08-11 10:24:39 +04:00
A . terminal : hover , A : hover . terminal { color : #336666 }
A . terminal : active , A : active . terminal { color : #00FFFF }
1999-01-30 04:19:00 +03:00
. terminal-keyword { font-weight : bold }
2001-10-12 04:24:59 +04:00
. terminal-sub { color : #009999 }
2000-09-09 06:15:06 +04:00
. nonterminal , A . nonterminal : link , A . nonterminal : visited , . nonterminal A : link , . nonterminal A : visited { font-family : Georgia , Palatino , "Times New Roman" , Times , serif ; font-weight : normal ; font-style : italic ; color : #009900 }
2000-08-11 10:24:39 +04:00
A . nonterminal : hover , . nonterminal A : hover , A : hover . nonterminal { color : #336633 }
A . nonterminal : active , . nonterminal A : active , A : active . nonterminal { color : #00FF00 }
2001-10-12 04:24:59 +04:00
. nonterminal-attribute { font-family : Arial , Helvetica , sans-serif ; color : #009900 }
. nonterminal-argument { color : #009900 }
. nonterminal-sub { color : #009900 }
1999-01-30 04:19:00 +03:00
. semantic-keyword { font-family : "Times New Roman" , Times , serif ; font-weight : bold }
2001-10-19 04:50:40 +04:00
. domain-name , A . domain-name : link , A . domain-name : visited { font-family : "Times New Roman" , Times , serif ; font-variant : small-caps ; color : #CC0000 }
A . domain-name : hover , A : hover . domain-name { color : #990000 }
A . domain-name : active , A : active . domain-name { color : #FF6666 }
. domain-sub { color : #CC0000 }
2001-04-12 08:32:17 +04:00
. tag-name , A . tag-name : link , A . tag-name : visited { font-family : Arial , Helvetica , sans-serif ; font-weight : bold ; color : #990000 }
A . tag-name : hover , A : hover . tag-name { color : #660000 }
A . tag-name : active , A : active . tag-name { color : #CC3333 }
. field-name , A . field-name : link , A . field-name : visited { font-family : Arial , Helvetica , sans-serif ; color : #663333 }
A . field-name : hover , A : hover . field-name { color : #333333 }
A . field-name : active , A : active . field-name { color : #996666 }
2001-10-12 04:24:59 +04:00
. field-sub { color : #663333 }
2000-09-09 06:15:06 +04:00
. global-variable , A . global-variable : link , A . global-variable : visited { font-family : "Times New Roman" , Times , serif ; color : #006600 }
2001-08-11 10:53:35 +04:00
A . global-variable : hover , A : hover . global-variable { color : #336633 }
A . global-variable : active , A : active . global-variable { color : #00FF00 }
2003-01-25 05:19:17 +03:00
. action-name , A . action-name : link , A . action-name : visited { font-family : "Comic Sans MS" , "Zapf Chancery" , Script , serif ; color : #660066 }
2000-08-11 10:24:39 +04:00
A . action-name : hover , A : hover . action-name { color : #663366 }
A . action-name : active , A : active . action-name { color : #FF00FF }
2001-09-20 04:13:32 +04:00
/* Obsolete styles */
. semantics { margin-left : 9 pt ; margin-top : 3 pt ; margin-bottom : 3 pt }
. semantics-next { margin-left : 27 pt ; margin-bottom : 3 pt }
2001-10-12 04:24:59 +04:00
. sub { font-size : 70 % }
. sub-num { font-size : 70 % ; font-style : normal }
. type-expression { color : #CC0000 }