link-checker commit: Rename the doc CSS once more (to linkchecker.css).

changeset:   47:a50cb40ebb44
user:        ville
date:        Fri Apr 09 11:36:17 2004 +0000
files:       MANIFEST docs/checklink.html docs/linkchecher.css docs/linkchecker.css
description:
Rename the doc CSS once more (to linkchecker.css).


diff -r 2d8197357ac0 -r a50cb40ebb44 MANIFEST
--- a/MANIFEST	Thu Apr 08 21:26:06 2004 +0000
+++ b/MANIFEST	Fri Apr 09 11:36:17 2004 +0000
@@ -9,7 +9,7 @@
 META.yml
 etc/checklink.conf      Optional configuration file
 docs/checklink.html     Additional documentation
-docs/checklink.css      Cascading style sheet for the documentation
+docs/linkchecker.css    Cascading style sheet for the documentation
 docs/qa-small.png
 docs/valid-xhtml10.png
 docs/w3c_home.png
diff -r 2d8197357ac0 -r a50cb40ebb44 docs/checklink.html
--- a/docs/checklink.html	Thu Apr 08 21:26:06 2004 +0000
+++ b/docs/checklink.html	Fri Apr 09 11:36:17 2004 +0000
@@ -5,8 +5,8 @@
   <head>
     <title>W3C Link Checker Documentation</title>
     <link rev="made" href="mailto:www-validator@w3.org" />
-    <style type="text/css" media="all">@import "checklink.css";</style>
-    <meta name="revision" content="$Id: checklink.html,v 1.11 2004-04-07 22:08:34 ville Exp $" />
+    <style type="text/css" media="all">@import "linkchecker.css";</style>
+    <meta name="revision" content="$Id: checklink.html,v 1.12 2004-04-09 11:36:17 ville Exp $" />
   </head>
 
   <body>
@@ -206,7 +206,7 @@
         alt="Valid XHTML 1.0!" /></a>
       <a title="Send Feedback for the W3C Link Checker"
         href="http://validator.w3.org/feedback.html">The W3C Validator Team</a><br />
-      $Date: 2004-04-07 22:08:34 $
+      $Date: 2004-04-09 11:36:17 $
     </address>
     <p class="copyright">
       <a rel="Copyright" href="http://www.w3.org/Consortium/Legal/ipr-notice#Copyright">Copyright</a> &copy; 1994-2004
