only pagedate be the smallest
Signed-off-by: Nico Schottelius <nico@kr.ethz.ch>
This commit is contained in:
parent
53b9cefe4b
commit
319a8ce90c
1 changed files with 4 additions and 2 deletions
|
@ -108,11 +108,13 @@ pre {
|
||||||
color: yellow;
|
color: yellow;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/* pagedate is even less interesting, make it even smaller */
|
||||||
.pagedate {
|
.pagedate {
|
||||||
background: #474747;
|
background: #474747;
|
||||||
border: none;
|
border: none;
|
||||||
padding: 4px;
|
padding: 4px;
|
||||||
color: #efefef;
|
color: #efefef;
|
||||||
|
font-size: 80%;
|
||||||
}
|
}
|
||||||
|
|
||||||
.selflink { background: yellow; color: black }
|
.selflink { background: yellow; color: black }
|
||||||
|
@ -120,8 +122,8 @@ pre {
|
||||||
.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 */
|
/* elements at the bottom should be a bit smaller in general */
|
||||||
.pagefooter {
|
.pagefooter {
|
||||||
font-family: sans-serif;
|
font-family: sans-serif;
|
||||||
font-size: 60%;
|
font-size: 80%;
|
||||||
}
|
}
|
||||||
|
|
Loading…
Reference in a new issue