/* Custom style information is contained in this file */
div.colorizedcode { margin-top: 0.5em; }