Add edocs.css for edocs-generated sites

This commit is contained in:
Tom Willemse 2013-12-10 02:24:52 +01:00
parent 0a9c71f647
commit 10367dd27f

51
edocs.css Normal file
View file

@ -0,0 +1,51 @@
a {
text-decoration: none;
}
a:hover {
text-decoration: underline;
}
body {
border: 0;
font-family: "PT Sans", "Liberation Sans", "DejaVu Sans", "Tahoma", "Verdana", "Arial", sans-serif;
margin: 0;
padding: 0;
line-height: 160%;
font-size: 15px;
}
h1 {
font-size: 25px;
}
h2 {
font-size: 23px;
}
h3 {
font-size: 21px;
}
h4 {
font-size: 19px;
}
h5 {
font-size: 17px;
}
h6 {
font-size: 15px;
}
pre {
line-height: 100%;
font-family: "CosmicSansNeueMono", "PT Mono", "Liberation Mono", "DejaVu Sans Mono", "Courier new", monospace;
margin: 1.2em -8pt;
}
.container {
margin: 0 auto;
width: 700px;
}