Index: webapps/docs/images/docs-stylesheet-ie-fix.css
===================================================================
--- webapps/docs/images/docs-stylesheet-ie-fix.css (revision 1521946)
+++ webapps/docs/images/docs-stylesheet-ie-fix.css (working copy)
@@ -1,22 +0,0 @@
-@charset "utf-8";
-/*
-* Copyright 2002-2013 The Apache Software Foundation
-*
-* Licensed under the Apache License, Version 2.0 (the "License");
-* you may not use this file except in compliance with the License.
-* You may obtain a copy of the License at
-*
-* http://www.apache.org/licenses/LICENSE-2.0
-*
-* Unless required by applicable law or agreed to in writing, software
-* distributed under the License is distributed on an "AS IS" BASIS,
-* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
-* See the License for the specific language governing permissions and
-* limitations under the License.
-*/
-
-/* This is a CSS hack for old IEs (IE ≤ 9). */
-
-#header > div {
- background-color: #F8F3E4;
-}
\ No newline at end of file
Index: webapps/docs/images/docs-stylesheet.css
===================================================================
--- webapps/docs/images/docs-stylesheet.css (revision 1521946)
+++ webapps/docs/images/docs-stylesheet.css (working copy)
@@ -65,6 +65,9 @@
#header > div {
padding-left: 15px;
padding-right: 15px;
+
+ /* Work-around for old browsers: */
+ background-color: #F8F3E4;
background: linear-gradient(to bottom, #ffffff -10%, #F8F3E4 100%);
position: relative;
}
Index: webapps/docs/tomcat-docs.xsl
===================================================================
--- webapps/docs/tomcat-docs.xsl (revision 1521946)
+++ webapps/docs/tomcat-docs.xsl (working copy)
@@ -72,14 +72,6 @@
-
-
- /images/docs-stylesheet-ie-fix.css
-
-