body {
    margin: 0;
    padding: 0;
    font-family: "Verdana", "Lucida Sans", "Lucida", sans-serif;
    font-size: 12pt;
    background: url('images/page_bg.jpg');
}

dt {
    font-weight: bold;
}

/* Banner */
#banner_titles {
    background: url('images/header_bg.png') top left repeat-x;
    display: block;
    height: 100px;           /* 150 - 50 */
    text-align: center;
    padding-top: 50px;
}
#banner_titles * {
    color: #fff;
    font-family: serif;
    font-weight: normal;
    text-decoration: none;
    text-shadow: #fff 0px 0px 12px;
    margin: 0px;
}
#banner_titles h1 {
    font-size: 35px;
}
#banner_titles h1 a:hover {
    color: #ccc;
}
#banner_titles h2 {
    font-size: 14px;
    vertical-align: top;
}

#menu {
    height: 37px;
    background: url('images/menu_bg.png') top left repeat-x;
}
#menu ul {
    display: block;
    text-align: center;
    margin: 0;

    list-style-type: none;
}
#menu li {
    display: inline;
}
#menu li a, #menu li a:visited {
    display: inline-block;
    line-height: 35px;
    padding: 0 12px 0 12px;
    margin: 1px 0 1px 0;

    color: #fff;
    font-weight: bold;
    font-size: 16px;
    text-decoration: none;
    text-shadow: rgba(0, 0, 0, 0.3) -1px -1px 0px;
}
#menu li a:hover {
    background-color: rgba(255, 255, 255, 0.3);
}

/* Page */
#page {
    margin: auto;
    width: 1000px;
    background: url('images/content_bg.png') top repeat-y;
    overflow: hidden;
}

#bar {
    display: block;
    float: right;
    margin-right: 15px;
    width: 240px;
    overflow: hidden;
}
#bar h2 {
    font-size: 14pt;
    color: #666;
}
#bar a, #bar a:visited {
    color: #444;
    text-decoration: none;
}
#bar a:hover {
    text-decoration: underline;
}
#bar span {
    color: #888;
    font-size: 11pt;
    font-style: italic;
}

#content {
    margin-left: 25px;
    width: 695px;
    overflow: hidden;
}
#content .content {
    text-align: justify;
}
#content h1 {
    text-align: center;
    color: #444;
    font-size: 22pt;
}

/* Blog entry */
.blog_entries {
    margin: 0;
    padding: 0;
    list-style-type: none;
}

.blog_entry {
    margin: 5px;
    border: 1px solid #ccc;
    border-radius: 10px;
    overflow: hidden;
}

.blog_entry header {
    display: block;
    border-bottom: 1px solid #ccc;
    background-color: #eee;
    padding: 5px 0 2px 0;
}
.blog_entry header h2 {
    margin: 0 0 0 10px;
    font-size: 14pt;
    text-align: left;
}
.blog_entry header h2 a {
    color: #555;
    text-decoration: none;
}
.blog_entry header h2 a:hover {
    color: #888;
}
.blog_entry header .blog_info {
    margin-right: 10px;
    color: #444;
    font-style: italic;
    font-size: 8pt;
    text-align: right;
}

.paginator {
    text-align: center;
    color: #555;
}
.paginator a {
    text-decoration: none;
    padding: 3px;
    color: #333;
    border: 1px solid #aaa;
}
.paginator a:hover {
    background-color: #ccc;
}

/* Content of a blog entry */
.blog_entry_content {
    padding: 0 10px 0 10px;
}

.blog_entry_content h1, .blog_entry_content h2, .blog_entry_content h3, .blog_entry_content h4 {
    text-align: left !important;
    border-left: 4px solid #ccc;
    margin-left: 15px;
    padding-left: 12px;
    color: #555 !important;
}

.blog_entry_content h1 { font-size: 18pt !important; }
.blog_entry_content h2 { font-size: 16pt !important; }
.blog_entry_content h3 { font-size: 14pt !important; }
.blog_entry_content h4 { font-size: 12pt !important; }

.toc {
    width: 50%;
    margin: auto;
    border: 1px solid #ccc;
    background-color: #eee;
}
.toc ul {
    list-style-type: upper-roman;
    padding-left: 30px;
}
.toc a {
    color: #444;
    text-decoration: none;
}
.toc a:hover {
    text-decoration: underline;
}

.blog_entry_content table {
    width: 80%;
    margin: auto;
    border-collapse: collapse;
}
.blog_entry_content td, .blog_entry_content th {
    border: 1px solid #aaa;
}
.blog_entry_content th {
    background-color: #ddd;
}

.highlighttable {
    width: 80% !important;
    margin: 0 !important;
}
.highlighttable td {
    border: none !important;
    vertical-align: top;
}
.highlighttable .linenos {
    padding-right: 5px;
    border-right: 1px solid #aaa !important;
}
.highlighttable .code {
    padding-left: 9px;
}
.highlighttable .highlight {
    overflow: auto;
    width: 620px;
}

/* Footer */
footer {
    background: url('images/footer_bg.png') top left repeat-x;
    border-top: 1px solid #7e7e7e;
    height: 130px;

    font-size: 9pt;
    font-style: italic;
    color: #fff;
    text-align: center;
    padding-top: 20px;
    line-height: 20px;
}
footer a, footer a:visited {
    color: #ddf;
    text-decoration: none;
}
footer a:hover {
    text-decoration: underline;
}