/* here we start with the new styles as a first
   step towards the new blender3d.org site! jay!
   bart@vrotvrot.com */

/* code formatting with <ccode> tag */
div.code { background: #eee; }

div.code pre {
        padding: 4px;
        background: #eee;
        margin: 0px;
        font-family: monospace, courier,'courier new';
        font-size: 8.6pt;
}
 
/* <indent> tags */
div.indent {
        margin: 0px 0px 0px 20px;
}

/* fix h1 style */
h1 {
        margin:0px 0px 10px 0px;
}
