de8379588d
As we'll need to copy it to buck-out/gen anyway, this will save some future trouble. Change-Id: I91cfadd15d6642a8dfaf73b6243411e9492781ca
55 lines
721 B
CSS
55 lines
721 B
CSS
body {
|
|
margin: 1em auto;
|
|
width: 900px;
|
|
}
|
|
|
|
#toctitle {
|
|
margin-top: 0.5em;
|
|
font-weight: bold;
|
|
}
|
|
|
|
h1, h2, h3, h4, h5, h6, #toctitle {
|
|
color: #527bbd;
|
|
font-family: sans-serif;
|
|
}
|
|
|
|
h1, h2, h3 {
|
|
border-bottom: 2px solid silver;
|
|
}
|
|
|
|
p {
|
|
margin: 0.5em 0 0.5em 0;
|
|
}
|
|
li p {
|
|
margin: 0.2em 0 0.2em 0;
|
|
}
|
|
|
|
.listingblock > .content {
|
|
border: 2px solid silver;
|
|
background: #ebebeb;
|
|
margin-left: 2em;
|
|
color: darkgreen;
|
|
padding: 2px;
|
|
overflow: auto;
|
|
}
|
|
|
|
.listingblock > .content pre {
|
|
background: none;
|
|
border: 0 solid silver;
|
|
padding: 0 0 0 0;
|
|
}
|
|
|
|
dl dt {
|
|
margin-top: 1em;
|
|
}
|
|
|
|
table.tableblock {
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
table.tableblock,
|
|
th.tableblock,
|
|
td.tableblock {
|
|
border: 1px solid #EEE;
|
|
}
|