- From: Olivier Thereaux <ot@dev.w3.org>
- Date: Wed, 19 Jan 2005 08:33:14 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/validator/htdocs
In directory hutz:/tmp/cvs-serv1644
Modified Files:
base.css docs.css
Log Message:
shifting back to older style for headers, using ol for toc in documentation pages
Index: docs.css
===================================================================
RCS file: /sources/public/validator/htdocs/docs.css,v
retrieving revision 1.3
retrieving revision 1.4
diff -u -d -r1.3 -r1.4
--- docs.css 4 Jan 2005 08:37:53 -0000 1.3
+++ docs.css 19 Jan 2005 08:33:12 -0000 1.4
@@ -26,21 +26,21 @@
/* Set line height to 1.5x to allow for various inline decoration. */
.doc {
- line-height: 150%;
+ line-height: 130%;
}
/* documentation - table of contents */
-#toc {
- font-size: .8em;
- border-top: 1px dashed #053188;
- border-bottom: 1px dashed #053188;
- margin-right: -15px;
- margin-left: -15px;
+#toc { /* making the toc a bit more compact and standing out */
+ font-size: .85em;
+ font-weight: bold;
+ margin-bottom: 40px;
}
-.doc div#toc ul {
- margin-left: 0;
- margin-right: 0;
+.doc div#toc ol {
+ list-style-type: decimal;
+}
+.doc div#toc ol li ol {
+ list-style-type: lower-alpha;
}
/* documentation - error explanations */
Index: base.css
===================================================================
RCS file: /sources/public/validator/htdocs/base.css,v
retrieving revision 1.37
retrieving revision 1.38
diff -u -d -r1.37 -r1.38
--- base.css 7 Jan 2005 05:59:38 -0000 1.37
+++ base.css 19 Jan 2005 08:33:12 -0000 1.38
@@ -66,8 +66,8 @@
margin: 0;
margin-left: 42px;
padding: 15px;
- padding-left: 5%;
- padding-right: 5%;
+ padding-left: 0;
+ padding-right: 0;
background: white;
border: 1px solid #053188;
}
@@ -113,14 +113,18 @@
padding-bottom: 5px;
margin-top: 20px;
margin-bottom: 20px;
- font-size: 1.1em;
- margin-left: -5%;
+ font-size: 1.3em;
+ text-align: center;
text-decoration: none;
}
h3 {
color: #C65831;
- font-size: 1em;
+ font-size: 1.2em;
+ padding: 5px 15px;
+ background-color: #E3EDFE;
+ border-top: 1px dotted #C65831;
+ border-bottom: 1px dotted #C65831;
text-decoration: none;
}
@@ -129,7 +133,7 @@
font-weight: 600;
font-style: normal;
text-decoration: underline;
- font-size: 0.9em;
+ font-size: 1.1em;
}
/*
@@ -155,7 +159,8 @@
/* TODO - add ol, li, td here ? */
p {
-
+ margin-left: 15px;
+ margin-right: 25px;
}
img {
Received on Wednesday, 19 January 2005 08:33:15 UTC