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

Diff of /web/site.cd

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

revision 980 by abate, Tue Jul 10 18:15:20 2007 UTC revision 981 by abate, Tue Jul 10 18:15:29 2007 UTC
# Line 40  Line 40 
40       | <section title=String>Content       | <section title=String>Content
41       | <sample highlight=?"true"|"false">String       | <sample highlight=?"true"|"false">String
42       | <xmlsample highlight=?"true"|"false">String       | <xmlsample highlight=?"true"|"false">String
43         | <sessionsample highlight=?"true"|"false">String
44       | H:Xtable       | H:Xtable
45       | Paper | Slides | Link       | Paper | Slides | Link
46       | <boxes-toc sections=?"">[]    (* the presence optional "section" attr produces  *)       | <boxes-toc sections=?"">[]    (* the presence optional "section" attr produces  *)
# Line 72  Line 73 
73    
74  (* Highlighting text between {{...}} *)  (* Highlighting text between {{...}} *)
75    
76  let highlight (String -> [ (Char | H:Xvar | H:Xi)* ] )  let highlight (String -> [ (Char | H:Xstrong | H:Xi)* ] )
77     | [ '{{%%' h ::(Char *?) '%%}}' ; rest ] ->
78              [ <strong class="highlight">[<i>h]; highlight rest ]
79   | [ '{{' h ::(Char *?) '}}' ; rest ] ->   | [ '{{' h ::(Char *?) '}}' ; rest ] ->
80            [ <var class="highlight">h; highlight rest ]            [ <strong class="highlight">h; highlight rest ]
81   | [ '%%' h ::(Char *?) '%%' ; rest ] ->   | [ '%%' h ::(Char *?) '%%' ; rest ] ->
82            [ <i>h; highlight rest ]            [ <i>h; highlight rest ]
83   | [ c; rest ] -> [ c; highlight rest ]   | [ c; rest ] -> [ c; highlight rest ]
# Line 179  Line 182 
182  pre {  pre {
183    margin: 1ex 1em 0 1em;    margin: 1ex 1em 0 1em;
184  }  }
185  var.highlight {  strong.highlight {
   font: roman;  
186    color: #FF0000;    color: #FF0000;
187  }  }
188  img.icon {  img.icon {
# Line 214  Line 216 
216  }  }
217    
218    
219    div.session
220     {
221      font: bold 80% helvetica;
222      margin: 1ex 1em 1ex 1em;
223      padding: 1ex 1em 1ex 1em;
224      border: solid .5px grey;
225    }
226    
227  div.abstract p {  div.abstract p {
228    font: sans-serif;    font: sans-serif;
229  }  }
# Line 274  Line 284 
284          [ <div class="xmlcode">[ <pre>s ] ]          [ <div class="xmlcode">[ <pre>s ] ]
285     | <xmlsample>s ->     | <xmlsample>s ->
286          [ <div class="xmlcode">[ <pre>(highlight s) ] ]          [ <div class="xmlcode">[ <pre>(highlight s) ] ]
287       | <sessionsample highlight="false">s ->
288            [ <div class="session">[ <pre>s ] ]
289       | <sessionsample>s ->
290            [ <div class="session">[ <pre>(highlight s) ] ]
291     | <link url=url title=title>com ->     | <link url=url title=title>com ->
292          [ <a href=url>title '. ' !(text com) ]          [ <a href=url>title '. ' !(text com) ]
293     | <ul>lis ->     | <ul>lis ->
Legend:
Removed from v.980  
changed lines
  Added in v.981
CVS Admin">CVS Admin
 ViewVC Help
Powered by ViewVC 1.1.5