table.codetable, table.demotable
            { background-color: #f9f9f9; border: 1px solid black; padding: 0px; margin: 0px; border-spacing: 0px; margin-bottom: 1em; }
table.demotable
            { margin-bottom: 0px; }
table.codetable td, table.codetable tr, table.demotable td, table.demotable tr
            { border: none; }
table.codetable td.code, table.demotable td.code
            { padding: 3px; }
table.codetable td.linenos, table.demotable td.linenos
            { border-right: 1px solid black; padding: 3px; }
div.code
            { margin-bottom: 1em; }
table.codetable div.code, table.demotable div.demo
            { padding: 0px; margin: 0px; }