Warning, /frameworks/kdoctools/common/en/kde-default.css is written in an unsupported language. File is not indexed.

0001 /*
0002     KDE-wide default CSS for HTML documentation (all media types).
0003     SPDX-FileCopyrightText: 2000 Frederik Fouvry <fouvry@sfs.nphil.uni-tuebingen.de>
0004 
0005     SPDX-License-Identifier: GPL-2.0-or-later
0006 
0007     Send comments, suggestions, etc. to Frederik Fouvry <fouvry@sfs.nphil.uni-tuebingen.de>.
0008 */
0009 
0010 /*
0011    Important note: these setting may be overridden by localised CSS.  Do not 
0012    add here any localization-sensitive style declarations.
0013 
0014    Any updates should be validated, e.g. https://jigsaw.w3.org/css-validator/ */
0015 
0016 /* Note: "should be inherit" means that in a proper browser inherit should work.
0017    Somehow Netscape manages to interpret "inherit" as bright green. 
0018    Yuck.  */
0019 
0020 body {
0021   background: white none;
0022   color: black;
0023   font-family: sans-serif;
0024   padding: 0 15px 0 0;
0025   margin: 0; 
0026 }
0027 
0028 .legalnotice, .copyright {
0029   padding: 0;
0030   margin: 0; 
0031 }
0032 
0033 .abstract {
0034   font-weight: bolder;
0035   padding-right: 1em; 
0036 }
0037 
0038 .toc, .list-of-tables {
0039   padding-left: 1em;
0040 }
0041 
0042 .sect1, .chapter, .synopsis, .appendix, .preface, .article, .refsect1, .index, .glossary, .glossdiv, .gloss-article, .section {
0043   padding-left: 1em;
0044 }
0045 
0046 .gloss-article, .glossdiv {
0047   padding-right: 1em;
0048 }
0049 
0050 .toc .chapter {
0051 padding: 0em 0em 0em 1em;
0052 }
0053 
0054 .author {
0055   color: rgb(82,80,82);
0056   font-weight: bolder;
0057   padding: 0;
0058   margin: 0;
0059 }
0060 
0061 .othercredit {
0062   line-height: 1em;
0063 }
0064 
0065 .chapter .sect1, .chapter .titlepage, .sect1 .titlepage, .article .titlepage {
0066   padding: 0em;
0067 }
0068 
0069 .titlepage {
0070   padding-left: 1em;
0071   padding-right: 1em;
0072 }
0073 
0074 /* Nice link colors for the main text */
0075 
0076 :link { 
0077   color: #41597A;
0078 }
0079 
0080 a, :visited { 
0081   color: #597ba8;
0082 }
0083 
0084 .navLeft {
0085   position: absolute; 
0086   left: 20px;
0087 }
0088 
0089 .navRight {
0090   position: absolute; 
0091   right: 20px;
0092 }
0093 
0094 .navCenter {
0095   text-align: center;
0096   align: center;
0097 }
0098 
0099 .bannerBottomLeft {
0100   position: absolute; left: 0px;
0101 }
0102 
0103 .bannerBottomRight {
0104   position: absolute; right: 0px;
0105 }
0106 
0107 .header {
0108   background: #54a3d8 none;
0109   border-top: 1px solid white;
0110   color: white;
0111   font-size: small;
0112   height: 1.7em;
0113   line-height: 1em;
0114   margin: 0px;
0115   padding: 0px;
0116   vertical-align: middle;
0117 }
0118 
0119 .bottom-nav { 
0120   background-color: #3E91EB; 
0121   border-bottom: 1px solid #206dcd; 
0122   border-top: 1px solid white;
0123   color: white; 
0124   font-size: small; 
0125   height: 1.7em; 
0126   line-height: 1em; 
0127   margin: 0px; 
0128   padding-bottom: 0px; 
0129   padding-left: 1em;
0130   padding-right: 0px; 
0131   padding-top: 10px; 
0132   vertical-align: middle; 
0133 }
0134 
0135 /* A little bit of padding makes the tables for keybindings etc much easier to read */
0136 
0137 table { 
0138   padding: 5px; 
0139 } 
0140 
0141 dl { 
0142   margin-top: 0em; 
0143   margin-bottom: 0.5em; 
0144 }
0145 
0146 dt { 
0147   margin-top: 1em; 
0148 }
0149 div.toc dt { 
0150   margin-top: 0px; 
0151 }
0152 div.screenshot { 
0153   margin-bottom: 1em;
0154   margin-top: 1em; 
0155 }
0156 
0157 div.informalexample { 
0158   border-style: dotted;
0159   padding: 10px;
0160 }
0161 
0162 /* But no padding for navigation elements */
0163 
0164 .toplogo, .navbackground { 
0165   padding: 0px; 
0166 }
0167 
0168 table.programlisting
0169 table.screen { 
0170   border-style: none;
0171   background-color: rgb(224,224,224);
0172   table-layout: auto; /* 100%? */
0173   color: rgb(0,0,0); /* should be inherit */
0174 }
0175 
0176 /* Same as previous block, but more general (previous is HTML only)
0177    Not all browsers understand this yet.
0178    TABLE[class~=programlisting]
0179    TABLE[class~=screen] { border-style: none;
0180           background-color: rgb(224,224,224);
0181           table-layout: auto;
0182           color: inherit;
0183 }
0184 */
0185 
0186 p {
0187   text-align: justify;
0188 }
0189 
0190 /* More specific settings */
0191 /* Temporary patch: browsers break on bad HTML */
0192 /* P, H1, H2, H3, H4, H5, TD, TH { font-family: Helvetica, Arial, sans-serif;
0193     } */
0194 
0195 p, h1, h2, h3, h4, h5, h6, td, th { 
0196   font-family: sans-serif;
0197 }
0198 
0199 h1, h2, h3, h4, h5, h6 {
0200   color: #525052;
0201   background-color: transparent;
0202   font-weight: 550;
0203 }
0204 
0205 h1,h2,h3 {
0206     line-height: 1.5em;
0207 }
0208 
0209 /* Visual cues for GUI elements etc in the text */
0210 
0211 .guimenu, .guimenuitem, .guisubmenu { 
0212   background-color: rgb(220,220,220);
0213   color: rgb(0,0,0); /* should be inherit */
0214 }
0215 
0216 .guilabel, .interface, .guibutton, .guiicon { 
0217   background-color: rgb(220,220,220);
0218   color: rgb(0,0,0); /* should be inherit */
0219 }
0220 
0221 .shortcut { 
0222   background-color: rgb(220,220,220);
0223   color: rgb(0,0,0); /* should be inherit */
0224 }
0225 
0226 .shortcut .keycap {
0227   background-color: rgb(220,220,220);
0228   color: rgb(0,0,0); /* should be inherit */
0229 }
0230 
0231 .keycap {
0232   margin-left: 4px;
0233 }
0234 
0235 .question { 
0236   font-weight: bolder; 
0237 }
0238 
0239 .accel { 
0240   background-color: rgb(220,220,220);
0241   color: rgb(0,0,0); 
0242   text-decoration: underline;
0243 }
0244 
0245 .option, .command { 
0246   background-color: rgb(255,255,255);
0247   color: rgb(0,96,160);
0248   font-weight: bold;
0249 }
0250 
0251 .arg, .parameter, .replaceable { 
0252   background-color: rgb(255,255,255);
0253   color: rgb(0,128,64);
0254   font-style: italic;
0255 }
0256 
0257 .screen, .programlisting { 
0258   background-color: rgb(220,220,220);
0259   color: rgb(0,0,0); /* should be inherit */
0260   border-style: dotted;
0261   border-color: rgb(0,0,0);
0262   border-width: thin; 
0263   padding: 5px; 
0264 } 
0265 
0266 
0267 /* This one is set in inches because the admonitions are set in inches
0268    and they're more difficult to change.  We can live with it in here, 
0269    for the meantime, it gives consistent margins */
0270 
0271 .example { 
0272   margin-left: 0.5in; 
0273   margin-right: 0.5in;
0274 }
0275 
0276 div.mediaobject, div.mediaobjectco { 
0277   /* float: right; */ 
0278   /* might make it much nicer. although someone has to
0279      understand the rules ;-)  You also don't want it to be
0280      surrounded by text it doesn't refer to ...  But that
0281      may be among others a question of writing style. */
0282   text-align: center; /* a bit of a hack: it should
0283                          position _images_ */
0284 }
0285 
0286 .caption { 
0287   margin: 0em 2em 0em 2em;
0288   text-align: center;
0289 }
0290 
0291 .inlinemediaobject { 
0292   vertical-align: baseline; 
0293 }
0294 
0295 /* An idea that could be nice: a search engine looking for specific
0296 classes could display them in some conspicuous color.  All that is
0297 needed is an on the fly generated style element/style sheet. */
0298 
0299 /* Only used in the hand-made HTML license texts */
0300 body.license { 
0301   background-color: rgb(255,255,255);
0302   text-align: justify; 
0303   color: rgb(0,0,0);
0304 }
0305 pre.license { 
0306   background-color: rgb(255,255,255);
0307   font-family: monospace;
0308   color: rgb(0,0,0);
0309 }
0310 code.email {
0311   font-size: 87.5%;
0312   color: #e83e8c;
0313   word-break: break-word;
0314 }
0315 a {
0316   color: #007bff;
0317   text-decoration: none;
0318   background-color: transparent;
0319 }
0320 a:hover {
0321   color: #0056b3;
0322   text-decoration: underline;
0323 }
0324 dt {
0325   font-weight: 500;
0326 }
0327 .date {
0328   margin-right: 4px;
0329 }