- 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