body, td, form {
    font-family: arial, helvetica, sans-serif; font-size: 11pt;
    margin: 0; padding: 0;
    color: #111; background: white; }
table { border-collapse: collapse; border-spacing: 0; }
h1, h2, h3, h4, h5, h6, p, th { margin: 0; padding: 0; }

h1 { font-size: 21pt; margin: 0.0em 0em 0.0em; color: #222233; font-weight: normal; }
h2 { font-size: 19pt; margin: 1.0em 0em 0.4em; color: #393971; font-weight: normal; }
h3 { font-size: 15pt; margin: 1.0em 0em 0.4em; color: #111111; font-weight: normal; font-style: italic; }
h4 { font-size: 13pt; margin: 0.8em 0em 0.4em; color: #600000; font-weight: bold; }
h5 { font-size: 13pt; margin: 0.8em 0em 0.4em; color: #006000; font-weight: normal; }
h6 { font-size: 13pt; margin: 0.8em 0em 0.4em; color: #000060; font-weight: normal; }

p { line-height: 1.3em; margin: 0.6em 0em; }
p.bigger { font-size: 15pt; color: #222; } /* used only on front page */
p.pop { text-align: center; font-size: larger; font-weight: bold; font-style: italic; }

ul, ol, blockquote { margin: 0.6em 0em 0.6em 2em; padding: 0em; }
li { margin: 0.4em 0em; }
li p { margin: 0.2em 0em; }
div.indent { margin: 0em 0em 0em 2em; padding: 0em; } /* used in man pages */

ul { margin: 0.4em 0em 0.4em 1.4em; list-style-type: none; }
li h3 { margin: 0.4em 0em; }

hr {
    border-style: none none solid;
    border-bottom: 1px solid #bbb;
    width: 100%; height: 0px;
    margin: 10px 0px 0px; padding: 0px;
    clear: both;
}
#top_hr { width: 940px; margin: 0px 10px; }
#bot_hr { margin-top: 20px; }

a:link, a:visited { color: #1f5c99; text-decoration: none; }
a:hover, a:active { color: #2db4dc; text-decoration: none; }

.col_half { width: 460px; margin: 0px 10px; float: left; }
.col_3qtr { width: 700px; margin: 0px 10px; float: left; }
.col_qtr, .col_qtr_solo { width: 220px; margin: 0px 10px; float: left; }

.synopsis {
    margin-bottom: 25px; padding: 1px 10px;
    background: #eee; border-radius: 5px; border: 1px solid #bbb; }

div.button_green {
    background: url(button_center_green.gif) repeat-x;
    background-position: center;
}
div.button_gold {
    background: url(button_center_gold.gif) repeat-x;
    background-position: center;
}
div.button_green, div.button_gold {
    border-radius: 15px;
    margin: 0 10%;
    padding: 5px 5px 7px;
    text-align: center;
    vertical-align: middle;
    font-size: 18pt; font-weight: bold; color: white; text-shadow: 0.1em 0.1em 0.1em black;
}
div.button_small {
    font-size: 15pt;
}

aside.hl { background: #fefeeb; margin: 15px 0px; padding: 15px 15px 15px 30px; }
aside.promo { text-align: center; font-weight: bold; }
aside.promo_big { text-align: center; font-weight: bold; font-size: larger; }

img { border: 0; }
img.screen_shot { width: auto; height: auto; max-width: 90%; }
p.image { text-align: center; }

code, pre { color: #bc660f; font-family: arial, helvetica, sans-serif; }

#container1 { width: 960px; margin-left: 30px; padding-top: 30px; }
#container2 { width: 480px; float: left; }
#container3 { width: 240px; float: left; } /* used only on front page */

#site_head h1 { height: 65px; overflow: hidden; }
#site_logo {
    background: white url(pdflabs-logo.png) no-repeat;
    position: absolute; width: 284px; height: 44px; margin-top: 3px; margin-left: 2px;
}

#article_head h2 { width: 460px; height: 90px; margin-bottom: 10px; }
#article_logo { /* locally: style="background: url(article-logo.png) no-repeat" */
    position: absolute; width: 460px; height: 90px;
}

#foot { clear: both; font-size: smaller; margin-top: 1em; margin-bottom: 3em; }