- From: Olivier Thereaux via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 04 Sep 2006 07:00:02 +0000
- To: www-validator-cvs@w3.org
Update of /sources/public/2002/css-validator/style
In directory hutz:/tmp/cvs-serv14663/style
Added Files:
docs.css
Log Message:
moving base.css and docs.css to style directory for consistency
--- NEW FILE: docs.css ---
/*
Documentation Style Sheet for the W3C Markup Validation Service.
Copyright 2003 W3C (MIT, INRIA, Keio). All Rights Reserved.
See <http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright>
$Id: docs.css,v 1.1 2006/09/04 07:00:00 ot Exp $
*/
/*
Please Note:
Every selector in this stylesheet should require a parent element with the
class ".doc" to avoid namespace clashes. Currently the class is set on a
"div" element, but there is no reason to limit it to that. i.e. use the
".doc" selector as parent, not "div.doc".
*/
/* Margins common (relative) to multiple block elements. */
.doc h4, .doc h5, .doc p, .doc pre, .doc ul, .doc table
{
margin-left: 1em;
/* margin-right: 20%; */
margin-right: 1em;
}
/* Set line height to 1.4x (from 1.3x on general site) to allow for various inline decoration. */
.doc {
line-height: 140%;
}
/* documentation - table of contents */
#toc { /* making the toc a bit more compact and standing out */
font-size: .85em;
font-weight: bold;
margin-bottom: 40px;
}
.doc div#toc ol {
list-style-type: decimal;
}
.doc div#toc ol li ol {
list-style-type: lower-alpha;
}
/* documentation - error explanations */
dl#expl dt code { /* headings for an error */
white-space: normal;
font-weight: bold;
}
dl#expl dt {
border-top: 1px dashed black;
margin-top: 2em;
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;
}
/* A snippet of code used inline. */
.doc code {
white-space: normal;
font-weight: bold;
display: inline;
padding-left: .2em;
padding-right: .2em;
background: #eef;
color: #337;
font-family: "Bitstream Vera Sans Mono", monospace;
border: 1px dotted #ccf;
}
.doc code.block {
display: block;
padding: 1em;
white-space: pre;
margin-top: 1em;
margin-bottom: 1em;
margin-right: 3em;
}
.doc code samp {
font-weight: normal;
color: black;
font-style: italic;
}
span.dir {color:#600060;}
span.file {color:#006000;}
span.const {font-weight:bold; color:#800000; font-size:12px;}
span.balise {font-family:monospace; font-size:14px;}
span.balise > span.name {color:blue;}
span.balise > span.attr {color:#009000;}
span.balise > span.string {color:purple;}
ul.instructions, ol.instructions { margin-left: 18px; }
Received on Monday, 4 September 2006 07:00:35 UTC