background: #FFF;
color: #000;
font-size: 90%;
background: #FFF;
color: #000;
font-size: 90%;
}
a, a:visited {
color: #000;
}
a, a:visited {
color: #000;
/* common sections */
h1, h2 {
/* common sections */
h1, h2 {
font-size: 200%;
margin: 0;
}
font-size: 200%;
margin: 0;
}
margin: 1ex 0 1em;
}
p.aside {
margin: 1ex 0 1em;
}
p.aside {
-#source {
- text-align: center;
-}
#source pre {
display: inline-block;
text-align: left;
#source pre {
display: inline-block;
text-align: left;