body {
text-align: center;
padding-bottom: 20px;
background-color: #ededed;
font-family: DejaVu Sans, Liberation Mono, Nimbus Sans L, Georgia, Verdana, Arial, Sans-serif;
color: black;
}

h2 {color: navy;}

img {
border-width: 0;
border-style: none;
padding: 10px;
}

.centre {text-align: center;}
.raye {text-decoration: line-through;}
.navy {color: navy;}
:focus {outline: 0;}

#main {
width: 650px;
border: 1px solid #000;
padding: 10px;
margin-left: auto;
margin-right: auto;
text-align: left;
background-color: white;
}

#title {
text-align: center;
}

pre {
        background-color: #f1f1f3;
        color: #112;
        padding: 10px;
        font-size: 13px;
        overflow: auto;
        margin: 4px 0px;
	width: 97%;
	overflow-x: auto;
	overflow-y: hidden;
	margin-top: 12px;
}

/* Syntax highlighting */
pre .normal {}
pre .comment { color: #005; font-style: italic; }
pre .keyword { color: #A00; font-weight: bold; }
pre .method { color: #077; }
pre .class { color: #074; }
pre .module { color: #050; }
pre .punct { color: #447; font-weight: bold; }
pre .symbol { color: #099; }
pre .string { color: #944; background: #FFE; }
pre .char { color: #F07; }
pre .ident { color: #004; }
pre .constant { color: #07F; }
pre .regex { color: #B66; background: #FEF; }
pre .number { color: #F99; }
pre .attribute { color: #5bb; }
pre .global { color: #7FB; }
pre .expr { color: #227; }
pre .escape { color: #277; }