div.informalexample { background-color: #d5dee3; border-top-width: 2px; border-top-style: double; border-top-color: #d3d3d3; border-bottom-width: 2px; border-bottom-style: double; border-bottom-color: #d3d3d3; padding: 4px; margin: 0em; margin-left: 2em; } pre.programlisting { whitespace: pre; font-family: monospace; background-color: #BEE1F6; border-top-width: 1px; border-top-style: single; border-top-color: #d3d3d3; border-bottom-width: 1px; border-bottom-style: single; border-bottom-color: #d3d3d3; padding: 4px; margin: 0em; } div.sidebar { whitespace: pre; font-family: monospace; background-color: #A6D5EC; border-top-width: 1px; border-top-style: single; border-top-color: #d3d3d3; border-bottom-width: 1px; border-bottom-style: single; border-bottom-color: #d3d3d3; padding: 4px; margin: 0em; } div.informalexample pre { whitespace: pre; font-family: monospace; border-top-width: 0px; border-bottom-width: 0px; padding: 0px; }