1313# <span class="propinst-name"><'name'></span>
1414#
1515# Ian Jacobs - ij@w3.org (Based on work by Arnaud Le Hors)
16- # $Id: pextr,v 1.11 1998-02-02 20:17:47 ijacobs Exp $
16+ # $Id: pextr,v 1.12 1998-03-13 01:09:06 ijacobs Exp $
1717
1818$PROGNAME = substr ($0 , rindex ($0 , " /" ) + 1);
1919
@@ -54,11 +54,10 @@ $percentages = $_[5];
5454$media = $_ [6];
5555# Do next three lines in src files to get headings right.
5656print output " <DIV class=\" propdef\" >\n " ;
57- print output " <P><a name=\" propdef-$name \" class=\" propdef-title\" ><strong>'$name '</strong></a></P>\n " ;
57+ print output " <P><span class= \" index-def \" title= \" ' $_ [0]' \" >< a name=\" propdef-$name \" class=\" propdef-title\" ><strong>'$name '</strong></a></span ></P>\n " ;
5858# Sorry, we use cellspacing/cellpadding until tables
5959# handled better in user agents.
6060print output " <TABLE class=\" propinfo\" cellspacing=0 cellpadding=0>\n " ;
61- &format_name($name );
6261&format_values($values );
6362&format_init($init );
6463&format_applies($applies );
@@ -71,11 +70,6 @@ print output "</DIV>\n\n";
7170
7271# Include an nbsp before TD since CSS not used to
7372# align tables yet.
74- sub format_name {
75- print output " <TR valign=\" top\" ><TH align=\" right\" >Property name: " ;
76- print output " <TD><span class=\" index-def\" title=\" '$_ [0]'\" >\' $_ [0]\' </span></TR>\n " ;
77- }
78-
7973sub format_values {
8074$values = $_ [0];
8175$values =~ s / <([^>']*)>/ <span class=\" value-inst-$1 \" ><$1 ><\/ span>/ g ;
@@ -116,13 +110,13 @@ print output "<TR valign=\"top\"><TH align=\"right\">Percentage values:&nbs
116110
117111sub format_media {
118112 $fmedia = $_ [0];
119- $fmedia =~ s / visual/ <a href=\" media.html#visual-media-group\" >visual<\/ a>/ ;
120- $fmedia =~ s / aural/ <a href=\" media.html#aural-media-group\" >aural<\/ a>/ ;
121- $fmedia =~ s / tactile/ <a href=\" media.html#tactile-media-group\" >tactile<\/ a>/ ;
122- $fmedia =~ s / continuous/ <a href=\" media.html#continuous-media-group\" >continuous<\/ a>/ ;
123- $fmedia =~ s / paged/ <a href=\" media.html#paged-media-group\" >paged<\/ a>/ ;
124- $fmedia =~ s / grid/ <a href=\" media.html#grid-media-group\" >grid<\/ a>/ ;
125- $fmedia =~ s / all/ <a href=\" media.html#all-media-group\" >all<\/ a>/ ;
113+ $fmedia =~ s / visual/ <a href=\" media.html#visual-media-group\" class= \" noxref \" >visual<\/ a>/ ;
114+ $fmedia =~ s / aural/ <a href=\" media.html#aural-media-group\" class= \" noxref \" >aural<\/ a>/ ;
115+ $fmedia =~ s / tactile/ <a href=\" media.html#tactile-media-group\" class= \" noxref \" >tactile<\/ a>/ ;
116+ $fmedia =~ s / continuous/ <a href=\" media.html#continuous-media-group\" class= \" noxref \" >continuous<\/ a>/ ;
117+ $fmedia =~ s / paged/ <a href=\" media.html#paged-media-group\" class= \" noxref \" >paged<\/ a>/ ;
118+ $fmedia =~ s / grid/ <a href=\" media.html#grid-media-group\" class= \" noxref \" >grid<\/ a>/ ;
119+ $fmedia =~ s / all/ <a href=\" media.html#all-media-group\" class= \" noxref \" >all<\/ a>/ ;
126120print output " <TR valign=\" top\" ><TH align=\" right\" >Media groups: <TD>$fmedia </TR>\n " ;
127121}
128122
0 commit comments