/* My google adsense banner at the top */
#my_banner_ad, #my_banner_ad_bottom {
        margin: 0 auto;
        width: 728px;
        text-align: center;
}

/* Style for formatting code blocks */
.codeblock {
        border: 1px inset;
        margin: 10px;
        padding: 6px;
        overflow: auto;
        width: 100%;
        height: 100%;
        text-align: left;
        /* dir="ltr"; */
}