/* 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;
}