Made the <pre class="screen"> thing a toggle, so you don't have to reload t...

Mark Craig

19.15.2011 e3af05725c827366f160624b30cd2b58d28aea5f

 opendj3/src/main/resources/css/coredoc.css

@@ -152,7 +152,7 @@
/*
 * Block elements
 */
pre.programlisting,pre.screen
pre.programlisting,pre.screen,pre.flat
{
    font-family: monospace;
    white-space: pre;