[r2004-01-31 10:16:27 by beppe] Empty log message

Original author: beppe
Date: 2004-01-31 10:16:27+00:00

web/site.cd

@@ -39,6 +39,7 @@ type Content =
      | <ul {||}>[<li {||}>Content +]
      | <section title=String>Content
      | <sample highlight=?"true"|"false">String
+     | <xmlsample highlight=?"true"|"false">String
      | H:Xtable
      | Paper | Slides | Link
      | <boxes-toc sections=?"">[]    (* the presence optional "section" attr produces  *)
@@ -179,6 +180,7 @@ pre {
   margin: 1ex 1em 0 1em;
 }
 var.highlight {
+  font: roman; 
   color: #FF0000;
 }
 img.icon {
@@ -190,6 +192,11 @@ div.code {
   padding: 0.2ex;
 }
 
+div.xmlcode {
+  background: #ebefa2;
+  margin: 0.5ex 0.5em 0 0.5em;
+  padding: 0.2ex;
+}
 
 div.abstract { 
   font: bold helvetica;
@@ -199,6 +206,7 @@ div.abstract {
 }
 
 div.note { 
+  text-align: justify;
   font: bold helvetica;
   margin: 1ex 3em 1ex 3em;
   padding: 1ex 1em 1ex 1em;
@@ -262,6 +270,10 @@ match page with
         [ <div class="code">[ <pre>s ] ]
    | <sample>s ->
         [ <div class="code">[ <pre>(highlight s) ] ]
+   | <xmlsample highlight="false">s ->
+        [ <div class="xmlcode">[ <pre>s ] ]
+   | <xmlsample>s ->
+        [ <div class="xmlcode">[ <pre>(highlight s) ] ]
    | <link url=url title=title>com -> 
         [ <a href=url>title '. ' !(text com) ]
    | <ul>lis -> 

web/tutorial/getting_started.xml

@@ -122,14 +122,14 @@ Note the blank spaces around the colon: this is because the XML recommendation a
 <p>
 CDuce uses its own notation to denote XML documents. In the next table we
 present an XML document on the left and the same document in CDuce notation on
-the right:
+the right (in the rest of this tutorial we we visually distinguish XML code from CDuce one by putting the former in light yellow boxes):
 </p>
 
 <two-columns>
 
 <left>
 
-<sample><![CDATA[
+<xmlsample><![CDATA[
 <?xml version="1.0"?>
 <parentbook>
   <person gender="F">
@@ -164,7 +164,7 @@ the right:
     <tel kind="home">66260</tel>
   </person>
 </parentbook>
-]]></sample>
+]]></xmlsample>
 
 </left>