/[svn]/website/trunk/web/site.cd
ViewVC logotype

Diff of /website/trunk/web/site.cd

Parent Directory Parent Directory | Revision Log Revision Log | View Patch Patch

revision 1036 by abate, Tue Jul 10 18:15:29 2007 UTC revision 1037 by abate, Tue Jul 10 18:18:40 2007 UTC
# Line 78  Line 78 
78            [ <strong class="highlight">[<i>h]; highlight rest ]            [ <strong class="highlight">[<i>h]; highlight rest ]
79   | [ '{{' h ::(Char *?) '}}' ; rest ] ->   | [ '{{' h ::(Char *?) '}}' ; rest ] ->
80            [ <strong class="highlight">h; highlight rest ]            [ <strong class="highlight">h; highlight rest ]
81     | [ '$$%%' h ::(Char *?) '%%$$' ; rest ] ->
82              [ <strong class="ocaml">[<i>h]; highlight rest ]
83     | [ '$$' h ::(Char *?) '$$' ; rest ] ->
84              [ <strong class="ocaml">h; highlight rest ]
85   | [ '%%' h ::(Char *?) '%%' ; rest ] ->   | [ '%%' h ::(Char *?) '%%' ; rest ] ->
86            [ <i>h; highlight rest ]            [ <i>h; highlight rest ]
87   | [ c; rest ] -> [ c; highlight rest ]   | [ c; rest ] -> [ c; highlight rest ]
# Line 182  Line 186 
186  pre {  pre {
187    margin: 1ex 1em 0 1em;    margin: 1ex 1em 0 1em;
188  }  }
189    strong.ocaml{
190      color: #333b8e;
191    }
192  strong.highlight {  strong.highlight {
193    color: #FF0000;    color: #FF0000;
194  }  }
Legend:
Removed from v.1036  
changed lines
  Added in v.1037
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5