- From: Olivier Thereaux <ot@hutz.w3.org>
- Date: Fri, 30 Apr 2004 06:23:24 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/validator/htdocs
In directory hutz:/tmp/cvs-serv4544
Modified Files:
Tag: validator-0_6_0-branch
docs.css
Log Message:
harmonizing the layout between documentation and the rest
Index: docs.css
===================================================================
RCS file: /sources/public/validator/htdocs/Attic/docs.css,v
retrieving revision 1.1.2.1
retrieving revision 1.1.2.2
diff -u -d -r1.1.2.1 -r1.1.2.2
--- docs.css 27 Mar 2004 14:36:58 -0000 1.1.2.1
+++ docs.css 30 Apr 2004 06:23:21 -0000 1.1.2.2
@@ -19,14 +19,9 @@
/* Margins common (relative) to multiple block elements. */
.doc h4, .doc h5, .doc p, .doc pre, .doc ul, .doc table
{
- margin-left: 2em;
- margin-right: 20%;
-}
-
-/* Disable margins on certain elements. */
-.doc div#toc ul, .doc dd p{
- margin-left: 0;
- margin-right: 0;
+ margin-left: 1em;
+ /* margin-right: 20%; */
+margin-right: 1em;
}
/* Set line height to 1.5x to allow for various inline decoration. */
@@ -34,15 +29,16 @@
line-height: 150%;
}
-/* Make code snippets stand out. */
-.doc code {
-}
-
/* documentation - table of contents */
#toc {
font-size: .8em;
}
+.doc div#toc ul {
+ margin-left: 0;
+ margin-right: 0;
+}
+
/* documentation - error explanations */
dl#expl dt code { /* headings for an error */
white-space: normal;
@@ -55,6 +51,9 @@
margin-bottom: 1em;
}
+.doc dd {
+ margin-right: 0; /* no need for the extra margin if we nicely put the text of the dd in a paragraph */
+}
.doc var { /* headings for an error */
color: #006;
}
Received on Friday, 30 April 2004 02:23:24 UTC