37 lines
908 B
CSS
37 lines
908 B
CSS
p.code { border: 2px dashed rgb(153, 153, 153);
|
|
padding: 5px;
|
|
background: rgb(204, 204, 204) none repeat scroll 0% 50%;
|
|
-moz-background-clip: initial;
|
|
-moz-background-origin: initial;
|
|
-moz-background-inline-policy: initial;
|
|
font-family: monospace;
|
|
}
|
|
|
|
div.page { border: 2px dashed rgb(153, 153, 153);
|
|
padding: 10px;
|
|
top: 10px;
|
|
left: 10px;
|
|
right: 10px;
|
|
bottom: 10px;
|
|
margin-right: auto;
|
|
margin-left: auto;
|
|
background-color: rgb(255, 255, 255);
|
|
opacity: 1;
|
|
width: 60%;
|
|
font-family: Arial,Helvetica,sans-serif;
|
|
}
|
|
|
|
body { background-color: rgb(51, 51, 51);
|
|
}
|
|
|
|
span.code { border: 1px dashed rgb(153, 153, 153);
|
|
background-color: rgb(204, 204, 204);
|
|
font-family: monospace;
|
|
}
|
|
|
|
dt { font-weight: bold; }
|
|
|
|
.code_var { font-weight: bold; font-family: monospace; }
|
|
|
|
.code_type { font-family: monospace; font-style: italic; }
|