- From: Terje Bless <link@hutz.w3.org>
- Date: Sat, 15 May 2004 16:02:31 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/validator/htdocs
In directory hutz:/tmp/cvs-serv7899
Modified Files:
Tag: validator-0_6_0-branch
base.css results.css
Log Message:
Nuke excessive font specifications, leaving Bitstream and generic family.
Also gather all headings into one selector for common items.
Index: results.css
===================================================================
RCS file: /sources/public/validator/htdocs/results.css,v
retrieving revision 1.13.2.28
retrieving revision 1.13.2.29
diff -u -d -r1.13.2.28 -r1.13.2.29
--- results.css 30 Apr 2004 04:05:40 -0000 1.13.2.28
+++ results.css 15 May 2004 16:02:28 -0000 1.13.2.29
@@ -4,7 +4,7 @@
.input {
color: black;
background-color: #eee;
- font-family: "Bitstream Vera Mono", monospace;
+ font-family: "Bitstream Vera Sans Mono", monospace;
font-size: small;
}
@@ -104,7 +104,7 @@
#source code {
white-space: normal;
- font-family: "Bitstream Vera Mono", monospace;
+ font-family: "Bitstream Vera Sans Mono", monospace;
font-size: smaller;
}
@@ -249,7 +249,7 @@
.valid {
background: #053188;
color: white;
- font-family: "Luxi Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
+ font-family: "Bitstream Vera Sans", sans-serif;
font-size-adjust: .53;
font-size: 1.5em;
font-weight: 500;
@@ -301,7 +301,7 @@
.invalid {
background: #880531;
color: white;
- font-family: "Luxi Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
+ font-family: "Bitstream Vera Sans", sans-serif;
font-size-adjust: .53;
font-size: 1.5em;
font-weight: 500;
Index: base.css
===================================================================
RCS file: /sources/public/validator/htdocs/base.css,v
retrieving revision 1.26.2.38
retrieving revision 1.26.2.39
diff -u -d -r1.26.2.38 -r1.26.2.39
--- base.css 6 May 2004 04:03:23 -0000 1.26.2.38
+++ base.css 15 May 2004 16:02:28 -0000 1.26.2.39
@@ -18,7 +18,7 @@
color: black;
background: white;
font-weight: normal;
- font-family: "Bitstream Vera Sans", sans-serif;
+ font-family: "Bitstream Vera Sans", sans-serif;
font-style: normal;
text-decoration: none;
margin: 0;
@@ -86,7 +86,7 @@
}
pre, code, tt {
- font-family: monospace;
+ font-family: "Bitstream Vera Sans Mono", monospace;
line-height: 100%;
white-space: pre;
}
@@ -160,7 +160,7 @@
text-transform: uppercase;
margin-left: auto;
margin-right: auto;
- font-family: monospace;
+ font-family: "Bitstream Vera Sans Mono", monospace;
color: #888;
line-height: 120%;
}
@@ -183,7 +183,7 @@
/* Various header(ish) things. Definitions cribbed from the CORE Styles. */
h1 {
- font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
+ font-family: "Bitstream Vera Sans", sans-serif;
font-size-adjust: .53;
font-size: 2em;
font-weight: bold;
@@ -224,9 +224,13 @@
color: red;
}
-h2 {
- font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
+h1, h2, h3, h4, h5, h6, dt {
+ font-family: "Bitstream Vera Sans", sans-serif;
font-size-adjust: .53;
+ font-variant: small-caps;
+}
+
+h2 {
font-size: 1.5em;
text-align: center;
font-weight: bold;
@@ -238,21 +242,17 @@
}
h3 {
- font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
- font-size-adjust: .53;
font-size: 1.3em;
+ font-weight: normal;
+ font-style: normal;
+ text-decoration: none;
background-color: #eee;
text-indent: 2em;
padding: .2em;
border-top: 1px dotted black;
- font-weight: normal;
- font-style: normal;
- text-decoration: none;
}
h4 {
- font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
- font-size-adjust: .53;
font-size: 1.1em;
font-weight: 600;
font-style: normal;
@@ -260,8 +260,6 @@
}
h5, dt {
- font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
- font-size-adjust: .53;
font-size: 1em;
font-weight: bold;
font-style: normal;
@@ -271,14 +269,12 @@
}
h6 {
- font-family: "Bitstream Vera Sans", Tahoma, Verdana, "Myriad Web", Syntax, sans-serif;
- font-size-adjust: .53;
- color: #666;
- text-indent: 1em;
font-size: 1em;
font-style: italic;
- margin:0;
text-decoration: none;
+ color: #666;
+ text-indent: 1em;
+ margin:0;
}
/* comma tools table */
@@ -286,13 +282,13 @@
td.comma-desc {
background: #ffeecc;
border : 1px solid black;
- font-family: sans-serif
+ font-family: "Bitstream Vera Sans", sans-serif
}
td.comma-shortcut {
background: #e7e7ff;
border : 1px solid black;
- font-family: monospace;
+ font-family: "Bitstream Vera Sans Mono", monospace;
}
td.comma-tool {
@@ -321,12 +317,12 @@
input.reset {
text-align: center;
- font-family: monospace;
+ font-family: "Bitstream Vera Sans Mono", monospace;
}
input.default {
text-align: center;
font-weight: bold;
- font-family: monospace;
+ font-family: "Bitstream Vera Sans Mono", monospace;
}
Received on Saturday, 15 May 2004 12:04:03 UTC