Restyle edocs.css

This commit is contained in:
Tom Willemse 2013-12-28 14:08:08 +01:00
parent 9c7e633e76
commit 7d9c722093

View file

@ -1,10 +1,5 @@
a { a { text-decoration: none; }
text-decoration: none; a:hover { text-decoration: underline; }
}
a:hover {
text-decoration: underline;
}
body { body {
border: 0; border: 0;
@ -15,29 +10,12 @@ body {
font-size: 15px; font-size: 15px;
} }
h1 { h1 { font-size: 25px; }
font-size: 25px; h2 { font-size: 23px; }
} h3 { font-size: 21px; }
h4 { font-size: 19px; }
h2 { h5 { font-size: 17px; }
font-size: 23px; h6 { font-size: 15px; }
}
h3 {
font-size: 21px;
}
h4 {
font-size: 19px;
}
h5 {
font-size: 17px;
}
h6 {
font-size: 15px;
}
pre { pre {
line-height: 100%; line-height: 100%;
@ -45,7 +23,4 @@ pre {
margin: 1.2em -8pt; margin: 1.2em -8pt;
} }
.container { .container { margin: 0 auto; width: 700px; }
margin: 0 auto;
width: 700px;
}