html, body {
            margin:0;
            padding:0;
            border:0;
            vertical-align:baseline;
            font-family:sans-serif;
        }
        #content-title {
            font-size:24px;
            margin-bottom:15px;
            line-height:1.2;
            font-weight:400;
        }
        #left-area {
            float: left;
            width:120px;
        }
        #content-area {
            float: left;
            width: 720px;
            line-height:1.4;
        }
        #right-area{
            float:right;
            margin:24px;
            width:250px;
        }
        pre {
            font-size:15px;
            background-color: #e0e0e0;
            border-radius: 6px;
            color: black;
            font-family: Monaco, monospace, Consolas;
            margin-bottom: 10px;
            overflow: auto;
            padding: 10px;
        }
.s0 { color: #000080; font-weight: bold;}
.s1 { color: #000000;}
.s2 { color: #808080; font-style: italic;}
.s3 { color: #008000; font-weight: bold;}
.s4 { color: #0000aa;}
.s5 { color: #0000A0;}

.sba { color: #0000A0;}        
.sbc { color: #0000C0;}  
.sw7 { color: #707070;}