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 }