h1 { font-size: 16pt; margin: 20px; }

div.exampleDiv { margin: 20px; }
div.exampleDiv p { font-size: 12pt;}
div.exampleDiv  h2 { font-size: 14pt; font-weight: bold; }
div.exampleDiv div.demoContainer { margin: 20px; padding: 15px; border: 1px solid #9999ff; background-color: #ddddff; }
div.exampleDiv div.codeContainer { margin: 20px; }

/* Fixing zIndex issues because of !important */
div.codeContainer .syntaxhighlighter .toolbar a { display: none !important; }
div.codeContainer .syntaxhighlighter .toolbar { display: none !important; }