joachim99@69: /*
joachim99@69:     KDE-wide default CSS for HTML documentation (all media types).
joachim99@69:     Copyright (C) 2000 Frederik Fouvry
joachim99@69: 
joachim99@69:     This program is free software; you can redistribute it and/or modify
joachim99@69:     it under the terms of the GNU General Public License as published by
joachim99@69:     the Free Software Foundation; either version 2 of the License, or
joachim99@69:     (at your option) any later version.
joachim99@69: 
joachim99@69:     This program is distributed in the hope that it will be useful,
joachim99@69:     but WITHOUT ANY WARRANTY; without even the implied warranty of
joachim99@69:     MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
joachim99@69:     GNU General Public License for more details.
joachim99@69: 
joachim99@69:     You should have received a copy of the GNU General Public License
joachim99@69:     along with this program; if not, write to the Free Software
joachim99@69:     Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA  02110-1301  USA
joachim99@69: 
joachim99@69:     Send comments, suggestions, etc. to Frederik Fouvry 
joachim99@69:     <fouvry@sfs.nphil.uni-tuebingen.de>. */
joachim99@69: 
joachim99@69: /*
joachim99@69:    Important note: these setting may be overridden by localised CSS.  Do not 
joachim99@69:    add here any localization-sensitive style declarations.
joachim99@69:    
joachim99@69:    Any updates should be validated, e.g. http://jigsaw.w3.org/css-validator/ */
joachim99@69: 
joachim99@69: /* Note: "should be inherit" means that in a proper browser inherit should work.
joachim99@69:    Somehow Netscape manages to interpret "inherit" as bright green. 
joachim99@69:    Yuck.  */
joachim99@69: 
joachim99@69: body {
joachim99@69:   background: white none;
joachim99@69:   color: black;
joachim99@69:   font-family: sans-serif;
joachim99@80:   padding: 0 15px 0 0;
joachim99@69:   margin: 0; 
joachim99@69: }
joachim99@69: 
joachim99@69: .legalnotice, .copyright {
joachim99@69:   padding: 0;
joachim99@69:   margin: 0; 
joachim99@69: }
joachim99@69: 
joachim99@69: .abstract {
joachim99@69:   font-weight: bolder;
joachim99@69:   padding-right: 1em; 
joachim99@69: }
joachim99@69: 
joachim99@69: .toc, .list-of-tables {
joachim99@69:   padding-left: 1em;
joachim99@69: }
joachim99@69: 
joachim99@69: .sect1, .chapter, .synopsis, .appendix, .preface, .article, .refsect1, .index, .glossary, .section {
joachim99@80:   padding-left: 1em;
joachim99@69: }
joachim99@69: 
joachim99@69: .toc .chapter {
joachim99@69: padding: 0em 0em 0em 1em;
joachim99@69: }
joachim99@69: 
joachim99@69: .author {
joachim99@69:   color: rgb(82,80,82);
joachim99@69:   font-weight: bolder;
joachim99@69:   padding: 0;
joachim99@69:   margin: 0;
joachim99@69: }
joachim99@69: 
joachim99@69: .othercredit {
joachim99@69:   line-height: 1em;
joachim99@69: }
joachim99@69: 
joachim99@69: .chapter .sect1, .chapter .titlepage, .sect1 .titlepage, .article .titlepage {
joachim99@69:   padding: 0em;
joachim99@69: }
joachim99@69: 
joachim99@69: .titlepage {
joachim99@69:   padding-left: 1em;
joachim99@69:   padding-right: 1em;
joachim99@69: }
joachim99@69: 
joachim99@69: /* Links in Navigation */
joachim99@69: 
joachim99@69: .navLeft a:link, .navCenter a:link, .navRight a:link, .header a:link, .header a:visited, .bottom-nav a:link, .bottom-nav a:visited {
joachim99@69:   color: #41597A;
joachim99@69:   font-weight: bold;
joachim99@69: }
joachim99@69: 
joachim99@69: 
joachim99@69: /* Nice link colors for the main text */
joachim99@69: 
joachim99@69: :link { 
joachim99@69:   color: #41597A;
joachim99@69: }
joachim99@69: 
joachim99@69: :visited { 
joachim99@69:   color: #597ba8;
joachim99@69: }
joachim99@69: 
joachim99@69: .navLeft {
joachim99@69:   position: absolute; 
joachim99@69:   left: 20px;
joachim99@69: }
joachim99@69: 
joachim99@69: .navRight {
joachim99@69:   position: absolute; 
joachim99@69:   right: 20px;
joachim99@69: }
joachim99@69: 
joachim99@69: .navCenter {
joachim99@69:   text-align: center;
joachim99@69:   align: center;
joachim99@69: }
joachim99@69: 
joachim99@69: .bannerBottomLeft {
joachim99@69:   position: absolute; left: 0px;
joachim99@69: }
joachim99@69: 
joachim99@69: .bannerBottomRight {
joachim99@69:   position: absolute; right: 0px;
joachim99@69: }
joachim99@69: 
joachim99@69: .header {
joachim99@69:   background: #3E91EB none;
joachim99@69:   border-bottom: 1px solid #206dcd;
joachim99@69:   border-top: 1px solid white;
joachim99@69:   color: white;
joachim99@69:   font-size: small;
joachim99@69:   height: 1.7em;
joachim99@69:   line-height: 1em;
joachim99@69:   margin: 0px;
joachim99@69:   padding-bottom: 0px;
joachim99@69:   padding-left: 1em;
joachim99@69:   padding-right: 0px;
joachim99@69:   padding-top: 0px;
joachim99@69:   vertical-align: middle;
joachim99@69: }
joachim99@69: 
joachim99@69: .bottom-nav { 
joachim99@69:   background-color: #3E91EB; 
joachim99@69:   border-bottom: 1px solid #206dcd; 
joachim99@69:   border-top: 1px solid white;
joachim99@69:   color: white; 
joachim99@69:   font-size: small; 
joachim99@69:   height: 1.7em; 
joachim99@69:   line-height: 1em; 
joachim99@69:   margin: 0px; 
joachim99@69:   padding-bottom: 0px; 
joachim99@69:   padding-left: 1em;
joachim99@69:   padding-right: 0px; 
joachim99@69:   padding-top: 10px; 
joachim99@69:   vertical-align: middle; 
joachim99@69: }
joachim99@69: 
joachim99@69: #logo {
joachim99@69:   background: url('kde_logo_bg.png') transparent repeat;
joachim99@69: }
joachim99@69: 
joachim99@69: /* A little bit of padding makes the tables for keybindings etc much easier to read */
joachim99@69: 
joachim99@69: table { 
joachim99@69:   padding: 5px; 
joachim99@69: } 
joachim99@69: 
joachim99@69: dl { 
joachim99@69:   margin-top: 0em; 
joachim99@69:   margin-bottom: 0.5em; 
joachim99@69: }
joachim99@69: 
joachim99@69: dt { 
joachim99@69:   margin-top: 1em; 
joachim99@69: }
joachim99@69: div.toc dt { 
joachim99@69:   margin-top: 0px; 
joachim99@69: }
joachim99@69: div.screenshot { 
joachim99@69:   margin-bottom: 1em;
joachim99@69:   margin-top: 1em; 
joachim99@69: }
joachim99@69: 
joachim99@69: div.informalexample { 
joachim99@69:   border-style: dotted;
joachim99@69:   padding: 10px;
joachim99@69: }
joachim99@69: 
joachim99@69: /* But no padding for navigation elements */
joachim99@69: 
joachim99@69: .toplogo, .navbackground { 
joachim99@69:   padding: 0px; 
joachim99@69: }
joachim99@69: 
joachim99@69: table.programlisting
joachim99@69: table.screen { 
joachim99@69:   border-style: none;
joachim99@69:   background-color: rgb(224,224,224);
joachim99@69:   table-layout: auto; /* 100%? */
joachim99@69:   color: rgb(0,0,0); /* should be inherit */
joachim99@69: }
joachim99@69: 
joachim99@69: /* Same as previous block, but more general (previous is HTML only)
joachim99@69:    Not all browsers understand this yet.
joachim99@69:    TABLE[class~=programlisting]
joachim99@69:    TABLE[class~=screen] { border-style: none;
joachim99@69:           background-color: rgb(224,224,224);
joachim99@69:           table-layout: auto;
joachim99@69:           color: inherit;
joachim99@69: }
joachim99@69: */
joachim99@69: 
joachim99@69: p { 
joachim99@69:   text-align: justify; 
joachim99@69: }
joachim99@69: 
joachim99@69: /* More specific settings */
joachim99@69: /* Temporary patch: browsers break on bad HTML */
joachim99@69: /* P, H1, H2, H3, H4, H5, TD, TH { font-family: Helvetica, Arial, sans-serif;
joachim99@69:     } */
joachim99@69: 
joachim99@69: p, h1, h2, h3, h4, h5, h6, td, th { 
joachim99@69:   font-family: sans-serif;
joachim99@69: }
joachim99@69: 
joachim99@69: /* Visual cues for GUI elements etc in the text */
joachim99@69: 
joachim99@69: .guimenu, .guimenuitem, .guisubmenu { 
joachim99@80:   background-color: rgb(220,220,220);
joachim99@69:   color: rgb(0,0,0); /* should be inherit */
joachim99@69: }
joachim99@69: 
joachim99@69: .guilabel, .interface, .guibutton { 
joachim99@80:   background-color: rgb(220,220,220);
joachim99@69:   color: rgb(0,0,0); /* should be inherit */
joachim99@69: }
joachim99@69: 
joachim99@69: .shortcut { 
joachim99@80:   background-color: rgb(220,220,220);
joachim99@69:   color: rgb(0,0,0); /* should be inherit */
joachim99@69: }
joachim99@69: 
joachim99@69: .shortcut .keycap { 
joachim99@80:   background-color: rgb(220,220,220);
joachim99@69:   color: rgb(0,0,0); /* should be inherit */
joachim99@69: }
joachim99@69: 
joachim99@69: .question { 
joachim99@69:   font-weight: bolder; 
joachim99@69: }
joachim99@69: 
joachim99@69: .accel { 
joachim99@80:   background-color: rgb(220,220,220);
joachim99@69:   color: rgb(0,0,0); 
joachim99@69:   text-decoration: underline;
joachim99@69: }
joachim99@69: 
joachim99@69: .option, .command { 
joachim99@69:   background-color: rgb(255,255,255);
joachim99@69:   color: rgb(0,96,160);
joachim99@69:   font-weight: bold;
joachim99@69: }
joachim99@69: 
joachim99@69: h1, h2, h3, h4, h5, h6 { 
joachim99@69:   color: rgb(82,80,82);
joachim99@69:   background-color: transparent;
joachim99@69: }
joachim99@69: 
joachim99@69: .arg, .parameter, .replaceable { 
joachim99@69:   background-color: rgb(255,255,255);
joachim99@69:   color: rgb(0,128,64);
joachim99@69:   font-style: italic;
joachim99@69: }
joachim99@69: 
joachim99@69: .screen, .programlisting { 
joachim99@80:   background-color: rgb(220,220,220);
joachim99@69:   color: rgb(0,0,0); /* should be inherit */
joachim99@69:   border-style: dotted;
joachim99@69:   border-color: rgb(0,0,0);
joachim99@69:   border-width: thin; 
joachim99@69:   padding: 5px; 
joachim99@69: } 
joachim99@69: 
joachim99@69: 
joachim99@69: /* This one is set in inches because the admonitions are set in inches
joachim99@69:    and they're more difficult to change.  We can live with it in here, 
joachim99@69:    for the meantime, it gives consistent margins */
joachim99@69: 
joachim99@69: .example { 
joachim99@69:   margin-left: 0.5in; 
joachim99@69:   margin-right: 0.5in;
joachim99@69: }
joachim99@69: 
joachim99@69: div.mediaobject { 
joachim99@69:   /* float: right; */ 
joachim99@69:   /* might make it much nicer. although someone has to
joachim99@69:      understand the rules ;-)  You also don't want it to be
joachim99@69:      surrounded by text it doesn't refer to ...  But that
joachim99@69:      may be among others a question of writing style. */
joachim99@69:   text-align: center; /* a bit of a hack: it should
joachim99@69:                          position _images_ */
joachim99@69: }
joachim99@69: 
joachim99@69: .caption { 
joachim99@69:   margin: 0em 2em 3em 2em; 
joachim99@69:   text-align: center;
joachim99@69: }
joachim99@69: 
joachim99@69: .inlinemediaobject { 
joachim99@69:   vertical-align: baseline; 
joachim99@69:   padding-right: 1em;
joachim99@69:   padding-left: 1em;		
joachim99@69: }
joachim99@69: 
joachim99@69: /* An idea that could be nice: a search engine looking for specific
joachim99@69: classes could display them in some conspicuous color.  All that is
joachim99@69: needed is an on the fly generated style element/style sheet. */
joachim99@69: 
joachim99@69: /* Only used in the hand-made HTML license texts */
joachim99@69: body.license { 
joachim99@69:   background-color: rgb(255,255,255);
joachim99@69:   text-align: justify; 
joachim99@69:   color: rgb(0,0,0);
joachim99@69: }
joachim99@69: pre.license { 
joachim99@69:   background-color: rgb(255,255,255);
joachim99@69:   font-family: monospace;
joachim99@69:   color: rgb(0,0,0);
joachim99@69: }
joachim99@69: