html {
background-color : white;
color : black;
font-family : sans-serif;
}
p, ul, ol, dl, .example {
margin-top : 0.5em;
margin-bottom : 0.5em;
}
dt {
margin-bottom : 0;
}
dd, dd > *:first-child {
margin-top : 0;
}
pre, code {
font-family : monospace;
}
pre {
white-space : pre-wrap;
}
pre.make {
white-space : pre;
}
.example {
display : table;
margin-left : 2em;
margin-right : 2em;
background-color : #EEEEEE;
padding : 0.2em;
}
.file {
border-color : #DDDDDD;
border-width : thin;
border-style : solid;
padding : 0;
}
.file > * {
margin : 0;
padding : 0.2em;
}
.file > *:first-child {
background-color : #DDDDDD;
font-size : inherit;
font-variant : inherit;
font-style : inherit;
font-weight : bolder;
}