[r2003-10-15 12:40:18 by szach] added overstriking on superseded papers

Original author: szach
Date: 2003-10-15 12:40:18+00:00

web/cduce.css

@@ -11,6 +11,10 @@ a:link:hover, a:visited:hover {
   color: #FF0000;
 }
 
+a.old {
+  text-decoration: line-through;
+}
+
 h1 {
   color: #aa0000;
   text-align: center;

web/papers.xml

@@ -41,7 +41,7 @@ compilation schemas.
 </li>
 
 <li>
-<paper file="papers/cduce-wp.ps.gz">
+<paper old="true" file="papers/cduce-wp.ps.gz">
  <title>CDuce: a white paper</title>
  <author>V. Benzaken</author>
  <author>G. Castagna</author>

web/site.cd

@@ -25,7 +25,7 @@ type Item =
 
 type Author = <author>String
 type Paper = 
-  <paper file=?String>[ 
+  <paper file=?String old=?String>[ 
      <title>String Author+ <comment>[InlineText*] <abstract>Content ]
 
 type Slides = 
@@ -166,6 +166,9 @@ a:link:hover, a:visited:hover {
   background: #FFFFD0;
   color: #FF0000;
 }
+a.old, a.old:hover, a.old:visited:hover {
+  text-decoration: line-through;
+}
 p {
   text-align: justify;
   margin: 1ex 1em 0 1em;
@@ -232,7 +235,10 @@ match page with
    | <section title=title>c -> 
          [ <p>[ <b style="color: #008000">title ] !(content c) ]
    | <paper (r)>[ <title>tit aut::Author* <comment>com <abstract>ab  ]  ->
-         [ (match r with { file = f } -> <a href=f>tit | _ -> <b>tit) '. '
+         [ (match r with
+           | { file = f; old = "true" } -> <a class="old" href=f>tit
+           | { file = f } -> <a href=f>tit
+           | _ -> <b>tit) '. '
            !(authors aut) '. '
 	   !(text com)
            <div class="abstract">[ 'Abstract:' !(content ab) ]