/* BLOCK FORMATTING */
/***********************************************************/
-blockquote {
+blockquote, .smallexample {
border: thin solid #3465a4;
border-width: 0 0 0 2px;
margin: 1em 0 1em 3em;
padding: 0;
}
-blockquote p {
+blockquote p, pre.smallexample {
margin: 0;
padding: 1em;
}
/* border: thick red dashed; */
}
-.verbatim, .example .example, .lisp {
+.verbatim, .example, .lisp {
font-size: 1.25em;
margin: 0;
padding: 1em;
}
-.example {
- margin: 0;
- padding: 0;
-}
-
hr {
display: none;
}