diff -r 2d8197357ac0 -r a50cb40ebb44 docs/linkchecher.css
--- a/docs/linkchecher.css	Thu Apr 08 21:26:06 2004 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,171 +0,0 @@
-/*
-   Base Style Sheet for the W3C Markup Validation Service.
-
-   Copyright 2000-2004 W3C (MIT, INRIA, Keio). All Rights Reserved.
-   See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
-
-   $Id: linkchecher.css,v 1.1 2004-04-08 21:26:06 ot Exp $
-*/
-
-html, body {
-  color:            black;
-  background:       white;
-  font-family:      "Bitstream Vera Sans", sans-serif;
-  margin:           0;
-  padding:          0;
-  border:           0;
-}
-
-div#main {
-  padding-top:      1em;
-  margin-left:      1em;
-  margin-right:     7.6em;
-}
-
-div#main p {
-  padding-left:     1em;
-  padding-right:    1em;
-}
-
-a:link, a:visited {
-  color:            blue;
-}
-a:hover {
-  color:            blue;
-  background-color: #eee;
-}
-a:active {
-  color:            red;
-  background-color: yellow;
-}
-
-acronym:hover, abbr:hover {
-  cursor:           help;
-}
-abbr[title], acronym[title], span[title], strong[title] {
-  border-bottom:    thin dotted;
-  cursor:           help;
-}
-
-pre, code, tt {
-  font-family:      monospace;
-  line-height:      100%;
-  white-space:      pre;
-}
-
-a:link img, a:visited img {
-  border-style:     none;
-}
-a img {
-  color:            black; /* The only way to hide the border in NS 4.x */
-}
-
-ul.toc {
-  list-style:       none;
-}
-
-ol li {
-  padding:          .1em;
-}
-
-/* These are usually targets and not links */
-h1 a, h1 a:hover, h2 a, h2 a:hover, h3 a, h3 a:hover {
-  color:            inherit;
-  background-color: inherit;
-}
-
-img {
-  vertical-align:    middle;
-}
-
-address img {
-  float:             right;
-  width:             88px;
-}
-
-address {
-  padding-top:       .5em;
-  padding-right:     1em;
-  padding-left:      1em;
-  padding-bottom:    .5em;
-  margin-top:        3em;;
-  border-top:        1px solid black;
-  background-color:  #eee;
-  clear:             right;
-}
-
-p.copyright {
-  margin-top:        5em;
-  padding-top:       .5em;
-  font-size:         xx-small;
-  max-width:         85ex;
-  text-align:        justify;
-  text-transform:    uppercase;
-  margin-left:       auto;
-  margin-right:      auto;
-  font-family:       monospace;
-  color:             #888;
-  line-height:       120%;
-}
-
-p.copyright a {
-  color:             #88f;
-  text-decoration:   none;
-}
-
-/* Various header(ish) things. Definitions cribbed from the CORE Styles. */
-h1 {
-  font-family:       "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
-  font-size-adjust:  .53;
-  font-size:         2em;
-  font-weight:       bold;
-  font-style:        normal;
-  text-decoration:   none;
-  color:             #053188;
-}
-#banner h1 {
-  font-size:         1.3em;
-  border-bottom:     1px solid black;
-}
-
-#banner {
-  /* background-image:  url(/validator/banner-qa.jpg); */
-  background-repeat: no-repeat;
-  background-attachment: scroll;
-  height:            50px;
-  background-position: right;
-  margin:            0;
-  padding:           0;
-}
-
-h1#title {
-  padding:           0;
-  margin:            0;
-  color:             #053188;
-}
-
-h2 {
-  font-family:       "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
-  font-size-adjust:  .53;
-  font-size:         1.5em;
-  text-align:        left;
-  font-weight:       bold;
-  font-style:        normal;
-  text-decoration:   none;
-  margin-top:        2em;
-  margin-bottom:     1em;
-  line-height:       120%;  
-}
-
-h3 {
-  font-family:       "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
-  font-size-adjust:  .53;
-  font-size:         1.3em;
-  background-color:  #eee;
-  text-indent:       2em;
-  padding:           .2em;
-  border-top:        1px dotted black;
-  font-weight:       normal;
-  font-style:        normal;
-  text-decoration:   none;
-}
diff -r 2d8197357ac0 -r a50cb40ebb44 docs/linkchecker.css
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docs/linkchecker.css	Fri Apr 09 11:36:17 2004 +0000
@@ -0,0 +1,171 @@
+/*
+   Base Style Sheet for the W3C Link Checker.
+
+   Copyright 2000-2004 W3C (MIT, INRIA, Keio). All Rights Reserved.
+   See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright
+
+   $Id: linkchecker.css,v 1.1 2004-04-09 11:36:17 ville Exp $
+*/
+
+html, body {
+  color:            black;
+  background:       white;
+  font-family:      "Bitstream Vera Sans", sans-serif;
+  margin:           0;
+  padding:          0;
+  border:           0;
+}
+
+div#main {
+  padding-top:      1em;
+  margin-left:      1em;
+  margin-right:     7.6em;
+}
+
+div#main p {
+  padding-left:     1em;
+  padding-right:    1em;
+}
+
+a:link, a:visited {
+  color:            blue;
+}
+a:hover {
+  color:            blue;
+  background-color: #eee;
+}
+a:active {
+  color:            red;
+  background-color: yellow;
+}
+
+acronym:hover, abbr:hover {
+  cursor:           help;
+}
+abbr[title], acronym[title], span[title], strong[title] {
+  border-bottom:    thin dotted;
+  cursor:           help;
+}
+
+pre, code, tt {
+  font-family:      monospace;
+  line-height:      100%;
+  white-space:      pre;
+}
+
+a:link img, a:visited img {
+  border-style:     none;
+}
+a img {
+  color:            black; /* The only way to hide the border in NS 4.x */
+}
+
+ul.toc {
+  list-style:       none;
+}
+
+ol li {
+  padding:          .1em;
+}
+
+/* These are usually targets and not links */
+h1 a, h1 a:hover, h2 a, h2 a:hover, h3 a, h3 a:hover {
+  color:            inherit;
+  background-color: inherit;
+}
+
+img {
+  vertical-align:    middle;
+}
+
+address img {
+  float:             right;
+  width:             88px;
+}
+
+address {
+  padding-top:       .5em;
+  padding-right:     1em;
+  padding-left:      1em;
+  padding-bottom:    .5em;
+  margin-top:        3em;;
+  border-top:        1px solid black;
+  background-color:  #eee;
+  clear:             right;
+}
+
+p.copyright {
+  margin-top:        5em;
+  padding-top:       .5em;
+  font-size:         xx-small;
+  max-width:         85ex;
+  text-align:        justify;
+  text-transform:    uppercase;
+  margin-left:       auto;
+  margin-right:      auto;
+  font-family:       monospace;
+  color:             #888;
+  line-height:       120%;
+}
+
+p.copyright a {
+  color:             #88f;
+  text-decoration:   none;
+}
+
+/* Various header(ish) things. Definitions cribbed from the CORE Styles. */
+h1 {
+  font-family:       "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
+  font-size-adjust:  .53;
+  font-size:         2em;
+  font-weight:       bold;
+  font-style:        normal;
+  text-decoration:   none;
+  color:             #053188;
+}
+#banner h1 {
+  font-size:         1.3em;
+  border-bottom:     1px solid black;
+}
+
+#banner {
+  /* background-image:  url(/validator/banner-qa.jpg); */
+  background-repeat: no-repeat;
+  background-attachment: scroll;
+  height:            50px;
+  background-position: right;
+  margin:            0;
+  padding:           0;
+}
+
+h1#title {
+  padding:           0;
+  margin:            0;
+  color:             #053188;
+}
+
+h2 {
+  font-family:       "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
+  font-size-adjust:  .53;
+  font-size:         1.5em;
+  text-align:        left;
+  font-weight:       bold;
+  font-style:        normal;
+  text-decoration:   none;
+  margin-top:        2em;
+  margin-bottom:     1em;
+  line-height:       120%;  
+}
+
+h3 {
+  font-family:       "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
+  font-size-adjust:  .53;
+  font-size:         1.3em;
+  background-color:  #eee;
+  text-indent:       2em;
+  padding:           .2em;
+  border-top:        1px dotted black;
+  font-weight:       normal;
+  font-style:        normal;
+  text-decoration:   none;
+}

Received on Thursday, 5 August 2010 14:47:10 UTC