Sophie

Sophie

distrib > Mandriva > 8.2 > i586 > by-pkgid > 751e76a527cc6334c21bc609d8a89538 > files > 17

cervisia-1.4.1-6mdk.i586.rpm

/*
    KDE-wide default CSS for HTML documentation (all media types).
    Copyright (C) 2000 Frederik Fouvry

    This program 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 program 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., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA

    Send comments, suggestions, etc. to Frederik Fouvry 
    <fouvry@sfs.nphil.uni-tuebingen.de>. 
*/

/*
   Important note: these setting may be overridden by localised CSS.  Do not 
   add here any localisation-sensitive style declarations.

   Any updates should be validated, e.g. http://jigsaw.w3.org/css-validator/
*/

/* Note: "should be inherit" means that in a proper browser inherit should work.
         Somehow Netscape manages to interpret "inherit" as bright green.
         Yuck.
*/

BODY { background-color: rgb(255,255,255);
       font-family: Helvetica, Arial, sans-serif; /* or just generic font? */
       color: rgb(0,0,0);
       margin-top: 1.5em;
       margin-left: 1.5em;
       margin-bottom: 1.5em;
       margin-right: 1em; 
}

:link { color: rgb(170,0,0); 
        background-color: white; /* should be inherit */ }
/* :visited { color: rgb(170,0,0); } what is KDE value?*/

/* Lauri */
TABLE { padding: 5px; } 

TABLE.programlisting
TABLE.screen { border-style: none;
               background-color: rgb(224,224,224);
               table-layout: auto; /* 100%? */
               color: rgb(0,0,0); /* should be inherit */
               }

/* Same as previous block, but more general (previous is HTML only)
   Not all browsers understand this yet.
TABLE[class~=programlisting]
TABLE[class~=screen] { border-style: none;
                       background-color: rgb(224,224,224);
                       table-layout: auto;
                       color: inherit;
                       }
*/

/* Lauri */
/* Removed 7/30/00 - Mike McBride*/
/* LI { padding-bottom: -2em; } */

P { text-align: justify; }

/* More specific settings */

DIV.navbar P { text-align: right; }

/* Temporary patch: browsers break on bad HTML */
P H1 H2 H3 H4 H5 TD { font-family: Helvetica, Arial, sans-serif; 
    }

/* Lauri @ Hack Session in Erlangen - Test */

.guimenu, .guimenuitem, .guisubmenu { background-color: rgb(240,240,240);
                                      color: rgb(0,0,0); /* should be inherit */
                                    }

.guilabel, .interface, .guibutton { background-color: rgb(240,240,240);
                                    color: rgb(0,0,0); /* should be inherit */
                                  }

.shortcut { background-color: rgb(240,240,240);
            color: rgb(0,0,0); /* should be inherit */
            }

.shortcut .keycap { background-color: rgb(240,240,240);
                    color: rgb(0,0,0); /* should be inherit */
                    }

.question { font-weight: bolder; }

/* An idea that could be nice: a search engine looking for specific
classes could display them in some conspicuous colour.  All that is
needed is an on the fly generated style element/style sheet. */