From 27e75ee6a9dc81804b5ecfb37443fc939179b580 Mon Sep 17 00:00:00 2001 From: Alain Reguera Delgado Date: Oct 16 2012 20:05:55 +0000 Subject: Update `trac.css' file. --- diff --git a/Identity/Webenv/Themes/Default/Trac/0.10.4/Modern/htdocs/css/trac.css b/Identity/Webenv/Themes/Default/Trac/0.10.4/Modern/htdocs/css/trac.css index 939dc21..47e2d43 100755 --- a/Identity/Webenv/Themes/Default/Trac/0.10.4/Modern/htdocs/css/trac.css +++ b/Identity/Webenv/Themes/Default/Trac/0.10.4/Modern/htdocs/css/trac.css @@ -1,123 +1,109 @@ -/* Trac CSS */ +/* + * default.css -- This file resets the browser's default visual style + * and sets The CentOS Web Environment visual style as default visual + * style. This file sets default values to tags like `html', `body', + * as well as those controlling links, tables, paragrphs, headings, + * lists, forms and quotation. + * + * The CentOS Web Environment (Webenv) is specially conceived to + * achieve one unique visual style and easy navegation through all + * different web applications The CentOS Project uses to show its + * existence in the World Wide Web medium. + * + * Copyright (C) 2009, 2010, 2011 The CentOS Artwork SIG + * + * This CSS is free software; you can redistribute it and/or modify it + * under the terms of the GNU General Public License as published by + * the Free Software Foundation; either version 2 of the License, or + * (at your option) any later version. + * + * This CSS is distributed in the hope that it will be useful, but + * WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU + * General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA. + * + * ------------------------------------------------------------------- + * $Id: reset.css 5276 2012-08-28 22:08:58Z al $ + * ------------------------------------------------------------------- + */ + + +/* Reset browsers default margins and paddings +-----------------------------------------------*/ + +* { + margin: 0; + padding: 0; + } + +/* Define html +-----------------------------------------------*/ html { - background-image:url(../background.png); - background-color: #FFF; - font-family: "DejaVu Sans", "Liberation Sans", sans-serif; - font-size: 0.85em; - line-height: 1.25em; - /* margin: 0; /* <- full screen */ - /* margin: 0 1% 0 1%; /* <- with 1% of left and right margin */ - /* margin: 0 2% 0 2%; /* <- with 2% of left and right margin */ - margin: 0 3% 0 3%; /* <- with 4% of left and right margin */ - /* margin: 0 10% 0 10%; /* <- with 10% of left and right margin */ - } + background-color: #FFF; + background-image: url("../background.png"); + } + +/* Define body +-----------------------------------------------*/ body { + font-family: "DejaVu Sans", "Liberation Sans", sans-serif; + font-size: 0.85em; + /* margin: 0; /* <- full screen */ + /* margin: 0 1% 0 1%; /* <- with 1% of left and right margin */ + /* margin: 0 2% 0 2%; /* <- with 2% of left and right margin */ + margin: 0 3% 0 3%; /* <- with 3% of left and right margin */ + /* margin: 0 10% 0 10%; /* <- with 10% of left and right margin */ + color: #000; background: #FFF; - padding: 0px 10px; - margin:0; -} + padding: 0 10px; + } #banner { background: #204c8d url("../header-background.png"); -} - -h1 { - font-size: 1.7em; - font-weight: bold; - line-height: 1.9em; - margin-top: 0.9em; - margin-bottom: 0.9em; - padding-left: 0.7em; /* Should be the same for h{1-4} */ - color: #FFF; - border: none; - background-color: #204C8D; - background-image: url("../h1-background.png"); - } -h2 { - font-size: 1.4em; - line-height: 1.8em; - margin: 0; - margin-top: 1.6em; - margin-bottom: 0.8em; - padding-left: 0.7em; /* Should be the same for h{1-4}*/ - background-image: url("../h2-background.png"); - border: none; - color: #072B61; - } + } -h3 { - font-size: 1.25em; - line-height: 1.6em; - margin-top: 1em; - margin-bottom: 0.5em; - padding-left: 0.7em; /* Should be the same for h{1-4} */ - color: #072B61; - border-bottom-width: 1px; - border-bottom-style: solid; - border-bottom-color: #DADADA; - } -h4 { - font-size: 1.2em; - line-height: 1.4em; - margin-top: 1em; - margin-bottom: 0.5em; - padding-left: 0; /* Should be the same for h{1-4} */ - color: #072B61; - border-bottom: none; - } +#header hr { display: none } -h5 { - font-size: 1.1em; - line-height: 1.1em; - margin-top: 1em; - margin-bottom: 0.5em; - padding-left: 0.7em; /* Should be the same for h{1-4} */ - color: #072B61; - font-weight: bold; - border-bottom: none; - } +#header h1 { margin: 1.5em 0 -1.5em; } -h6 { - font-size: 1em; - line-height: 1.1em; - margin-top: 1em; - margin-bottom: 0.5em; - padding-left: 0.7em; /* Should be the same for h{1-4} */ - color: #000; - font-weight: bold; - border-bottom: none; - } +#header img { + border: none; + margin-left: 10px; + font-weight: bold; + font-size: 1.4em; + line-height: 1em; + padding: 0; + float: left; + } -hr { - border: none; - border-top: 1px solid #ccc; - margin: 2em 0 +#header :link, +#header :visited, +#header :link:hover, +#header :visited:hover { + background: transparent; + color: #555; + margin-bottom: 2px; + border: none; } -address { font-style: normal } - -img { border: none } - -tt { - font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; - white-space: pre +#header h1 :link:hover, +#header h1 :visited:hover { + color: #000 } -.underline { text-decoration: underline } -ol.loweralpha { list-style-type: lower-alpha } -ol.upperalpha { list-style-type: upper-alpha } -ol.lowerroman { list-style-type: lower-roman } -ol.upperroman { list-style-type: upper-roman } -ol.arabic { list-style-type: decimal } - -/* Link styles */ +/* Links +-----------------------------------------------*/ -a:link { text-decoration: none; color: #204C8D; } -a:hover { text-decoration: underline; color: green; } -a:active { text-decoration: underline; color: green; } -a:visited { text-decoration: none; color: #204C8D; } +a:link { text-decoration: none; color: #0044B3; } +a:hover { text-decoration: underline; color: green; } +a:active { text-decoration: underline; color: green; } +a:visited { text-decoration: none; color: #0044B3; } a:visited:hover { text-decoration: underline; color: green; } h1 :link, h1 :visited ,h2 :link, h2 :visited, h3 :link, h3 :visited, @@ -137,7 +123,8 @@ h2 a:visited, h3 a:visited, h4 a:visited, h5 a:visited, h6 a:visited { text-deco h2 a:visited:hover, h3 a:visited:hover, h4 a:visited:hover, h5 a:visited:hover, h6 a:visited:hover { text-decoration: underline; color: #072B61; } -/* Heading anchors */ +/* Headings +-----------------------------------------------*/ .anchor:link, .anchor:visited { @@ -167,7 +154,259 @@ h4:hover .anchor, h5:hover .anchor, h6:hover .anchor { } } -/* Forms */ +h1 { + font-size: 1.7em; + font-weight: bold; + line-height: 1.9em; + margin-top: 0.9em; + margin-bottom: 0.9em; + padding-left: 0.7em; /* Should be the same for h{1-4} */ + color: #FFF; + border: none; + background-color: #204C8D; + background-image: url("../h1-background.png"); + } + +h2 { + font-size: 1.4em; + line-height: 1.8em; + margin: 0; + margin-top: 1.6em; + margin-bottom: 0.8em; + padding-left: 0.7em; /* Should be the same for h{1-4}*/ + background-image: url("../h2-background.png"); + border: none; + color: #072B61; + } + +h3 { + font-size: 1.25em; + line-height: 1.6em; + margin-top: 1em; + margin-bottom: 0.5em; + padding-left: 0.7em; /* Should be the same for h{1-4} */ + color: #072B61; + border-bottom-width: 1px; + border-bottom-style: solid; + border-bottom-color: #DADADA; + } +h4 { + font-size: 1.2em; + line-height: 1.4em; + margin-top: 1em; + margin-bottom: 0.5em; + padding-left: 0; /* Should be the same for h{1-4} */ + color: #072B61; + border-bottom: none; + } + +h5 { + font-size: 1.1em; + line-height: 1.1em; + margin-top: 1em; + margin-bottom: 0.5em; + padding-left: 0.7em; /* Should be the same for h{1-4} */ + color: #072B61; + font-weight: bold; + border-bottom: none; + } + +h6 { + font-size: 1em; + line-height: 1.1em; + margin-top: 1em; + margin-bottom: 0.5em; + padding-left: 0.7em; /* Should be the same for h{1-4} */ + color: #000; + font-weight: bold; + border-bottom: none; + } + +hr { + border: none; + border-top: 1px solid #ccc; + margin: 2em 0 + } + +address { font-style: normal } + +img { border: none } + +tt { + font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; + white-space: pre + } + +.underline { text-decoration: underline } +ol.loweralpha { list-style-type: lower-alpha } +ol.upperalpha { list-style-type: upper-alpha } +ol.lowerroman { list-style-type: lower-roman } +ol.upperroman { list-style-type: upper-roman } +ol.arabic { list-style-type: decimal } + +/* Paragraphs +-----------------------------------------------*/ + +p { + margin: 1em 0 1.5em 0; + line-height: 1.5em; + } + +/* Images +-----------------------------------------------*/ + +/* Quotations +-----------------------------------------------*/ + +blockquote { + background: #fafafa; + border-color: #eeeeee; + border-width: 1px; + border-style: solid; + border-left-width: 4px; + margin-left: 1.5em; + padding: 0.5em; + margin-top: 1em; + margin-bottom: 1.3em; + } + +q:before { + content: " “"; + } + +q:after { + content: "” "; + } + +q q:before { + content: " ‘"; + } + +q q:after { + content: "’ "; + } + +address { + margin-left: 1.5em; + } + +/* Preformatted Texts +-----------------------------------------------*/ + +pre { + font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; + padding: 0.7em 1em; + margin: 1em 0 1.5em 0; + white-space: pre; + border-width: 1px; + border-style: solid; + border-color: #E5E5E5; + border-left-width: 5px; + background: #FFFAE9; + overflow: auto; + } + +/* Phrase Elements +-----------------------------------------------*/ + +tt, +samp, +kbd, +code { + font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; + } + +/* Page Lines +-----------------------------------------------*/ + +hr { + clear: both; + height: 1px ! important; + border: none; + background-color: #DADADA; + } + +/* Lists +-----------------------------------------------*/ + +ul, +ol, +dl { + margin: 1.5em 0 1.5em 4.5em; + } + +ul { + list-style: url("../ul.png") circle; + } + +ol { + list-style-image: none !important; + } + +ul li, +ol li { + line-height: 1.5em; + } + +ul ul, +ul ol, +ol ul, +ol ol { + margin-top: 0.3em; + margin-bottom: 0.3em; + margin-left: 2.5em; + } + +ul li p, +ol li p { + margin-bottom: 0.3em; + } + +dl dd { + margin: 0.5em 0 1em 2.5em; + } + +dl ol, +dl ul { + margin-left: 3.5em; + } + +/* Tables +-----------------------------------------------*/ + +table { + border-collapse: collapse; + } + +table caption { + font-style: italic; + text-align: center; + } + +table tr th { + font-weight: bold; + } + +table tr td, +table tr th { + border: 1pt; + border-style: solid; + border-color: #CCC; + padding-top: 0.25em; + padding-right: 0.5em; + padding-bottom: 0.25em; + padding-left: 0.5em; + vertical-align: top; + } + +table tr td p, +table tr td pre { + margin: 0; + padding: 0; + } + +/* Forms +-----------------------------------------------*/ input, textarea, @@ -224,8 +463,8 @@ input[type=text], input.textwidget, textarea { border: 1px solid #ccc; - font-size: 1.4em; - font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; + font-size: 1.4em; + font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; background-color: #f8f8f8; } @@ -295,39 +534,9 @@ label.disabled { padding: 0.1em; border: 1px solid #ddd; font-size: 95%; - cursor: pointer; - } - -/* Header */ - -#header hr { display: none } - -#header h1 { margin: 1.5em 0 -1.5em; } - -#header img { - border: none; - margin-left: 10px; - font-weight: bold; - font-size: 1.4em; - line-height: 1em; - padding: 0; - float: left; -} - -#header :link, -#header :visited, -#header :link:hover, -#header :visited:hover { - background: transparent; - color: #555; - margin-bottom: 2px; - border: none; + cursor: pointer; } -#header h1 :link:hover, -#header h1 :visited:hover { - color: #000 - } /* Quick search */ @@ -396,7 +605,7 @@ label.disabled { padding-left: 0px; margin:0; padding-left: 10px; - } + } .mainnav ul { padding:0; @@ -419,11 +628,11 @@ label.disabled { background-repeat: repeat-x; font-size: 0.9em; -moz-border-radius: 3px 3px 0 0; - } + } .mainnav li a { /* To cover the box area as linkable */ - padding: 6px 8px; + padding: 7px 8px; } #banner .mainnav li.active a { @@ -439,24 +648,24 @@ label.disabled { .mainnav a, .mainnav a:visited { - color: #204C8D; - text-decoration: none; + color: #204C8D; + text-decoration: none; border-bottom: 0; - } + } .mainnav li:hover { - background-color: #628ECA; - background-image: url("../topbar_gradient2.png"); - background-position: left top; - background-repeat: repeat-x; - } + background-color: #628ECA; + background-image: url("../topbar_gradient2.png"); + background-position: left top; + background-repeat: repeat-x; + } .mainnav li:hover a { - color: #FFFFFF; - text-decoration: none; + color: #FFFFFF; + text-decoration: none; background: transparent; border-bottom: 0; - } + } .mainnav li:hover a:active { color:#FFF; @@ -470,62 +679,62 @@ label.disabled { .mainnav .active :link, .mainnav .active :visited { - color: #FFFFFF; + color: #FFFFFF; font-weight: bold; } .mainnav li.active { - background-color: #628ECA; - background-image: url("../topbar_gradient2.png"); - background-position: left top; - background-repeat: repeat-x; + background-color: #628ECA; + background-image: url("../topbar_gradient2.png"); + background-position: left top; + background-repeat: repeat-x; } /* Main navigation bar footer*/ #footer .mainnav li { - border-color: #628ECA; - background-color: #FFF; - background-image: url("../bottombar_gradient.png"); - background-position: left bottom; - background-repeat: repeat-x; - -moz-border-radius: 0 0 3px 3px; - } + border-color: #628ECA; + background-color: #FFF; + background-image: url("../bottombar_gradient.png"); + background-position: left bottom; + background-repeat: repeat-x; + -moz-border-radius: 0 0 3px 3px; + } #footer .mainnav a, #footer .mainnav a:visited { - color: #204C8D; - text-decoration: none; + color: #204C8D; + text-decoration: none; border-bottom: 0; - } + } #footer .mainnav li:hover { - background-color: #628ECA; - background-image: url("../bottombar_gradient2.png"); - background-position: left bottom; - background-repeat: repeat-x; - } + background-color: #628ECA; + background-image: url("../bottombar_gradient2.png"); + background-position: left bottom; + background-repeat: repeat-x; + } #footer .mainnav li:hover a { - color: #FFFFFF; - text-decoration: none; + color: #FFFFFF; + text-decoration: none; background: transparent; - } + } #footer .mainnav li:hover a:active { color:#FFF; text-decoration:none;} #footer .mainnav li a:active { color:#204C8D; text-decoration:none;} #footer .mainnav .active :link, #footer .mainnav .active :visited { - color: #FFFFFF; + color: #FFFFFF; font-weight: bold; } #footer .mainnav li.active { - background-color: #628ECA; - background-image: url("../bottombar_gradient2.png"); - background-position: left bottom; - background-repeat: repeat-x; + background-color: #628ECA; + background-image: url("../bottombar_gradient2.png"); + background-position: left bottom; + background-repeat: repeat-x; } /* Context-dependent navigation links */ @@ -650,17 +859,17 @@ label.disabled { } #footer .credits { - text-align: center; - font-size: 0.88em; - padding: 0; - color: #EEE; + text-align: center; + font-size: 0.88em; + padding: 0; + color: #EEE; padding: 1em; clear: both; } #footer .credits a { - color: #EEE; - } + color: #EEE; + } #content { @@ -786,27 +995,27 @@ dl.compact dd { margin: 0; padding: 0 } pre.wiki, pre.literal-block { - border: 1pt dashed #797979; - background-color: #F3F3F3; - padding: 0.5em 1em; - margin: 0.5em 0 0.5em 0; - font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; - white-space: pre; - /* begin css 3 or browser specific rules - do not remove! - see: http://forums.techguy.org/archive/index.php/t-249849.html */ - white-space: pre-wrap; - word-wrap: break-word; - white-space: -moz-pre-wrap; - white-space: -pre-wrap; - white-space: -o-pre-wrap; - /* end css 3 or browser specific rules */ - border-width: 1px; - border-style: solid; - border-color: #E5E5E5; - border-left-width: 4px; - white-space: pre; - background: #FFFAE9; - overflow: auto; + border: 1pt dashed #797979; + background-color: #F3F3F3; + padding: 0.5em 1em; + margin: 0.5em 0 0.5em 0; + font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; + white-space: pre; + /* begin css 3 or browser specific rules - do not remove! + see: http://forums.techguy.org/archive/index.php/t-249849.html */ + white-space: pre-wrap; + word-wrap: break-word; + white-space: -moz-pre-wrap; + white-space: -pre-wrap; + white-space: -o-pre-wrap; + /* end css 3 or browser specific rules */ + border-width: 1px; + border-style: solid; + border-color: #E5E5E5; + border-left-width: 4px; + white-space: pre; + background: #FFFAE9; + overflow: auto; } blockquote.citation { @@ -932,7 +1141,6 @@ table.wiki td { margin-bottom: 1em; } - /* Styles for tabular listings such as those used for displaying * directory contents and report results. */ @@ -1079,60 +1287,18 @@ div.system-message p.system-message-title { /* Miscelaneous */ .pageline { - clear: both; - margin: 0; - padding: 0; - width: 100%; - /* sync these values, line-height is needed for IE */ - height: 5px; + clear: both; + margin: 0; + padding: 0; + width: 100%; + /* sync these values, line-height is needed for IE */ + height: 5px; line-height: 5px; - background: #628ECA; - } + background: #628ECA; + } .wikitext { padding: 3px; font-family: "DejaVu Sans Mono", "Liberation Mono", monospace; font-size: 1em; } - -/* Lists */ - -#content ul, -#content ol { - padding-left: 0.5em; - margin-left: 3em; - margin-bottom: 0.3em; - } - -#content ul { - list-style: url("../ul.png") circle; - } - -#content ol { - list-style-image: none !important; - } - -#content ul li { - padding-left: 0em; - margin-bottom: 0.3em; - } - -#content ol li { - padding-left: 0em; - margin-bottom: 0.3em; - } - -#content ul ul, -#content ul ol, -#content ol ul, -#content ol ol { - margin-left: 1.5em; - margin-top: 0.3em; - } - -#content ul li p, -#content ol li p { - margin-bottom: 0.3em; - line-height: 1.5em; - margin-left: 0 !important; - }