W3C home > Mailing lists > Public > www-validator-cvs@w3.org > June 2004

perl/modules/W3C/LinkChecker/docs linkchecker.css,1.7,1.8

From: Ville Skytta <ville@dev.w3.org>
Date: Tue, 08 Jun 2004 21:17:43 +0000
To: www-validator-cvs@w3.org
Message-Id: <20040608211743.2458E4A846@hutz.w3.org>

Update of /sources/public/perl/modules/W3C/LinkChecker/docs
In directory hutz:/tmp/cvs-serv13514/docs

Modified Files:
	linkchecker.css 
Log Message:
Remove some unused properties, and do a gratuitous whitespace cleanup.

Index: linkchecker.css
===================================================================
RCS file: /sources/public/perl/modules/W3C/LinkChecker/docs/linkchecker.css,v
retrieving revision 1.7
retrieving revision 1.8
diff -u -d -r1.7 -r1.8
--- linkchecker.css	8 Jun 2004 21:06:47 -0000	1.7
+++ linkchecker.css	8 Jun 2004 21:17:41 -0000	1.8
@@ -8,99 +8,94 @@
 */
 
 html, body {
-  color:            black;
-  background:       white;
-  font-family:      "Bitstream Vera Sans", sans-serif;
-  margin:           0;
-  padding:          0;
-  border:           0;
+  color: black;
+  background: white;
+  font-family: "Bitstream Vera Sans", sans-serif;
+  margin: 0;
+  padding: 0;
+  border: 0;
 }
 
 div#main {
-  padding-top:      1em;
-  padding-left:     1em;
-  padding-right:    1em;
-  margin:           0;
+  padding-top: 1em;
+  padding-left: 1em;
+  padding-right: 1em;
+  margin: 0;
 }
 
 a:link, a:visited {
-  color:            blue;
+  color: blue;
 }
 a:hover {
-  color:            blue;
+  color: blue;
   background-color: #eee;
 }
 a:active {
-  color:            red;
+  color: red;
   background-color: yellow;
 }
 
 acronym:hover, abbr:hover {
-  cursor:           help;
+  cursor: help;
 }
 abbr[title], acronym[title], span[title], strong[title] {
-  border-bottom:    thin dotted;
-  cursor:           help;
+  border-bottom: thin dotted;
+  cursor: help;
 }
 
 pre, code, tt {
-  font-family:      "Bitstream Vera Sans Mono", monospace;
-  line-height:      100%;
-  white-space:      pre;
+  font-family: "Bitstream Vera Sans Mono", monospace;
+  line-height: 100%;
+  white-space: pre;
 }
 pre {
   padding-left: 2em;
 }
 
 fieldset {
-  background:       #fcfcfc;
-  border:           1px dotted #053188;
-  padding:          0.8em;
+  background: #fcfcfc;
+  border: 1px dotted #053188;
+  padding: 0.8em;
 }
 
 a:link img, a:visited img {
-  border-style:     none;
+  border-style: none;
 }
 a img {
-  color:            black; /* The only way to hide the border in NS 4.x */
+  color: black; /* The only way to hide the border in NS 4.x */
 }
 
 ul.toc {
-  list-style:       none;
+  list-style: none;
 }
 
 ol li {
-  padding:          .1em;
+  padding: .1em;
 }
 
 th {
-  text-align:       left;
+  text-align: left;
 }
 
 /* These are usually targets and not links */
 h1 a, h1 a:hover, h2 a, h2 a:hover, h3 a, h3 a:hover {
-  color:            inherit;
+  color: inherit;
   background-color: inherit;
 }
 
 img {
-  vertical-align:    middle;
-}
-
-address img {
-  float:             right;
-  width:             88px;
+  vertical-align: middle;
 }
 
 address {
-  padding-top:       0;
-  padding-right:     1em;
-  padding-left:      1em;
-  padding-bottom:    0;
-  margin-top:        3em;
-  border-top:        1px solid black;
-  background-color:  #eee;
-  clear:             right;
+  padding-top: 0;
+  padding-right: 1em;
+  padding-left: 1em;
+  padding-bottom: 0;
+  margin-top: 3em;
+  border-top: 1px solid black;
+  background-color: #eee;
+  clear: right;
   background-image: url(http://validator.w3.org/images/footer.jpg);
   background-repeat: no-repeat;
   background-attachment: scroll;
@@ -109,29 +104,29 @@
 }
 
 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:       "Bitstream Vera Sans Mono", monospace;
-  color:             #888;
-  line-height:       120%;
+  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: "Bitstream Vera Sans Mono", monospace;
+  color: #888;
+  line-height: 120%;
 }
 
 p.copyright a {
-  color:             #88f;
-  text-decoration:   none;
+  color: #88f;
+  text-decoration: none;
 }
 
 /* Various header(ish) things. Definitions cribbed from the CORE Styles. */
 
 h1, h2, h3, h4, h5, h6, dt {
-  font-family:       "Bitstream Vera Sans", sans-serif;
-  font-size-adjust:  .53;
+  font-family: "Bitstream Vera Sans", sans-serif;
+  font-size-adjust: .53;
 }
 
 h1 {
@@ -141,45 +136,48 @@
   text-decoration: none;
   color: #053188;
 }
-#banner h1 {font-size: 1.3em;
-display: inline}
+#banner h1 {
+  font-size: 1.3em;
+  display: inline;
+}
 
 #banner {
-background-image: url(http://validator.w3.org/images/header.jpg);
-background-repeat: no-repeat;
-background-attachment: scroll;
-height: 50px;
-background-position: right;
-margin:0; padding:0;
-border-bottom: 1px solid black;
+  background-image: url(http://validator.w3.org/images/header.jpg);
+  background-repeat: no-repeat;
+  background-attachment: scroll;
+  height: 50px;
+  background-position: right;
+  margin: 0;
+  padding: 0;
+  border-bottom: 1px solid black;
 }
 
 h1#title {
-  padding:           0;
-  margin:            0;
-  color:             #053188;
+  padding: 0;
+  margin: 0;
+  color: #053188;
 }
 
 h2 {
-  font-size:         1.5em;
-  text-align:        left;
-  font-weight:       bold;
-  font-style:        normal;
-  text-decoration:   none;
-  margin-top:        1em;
-  margin-bottom:     1em;
-  line-height:       120%;  
+  font-size: 1.5em;
+  text-align: left;
+  font-weight: bold;
+  font-style: normal;
+  text-decoration: none;
+  margin-top: 1em;
+  margin-bottom: 1em;
+  line-height: 120%;
 }
 
 h3 {
-  font-size:         1.3em;
-  font-weight:       normal;
-  font-style:        normal;
-  text-decoration:   none;
-  background-color:  #eee;
-  text-indent:       1em;
-  padding:           .2em;
-  border-top:        1px dotted black;
+  font-size: 1.3em;
+  font-weight: normal;
+  font-style: normal;
+  text-decoration: none;
+  background-color: #eee;
+  text-indent: 1em;
+  padding: .2em;
+  border-top: 1px dotted black;
 }
 
 
@@ -188,7 +186,7 @@
 */
 
 #menu {
-/*  min-width: 63em; */
+  /* min-width: 63em; */
   list-style-type: none;
   padding: 0;
   margin: 0;
Received on Tuesday, 8 June 2004 17:17:43 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Thursday, 26 April 2012 12:54:45 GMT