- From: Mercurial notifier <nobody@w3.org>
- Date: Tue, 01 Nov 2011 17:28:34 +0000
- To: markup-validator updates <www-validator-cvs@w3.org>
changeset: 3256:81a24724d6e0 tag: tip user: Ville Skyttä <ville.skytta@iki.fi> date: Tue Nov 01 19:28:14 2011 +0200 files: Makefile htdocs/base.css htdocs/docs.css htdocs/handheld.css htdocs/images/footer.jpg htdocs/images/footer.png htdocs/images/header.jpg htdocs/images/header.png htdocs/navbar.css htdocs/print.css htdocs/results.css httpd/conf/httpd.conf description: Remove old unused CSS and associated images. diff -r 9bc6ac3389e3 -r 81a24724d6e0 Makefile --- a/Makefile Sun Oct 30 21:07:45 2011 +0200 +++ b/Makefile Tue Nov 01 19:28:14 2011 +0200 @@ -1,6 +1,6 @@ VERSION = $(shell perl -ne '/^\$$VERSION\b.*?([\d.]+)/ && print $$1' httpd/cgi-bin/check) -CSS_FILES = $(wildcard htdocs/*.css htdocs/style/*.css) +CSS_FILES = htdocs/style/base.css htdocs/style/results.css JS_SOURCES = htdocs/scripts/mootools-1.2.5-core-nc.js \ htdocs/scripts/mootools-1.2.5.1-more.js htdocs/scripts/w3c-validator.js PERL_FILES = httpd/cgi-bin/check httpd/cgi-bin/sendfeedback.pl \ diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/base.css --- a/htdocs/base.css Sun Oct 30 21:07:45 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,307 +0,0 @@ -/*! - Base Style Sheet for the W3C Markup Validation Service. - - Copyright 2000-2006 W3C (MIT, INRIA, Keio). All Rights Reserved. - See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright -*/ - -@import url("results"); /* CSS for validation results. */ -@import url("navbar"); /* CSS for navigation menu. */ -@import url("docs"); /* CSS for the Documentation. */ -@import url("print") print; -@import url("handheld") handheld; - - -/* Special Notices */ -p#msie { /* msie-bug note for text/plain */ - float: right; - border: 1px solid black; - background: white; - width: 15em; - padding: 1em; - text-align: justify; - font-size: smaller; -} - - -/* - General styling - */ -html { - background-color: white; -} - -body { - margin: auto auto; - padding-left: 6%; - padding-right: 6%; - background-color: white; -/* background-image: url(http://www.w3.org/Icons/logo-WMVS.png); - background-attachment: fixed; - background-position: 0 0; - background-repeat: no-repeat; */ - color: #11111A; - font-family: Helvetica, "Trebuchet MS", Arial, sans-serif; - font-size: 1em; /* setting base font to user's prefered size */ - line-height: 130%; -} - -/* - Main blocks - see also #menu styled in navbar.css - */ - -#banner { - background-color: white; - background-image: url(images/header.jpg); - background-repeat: no-repeat; - background-attachment: scroll; - background-position: top right; - padding: 0; - height: 50px; - margin-bottom: 0; -/* - margin-top: 20px; - margin-left: 42px; -*/ - border: 0; - -} - -#banner h1 { - height: 50px; - vertical-align: middle; - font-size: 1.5em; - display: inline; -} - -#main { - border-bottom: 0; - border-top: 0; - border-left: 1px solid #dfebf7; - border-right: 1px solid #dfebf7; - -} -#main, address { - background-color: white; - margin: 0; - /*margin-left: 42px; */ - padding: 15px; - padding-left: 0; - padding-right: 0; -/* border: 1px solid #E8E8FA; */ -} - -address { - background-color: #eee; - background-image: url(images/footer.jpg); - background-repeat: no-repeat; - background-attachment: scroll; - background-position: right; - height:45px; - padding-top: 10px; - padding-bottom: 0; - padding-left: 15px; - clear: right; - -} - -address img { - display: inline; - float: left; - vertical-align: middle; - width: 88px; -} - - -.intro { - font-style: italic; - text-align: justify; -} - -/* - Headers - */ - -h1 { - color: #053188; - font-family: "Bitstream Vera Sans", Helvetica, Arial, sans-serif; - font-size-adjust: .53; - font-weight: bold; - font-style: normal; - text-decoration: none; -} - -h2 { - color: #777742; - background: white; - padding: 5px 15px; - margin-top: 20px; - margin-bottom: 20px; - font-size: 1.3em; - text-align: center; - text-decoration: none; - font-family: Georgia, Didot, serif; -} - -h3 { - /* color: #C65831; */ - color: #fff; - background-color: #aaaa77; - font-size: 1.1em; - padding: 2px 15px; - border-top: 1px dotted #777742; - border-bottom: 1px dotted #777742; - text-decoration: none; - font-family: Georgia, Didot, serif; -} - -h4 { - color: #777742; - font-weight: 600; - font-style: italic; - text-decoration: none; - font-size: 1.0em; - font-family: Georgia, Didot, serif; -} - -h5,h6 { - color: #777742; - background-color: white; - font-family: Georgia, Didot, serif; - } -/* - General link styling - */ - -a:link, a:visited { - color: #005A9C; - text-decoration: none; - -} - -a:hover, a:active { - color: #005A9C; - text-decoration: underline; -} - - -/* - Other basic styles - */ - -/* TODO - add ol, li, td here ? */ -p, dt { - margin-left: 15px; - margin-right: 25px; -} - -dd { - margin-left: 35px; - margin-right: 25px; -} - -#news dt { - font-weight: bold; - margin-top: 1em; - } - -img { - margin:0; - padding: 0; - vertical-align: middle; - border: 0; -} - -acronym:hover, abbr:hover { - cursor: help; -} - -abbr[title], acronym[title], span[title], strong[title] { - border-bottom: thin dotted; - cursor: help; -} - -pre, code, tt { - font-family: "Bitstream Vera Sans Mono", Monaco, "Andale Mono", monospace; - line-height: 100%; - white-space: pre; -} - -a:link img, a:visited img { - border-style: none; -} - -a img {color: black} /* The only way to hide the border in NS 4.x */ - -ul.toc { - list-style: none; -} - - - - -/* - Stuff we don't actually want too visible - or not at all - */ - -p.copyright { - margin-top: 20px; - width: 50%; - font-size: x-small; - text-align: justify; - text-transform: uppercase; - margin-left: 222px; - font-family: "Bitstream Vera Sans Mono", monospace; - color: #888; - line-height: 120%; -} - -p.copyright a { - color: #88f; - text-decoration: none; -} - - -.hideme { display: none; } - - -/* - Forms - */ - - -/* Fieldsets */ -fieldset { - padding: .5em; - background: white; - border: 1px dotted #aaaa77; - margin-left: 20px; - margin-right: 20px; - margin-top: .5em; -} - -fieldset legend { - color: #fff; - background-color: #aaaa77; - font-size: smaller; - padding: .1ex .5ex; - border-right: 1px solid gray; - border-bottom: 1px solid gray; - font-weight: bold; -} - - -input { - vertical-align: middle; -} - -input.reset { - text-align: center; -} - -input.default { - text-align: center; - font-weight: bold; -} - - diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/docs.css --- a/htdocs/docs.css Sun Oct 30 21:07:45 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,112 +0,0 @@ -/*! - 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> -*/ - -/* - 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; -} -.doc div#toc ol li ol li ol{ - list-style-type: lower-roman; -} - - -/* 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; -} - -/* reference tables */ - -.doc table { - border-collapse: collapse; - border-right: 1px solid #ccc; -} -.doc table td, .doc table th{ - border-top: 0px solid #ddd; - border-bottom: 1px solid #ccc; - border-left: 1px solid #eee; - padding: 6px; - border-collapse: collapse; -} -.doc table th { - background-color: #eee; - color: #11111A; - border-right: 1px solid #ccc; -} diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/handheld.css --- a/htdocs/handheld.css Sun Oct 30 21:07:45 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,31 +0,0 @@ -/*! - Handheld Style Sheet for the W3C Markup Validation Service. - - Copyright 2005 W3C (MIT, INRIA, Keio). All Rights Reserved. - See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright -*/ - -@media handheld { -/* should not be necessary to wrap this way, but safer is better */ - - html, body, #menu, #banner, .jumpbar, address, .copyright, #revalidate { - background:white !important; - } - - body { - padding: 0; - } - - #banner, #main, #address { - margin: 0 !important; - padding: 0 !important; - } - - #banner { - height: auto; - } - - #source div pre { white-space: normal } - #source div pre a {display: block } - -} diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/images/footer.jpg Binary file htdocs/images/footer.jpg has changed diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/images/footer.png Binary file htdocs/images/footer.png has changed diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/images/header.jpg Binary file htdocs/images/header.jpg has changed diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/images/header.png Binary file htdocs/images/header.png has changed diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/navbar.css --- a/htdocs/navbar.css Sun Oct 30 21:07:45 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,86 +0,0 @@ -/*! - Navigation Style Sheet for the W3C Markup Validation Service. - - Copyright 2000-2006 W3C (MIT, INRIA, Keio). All Rights Reserved. - See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright -*/ - - -#menu { - background-color: #005A9C; - margin: 0; - padding: 0; - /*margin-left: 42px;*/ - padding-top:3px; - padding-bottom: 3px; - line-height: 140%; - vertical-align: bottom; - font-size: 0.9em; - list-style-type: none; -} - -#menu { padding-left: 1em; padding-right: 1em} -#menu li { - display: inline; -} - -#menu li a { - padding-right: 1.2em; - padding-left: 1.2em; - color: white; -} - -/* Jump Bar - results page*/ -#jumpbar { - background-color: #dfebf7; - float: right; - width: 8em; - margin-right: 0; - text-align: left; - text-decoration: none; - padding: 1ex; - border-left: 1px solid #005A9C; - border-bottom: 1px solid #005A9C; - margin-top: -15px; - font-size: 0.9em; - font-weight: bold; - margin-left: 1em; -} - -#jumpbar ul { - padding: 0; - margin: 0; -} - -#jumpbar li { - list-style-type: none; - text-align: right; -} - -div#jumpbar li a { - height: 20px; - padding-right: 20px; - padding-left: 25px; -} -div#jumpbar li a:hover { - text-decoration: underline; -} - -#jumpbar li a:link, #jumpbar li a:visited { - text-decoration: none; - text-align: right; - display: block; - width: 8em; - padding: 2px 0px; - margin: 0; - border-top: dotted 1px #053188; -} - -#jumpbar li a#selected:link, #jumpbar li a#selected:visited { - text-decoration: underline; - background-color: #fff; - color: #053188; - border-right: solid 1px #ddd; - border-bottom: solid 1px #fff; -} - diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/print.css --- a/htdocs/print.css Sun Oct 30 21:07:45 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,35 +0,0 @@ -/*! - Print Style Sheet for the W3C Markup Validation Service. - - Copyright 2004-2005 W3C (MIT, INRIA, Keio). All Rights Reserved. - See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright -*/ - -@media print -/* should not be necessary to wrap this way, but safer is better */ -{ - #menu, .jumpbar, address, .copyright, #revalidate { - display: none; - } - - html { - background: white; - } - - - body { - font-size: 12pt; - background: white; - padding: 0; - } - - #banner { - background: white; - } - - /* trying to avoid having the source drool out of the paper */ - #source div pre { white-space: normal } - /* ... yet have something legible */ - #source div pre a {display: block } - -} diff -r 9bc6ac3389e3 -r 81a24724d6e0 htdocs/results.css --- a/htdocs/results.css Sun Oct 30 21:07:45 2011 +0200 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,281 +0,0 @@ -/*! - Results Style Sheet for the W3C Markup Validation Service. - - Copyright 1999-2011 W3C (MIT, INRIA, Keio). All Rights Reserved. - See http://www.w3.org/Consortium/Legal/ipr-notice.html#Copyright -*/ - -.input { - color: black; - background-color: #eee; - font-family: "Bitstream Vera Sans Mono", monospace; - font-size: small; -} - -/* Various Bits of the Table Header */ -/* -*/ -fieldset div.moreinfo { - float: right; - width: 30%; -} - -fieldset div.moreinfo p { - background: #FFF; - border: 1px solid #CCC; - padding: 10px; - text-align: justify; - font-size: smaller; -} - -fieldset div.cheat { - clear: both; -} - - -table.header { - clear: left; - margin-left: auto; - margin-right: auto; -} - -fieldset table.header { - float: left; - margin: 1ex; -} - -/* Error Messages Display */ -/* -*/ - -li.msg_info span.err_type{ - background-color: #888; - padding: .1em .5em; - color: white; - font-size: smaller; -} - -li.msg_warn span.err_type{ - padding: .1em .5em; - background-color: #FA9084; - color: #333; - font-size: smaller; -} - -li.msg_err span.err_type{ - padding: .1em .5em; - background-color: #D23D24; - color:white; - font-size: smaller; -} - -.msg { - font-weight: bold; -} - -li.msg_info span.msg { /* these messages are not errors */ - font-weight: normal !important; -} - -.ve { - font-size: smaller; - padding: 0; - width: 100%; -} - -.ve p { - line-height: 110%; - margin: 1ex 5em 1ex 1em; - text-align: justify; -} - -/* no Helpwanted, hence giving it a bit of space instead */ -li.msg_info { - padding-bottom: 2em; -} - -p.helpwanted { - padding: 0; - margin-left: auto; - margin-right: 5px; - margin-bottom: 2em; - color: #888; - text-align: right; -} - -p.helpwanted a { - color: #88f; - text-decoration: none; -} - -code.input { - margin-bottom: 2ex; -} - -code.input strong { - color: red; - padding-left: .5ex; - padding-right: .5ex; - font-weight: bolder; -} - -ol#errors li { - clear: both; -} - -/* Source Code Display */ -/* -*/ -#source ol { - - font-family: "Bitstream Vera Sans Mono", monospace; - font-size: smaller; - background: #eee; - border: 1px solid black; - margin: 1em; -} -#source ol li { - margin: 1em; -} - -#source ol li a { - color: inherit; - background-color: transparent; - text-decoration: none; -} - -pre.source { - font-family: "Bitstream Vera Sans Mono", monospace; - border: 1px solid black; - background: #eee; - margin: 1em; - padding: 1em; - overflow: scroll; - font-size: smaller; -} - -/* Style for non-parser warnings. */ -/* -*/ - -dl#warnings { - clear: left; - padding: 0; - margin-right: 20px; - margin-left: 20px; -} - -/* "Fatal" warnings... */ -dl#warnings dt { - background: #FA9084; /* based on color for .invalid, but washed out */ - padding: .5ex; - margin: 0; - float: left; - display: inline; - font-size: small; - font-weight: bolder; -} - -dl#warnings dd { - clear: left; - border-left: 2px solid #FA9084; /* based on color for dl#warnings dt */ - margin-top: 0; - margin-left: 0; - padding-top: .5em; -} - -dl#warnings dd p:first-child { - /* font-weight: bold; */ -} - - -th { - padding-right: .5em; - text-align: right; - vertical-align: middle; - white-space: nowrap; -} - -td { - text-align: left; - padding-left: .5em; -} - -.info { - color: black; - background: white; - border-color: gray; -} - -.warning { - color: black; - background: silver; - border-color: gray; -} - -.error { - color: black; - background: yellow; - border-color: black; -} - -.fatal h2 { - color: black; - background: red; - border: solid black 1px; -} - -div#result { - clear: left; - padding-top: 1em; -} - -h2.valid, h2.invalid, h2.tentative_valid { - text-align: center; - margin: 0; - font-family: "Bitstream Vera Sans", sans-serif; - font-size-adjust: .53; - font-size: 1.5em; - font-weight: 500; - font-style: normal; - text-decoration: none; - word-spacing: normal; - letter-spacing: normal; - text-transform: none; - border-color: black; - padding-top: .5em; - padding-bottom: .5em; -} - -.valid { - background-color: #55B05A; - color: white; -} - -.tentative_valid { -/* we could use a different color than for "valid" */ -/* background-color: #888; */ -/* ... or simply use the same */ - background: #55B05A; - color: white; -} - -.invalid { - background-color: #D23D24; - color: white; -} - -td.valid { - background-color: white; - color: #55B05A; -} - -td.invalid -{ - color: #D23D24; - background-color: white; -} - -img.inline-badge { - float: left; -} diff -r 9bc6ac3389e3 -r 81a24724d6e0 httpd/conf/httpd.conf --- a/httpd/conf/httpd.conf Sun Oct 30 21:07:45 2011 +0200 +++ b/httpd/conf/httpd.conf Tue Nov 01 19:28:14 2011 +0200 @@ -83,7 +83,6 @@ <IfModule mod_expires.c> ExpiresActive On ExpiresByType image/gif A2592000 - ExpiresByType image/jpg A2592000 ExpiresByType image/png A2592000 ExpiresByType text/html A604800 ExpiresByType text/css A2592000
Received on Tuesday, 1 November 2011 17:28:41 UTC