Use new css for the doc.

This commit is contained in:
Sébastien Crozet 2013-06-15 11:57:12 +00:00
parent e28d82ccb9
commit 3581747018
1 changed files with 73 additions and 23 deletions

View File

@ -1,34 +1,76 @@
body {
padding: 1em;
padding: 1em 6em;
margin: 0;
margin-bottom: 4em;
font-family: "Helvetica Neue", Helvetica, sans-serif;
font-size: 12pt;
background-color: white;
color: black;
line-height: 1.6em;
}
body {
padding: 1em 6em;
min-width: 45em;
max-width: 60em;
}
h1 {
font-size: 20pt;
margin-top: 2em;
border-bottom: 1px solid silver;
padding-left: 0.4em;
line-height: 1.6em;
background-color:#FFF2CE;
border-radius: 0.2em;
border: 1px solid rgba(0, 0, 0, 0.15);
}
h2 {
font-size: 15pt;
margin-top: 2em;
padding-left: 0.4em;
background-color:#FFF2CE;
border-radius: 0.4em;
border: 1px solid rgba(0, 0, 0, 0.15);
}
h2 code {
color: #097334;
font-size: 15pt;
}
h3 {
font-size: 13pt;
color: black;
background-color:#D9E7FF;
border-radius: 0.4em;
border: 1px solid rgba(0, 0, 0, 0.15);
padding: 0 0.4em 0 0.4em;
}
h3 code {
color: #541800;
font-size: 13pt;
font-style: italic;
}
h4 {
font-size: 11pt;
margin-top: 0em;
margin-bottom: 0em;
}
code {
font-size: 11pt;
}
h3 { font-size: 13pt; }
pre {
margin: 1.1em 0;
padding: .4em .4em .4em 2em;
font-size: 120%;
margin-left: 1.1em;
padding: .4em .4em .4em .8em;
font-size: 10pt;
background-color: #F5F5F5;
border-radius: 0.5em;
border: 1px solid rgba(0, 0, 0, 0.15);
}
pre.rust {
background-color: #F3F6FF;
}
a, a:visited, a:link {
@ -107,3 +149,11 @@ td {
div.index ul {
padding-left: 1em;
}
ul {
margin-top: 0em
}
div.section.level3 {
margin-left: 1.0em;
}