Fix style sheet and remove unused styles.

This commit is contained in:
Georg Brandl 2008-04-19 20:50:30 +00:00
parent a24f0d5c65
commit dc207da14c

View File

@ -56,7 +56,6 @@ cite, code, tt {
font-family: 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
font-size: 0.95em;
letter-spacing: 0.01em;
font-style: normal;
}
hr {
@ -314,20 +313,6 @@ div.pagination {
text-align: center;
}
p.noshell em {
color: #3ca8e7;
text-decoration: underline;
font-style: normal;
}
p.noshell:hover, div.nutshell {
background-color: white;
}
p.noshell {
cursor: pointer;
}
div.sidebar ul.toc {
margin: 1em 0 1em 0;
padding: 0 0 0 0.5em;