decrease font size in the page footer
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
fb497a0983
commit
53b9cefe4b
1 changed files with 7 additions and 3 deletions
10
local.css
10
local.css
|
@ -10,6 +10,7 @@
|
||||||
* - Made links better viewable
|
* - Made links better viewable
|
||||||
* - Smaller footer
|
* - Smaller footer
|
||||||
*
|
*
|
||||||
|
* css for dummies: # = id, . = class
|
||||||
*/
|
*/
|
||||||
|
|
||||||
.sidebar, .pagecloud {
|
.sidebar, .pagecloud {
|
||||||
|
@ -112,12 +113,15 @@ pre {
|
||||||
border: none;
|
border: none;
|
||||||
padding: 4px;
|
padding: 4px;
|
||||||
color: #efefef;
|
color: #efefef;
|
||||||
font-family: sans-serif;
|
|
||||||
font-size: 60%;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
.selflink { background: yellow; color: black }
|
.selflink { background: yellow; color: black }
|
||||||
|
|
||||||
.actions ul { background: #640000; border: none; padding-bottom: 0px; font-family: sans-serif;}
|
.actions ul { background: #640000; border: none; padding-bottom: 0px; font-family: sans-serif;}
|
||||||
.actions a { margin-right: 1ex; color: #dfdfdf; font-family: sans-serif;}
|
.actions a { margin-right: 1ex; color: #dfdfdf; font-family: sans-serif;}
|
||||||
#footer { border: none; font-family: sans-serif;}
|
#footer { border: none; font-family: sans-serif;}
|
||||||
|
|
||||||
|
/* elements at the bottom should be a bit smaller */
|
||||||
|
.pagefooter {
|
||||||
|
font-family: sans-serif;
|
||||||
|
font-size: 60%;
|
||||||
|
}
|
||||||
|
|
Loading…
Reference in a new issue