Vergessene Aenderung

This commit is contained in:
phil 2007-04-29 17:47:48 +00:00
parent c3a896d252
commit 45e00cbcdc

View file

@ -35,7 +35,7 @@ h1 {
h2 { h2 {
font-size: 150%; font-size: 150%;
color: #555753; color: #555753;
margin-bottom: 0.5em; margin-bottom: 0.5em;
} }
@ -83,10 +83,10 @@ hr {
tt { tt {
font-size: 90%; font-size: 90%;
text-decoration: underline; text-decoration: underline;
} }
sup { sup {
font-size: 70%; font-size: 70%;
} }
#container { #container {
@ -218,16 +218,16 @@ sup {
margin-bottom: 1.5em; margin-bottom: 1.5em;
} }
#main img { #main img {
margin-top: 1em; margin-top: 1em;
margin-bottom: 1.5em; margin-bottom: 1.5em;
border: 0; border: 0;
} }
#toc { #toc {
font-size: 90%; font-size: 90%;
margin-bottom: 2em; margin-bottom: 2em;
} }
#toctitle { #toctitle {
color: #888; color: #888;
@ -317,11 +317,11 @@ caption {
color: #888a85; color: #888a85;
font-size: 90%; font-size: 90%;
} }
.done2, .done2 a, .done2 a:visited { .done2, .done2 a, .done2 a:visited {
color: #888a85; color: #888a85;
} }
.next a { .next a {
font-size: 110%; font-size: 110%;
} }