/* general page layout */

html
{
    background: white;
    padding: 0px;
    width: 820px;
    margin: auto;
}

body
{
    padding: 20px 0px 0px 0px;
    margin: 0px;
    font-family: sans-serif;
    font-size: small;
}

/* home banner */

table.home_banner
{
    margin-bottom: 10px;
}

table.home_banner img
{
    float: left;
}

td.banner_image
{
    border-bottom: 1px solid blue;
}

/* main links at the top */

table.head_links
{
    width: 100%;
    border-bottom: 1px solid blue;
}

td.head_local_links a
{
    border-left: 1px solid blue;
    padding: 0px 5px 0px 5px;
}

td.head_external_links
{
    vertical-align: middle;
}

td.head_external_links img
{
    float: right;
    padding: 0px 0px 0px 5px;
}

/* panels on the home page */

table.home_panels
{
    border-right: 1px solid blue;
    margin-top: 20px;
    margin-bottom: 20px;
    width: 820px;
}

table.home_panels td
{
    width: 273px;
    border-left: 1px solid blue;
    padding: 0px 10px 0px 10px;
    vertical-align: top;
}

/* articles and news */

table.news td
{
    padding: 5px;
}

table.news td.when
{
    font-style: italic;
    text-align: right;
    vertical-align: top;
    white-space: nowrap;
}

div.image
{
  text-align: center;
}

/* code examples */

pre.example
{
    background-color: #f8f8f8;
    border: 1px dotted blue;
    padding: 10px;
}

/* book elements */

div.note
{
    padding-left: 40px;
    padding-right: 40px;
}

p.toc_part
{
    font-size: large;
}

p.toc_chapter
{
}

p.toc_section
{
    padding-left: 20px;
}

p.toc_subsection
{
    padding-left: 40px;
}

/* general settings */

img
{
    border: 0px;
}

img.with_border
{
    border: 1px solid blue;
}

hr
{
    border-top-style: solid;
    border-width: 1px;
    border-color: blue;
    border-bottom-style: none;
    border-left-style: none;
    border-right-style: none;
}

h2.no_margin
{
    margin: 0px;
}

td
{
    vertical-align: top;
}

li
{
    margin-top: 5px;
    margin-bottom: 5px;
}

div.footer
{
    width: 820px;
    margin-top: 5px;
    padding-top: 0px;
    border-top: 1px solid blue;
    font-size: small;
    color: #d3d3d3;
}