/* ------------------------- general layout classes ------------------------- */

.left
{
    float: left;
    margin-right: 4px;
}

.right
{
    float: right;
    margin-left: 4px;
}

.small
{
    font-size: small;
}

.smaller
{
    font-size: smaller;
}

.highlight
{
    background-color: #faf69c;
}

.content
{
    margin-right: 0.5em;
    text-align: justify;
}

.pic
{
    width: 100%;
}

img.center
{
    display: block;
    margin-left: auto;
    margin-right: auto;
    margin-top: 5px;
    margin-bottom: 5px;
}

body
{
    background-color: #ffffff;
    color: #000000;
    font-family: arial,sans-serif;
    margin: 2px;
    padding-bottom: 40px;
}

p, div, li, dd
{
    text-align: justify;
    margin-right: 1em;
}

div table.box
{
    /* center tables */
    margin-left: auto;
    margin-right: auto;
}

div.screenshot table td
{
    text-align: center;
}

div.doclist
{
    float: left;
    width: 45%;
}

div.doclist table
{
    width: 90%;
}

div.presentationlist
{
    float: left;
    width: 80%;
}

div.presentationlist table
{
    width: 90%;
}

/* ------------------------------ table styles ------------------------------ */

td.name
{
    font-weight: bold;
    text-align: right;
    padding-right: 4px;
}

tr.dl th
{
    background-color: #ffffff;
}
tr th
{
    background-color: #aaaaaa;
}
tr.res1
{
    background-color: #ffffff;
}
tr.res2
{
    background-color: #eeeeff;
}

div.imprint table td
{
    padding-right: 4px;
    padding-left: 4px;
}

div.featurelist
{
    margin-left: 40px;
    padding-top: 0px;
    padding-bottom: 0px;
}

div.featurelist h4
{
    padding-top: 4px;
    margin-top: 2px;
    padding-bottom: 4px;
    margin-bottom: 2px;
}

div.featurelist ul
{
    padding-top: 2px;
    margin-top: 2px;
    padding-bottom: 2px;
    margin-bottom: 2px;
}

table.box
{
    border-style: solid solid;
    border-width: 1px;
    border-bottom: 2px solid #000000;
    border-top: 0px solid #000000;
    border-left: 1px solid #000000;
    background-color: #ffffff;
}


table.box th
{
    text-align: center;
    font-weight: bold;
    border-right: 1px solid #000000;
    border-top: 1px solid #000000;
}

table.box td
{
    border-top: 1px solid #000000;
    border-right: 1px solid #000000;
    padding: 2px;
    margin: 2px;
}

/* ------------------------------ side images ------------------------------ */

div.featurepics
{
    float:right;
    width: 20%;
    padding-left: 20px;
}

div.productpics
{
    float:right;
    width: 25%;    
    padding-left: 20px;
}
div.productlist
{
    width: 100%;
}

div.indexpics
{
    float:right;
    width: 25%;
}
div.indexlist
{
    width: 100%;
}

/* ---------------------------- different lists ---------------------------- */

ul.detailedlist li dl,
ul.detailedlist li ul
{
    margin-left: 2em
}
ul.detailedlist li p
{
    margin-left: 2em;
    margin-top: 0px;
    margin-bottom: 0px;
}

/* ---------------------------- menu div classes ---------------------------- */

div.partmenu
{
    font-size: smaller;
}
div.partmenu ul.menu1
{
    margin-left: -10px;
}
div.partmenu ul.menu2
{
    margin-left: -15px;
}
div.partmenu ul li
{
    padding-right: 0px;
    margin-right: 0px;
    margin-left: -5px;
    text-align: left;
}

div.partmenu ul li.fill
{
    margin-left: 0px;
    list-style: none;
}

div.partmenu ul li.fill
{
    padding-top: 1px;
    padding-bottom: 1px;
}


li.bullet
{
    margin-left: 0mm;
    padding-left: 0px;
    list-style-image: url("images/bullet_red.png");
}
li.opened
{
    margin-left: 0mm;
    padding-left: 0px;
    list-style-image: url("images/opened_red.png");
}
li.closed
{
    margin-left: 0mm;
    padding-left: 0px;
    list-style-image: url("images/closed_red.png");
}


/* ----------------------------- footer classes ----------------------------- */

div.footer
{
    border-top: 1px solid; 
    margin: 0px;
    padding: 0px; 
    margin-top: 8px;
    font-size: x-small; 
}

/* ------------------------------ path classes ------------------------------ */

div.path
{
    font-size: smaller;
    border-bottom: 1px solid;
    padding: 0px;
    margin: 0px;
    margin-top: 8px;
    height: 20px;
}
div.path a
{
    text-decoration: none;
}

div.path span.text
{
    float: left;
    margin-top: 4px;
    margin-right: 4px;
}

div.path span.shortcuts
{
    font-size: smaller;
    float: right;
    margin-top: 4px;
    margin-right: 4px;
}
span.shortcuts a
{
    text-decoration: none;
}
span.shortcuts a:hover
{
    color: #000000;
}

/* ------------------------------ menu classes ------------------------------ */

div.menu
{
    background: #ffffff url(images/menubar.png) repeat-y;
    float: left;
    padding-left: 10px;
    padding-right: 0px;
    padding-bottom: 10px;
    margin-right: 0px;
}

div.part
{
    width: 200px;
    margin-left: 0px;
    margin-right: 0px;
    margin-top: 0.5em;
    margin-bottom: 0.5em;
    border-style: solid solid;
    border-width: 1px;
    border-color: #000000;
    text-decoration: none;
}
div.parttitle
{
    margin: 0px;
    font-size: larger;
    border-style: none;
    border-width: 0px;
    background-color:  #80d1fe;
    background: #8d0000 url(images/parttitle.png) repeat-y;
    color: #8d1c1c;
}

div.parttitle a:link
{
    text-decoration: none;
    color: #8d2a2a;
}
div.parttitle a:visited
{
    text-decoration: none;
    color: #8d4747;
}

/* -------------------------------- sidebar -------------------------------- */

div.sidebar
{
    float: right;
    margin: 0em 0em 0em 0em;
    padding: 0px 0px 0px 0px;
}

div.mappart li
{
    width: 200px;
    text-align: left;
}

div.mappart
{
    float: left;
}

/* ------------------------------- news style ------------------------------- */

div.newsbox
{
    padding: 3px 3px 3px 8px;
    margin: 3px 3px 3px 8px;
    border-left: 1px solid;
}

div.newstitle
{
    padding: 0px;
    margin: 4px 0px 4px 0px;
    height: 1.5em;
    border-bottom: 1px solid;
}

/* news style */
div.newsdate
{
    font-weight: bold;
    margin-bottom: 4px;
}
div.news
{
    border-style: solid solid;
    border-width: 1px;
    margin: 0px;
    padding: 0px;
    margin-bottom: 1em;
    border-color: #000000;
}
div.news div.head
{
    font-weight: bold;
    margin: 0px;
    padding: 0px;
}

div.news div.head a:link
{
    text-decoration: none;
    color: #dcf4ff;
}
div.news div.head a:visited
{
    text-decoration: none;
    color: #dcf4ff;
}

div.news div.body
{
    font-size: small;
    text-align: justify;
    margin: 2px;
    padding: 2px;
    width: 150px;
}

/* ----------------------------- edition colors ----------------------------- */

.evaluation
{
    background-color: #ffe0e0;
}
.community
{
    background-color: #dcf4ff;
}
.standard
{
    background-color: #afeeff;
}
.professional
{
    background-color: #80d1fe;
}
.enterprise
{
    background-color: #40b0ff;
}

.client
{
    background-color: #c4e7ff
}

.special
{
    /* such as CSharp binding */
    background-color: #c8f5c4;
}
.contrib
{
    background-color: #afd6ab;
}

/* ------------------------ different style classes ------------------------ */

div.content dt
{
    font-weight: bold;
    font-style: italic;
}

div.features td.fc
{
    font-style: italic;
    vertical-align: top;
    background-color: #e0e0fe;
}

div.features td.community,
div.features td.standard,
div.features td.professional,
div.features td.enterprise,
div.features td.client,
div.features td.special,
div.features td.contrib
{
    text-align: center;
    font-weight: bold;
    font-size: larger;
}

dl.changelog dd
{
    margin: 0em;
}

span.new
{
    color: #4aae75;
}
span.fix
{
    color: #ff6060;
}
span.chg
{
    color: #ff9600;
}

div.more
{
    font-weight: bold;
    font-size: smaller;
    text-align: right;
    margin-top: 0px;
    margin-right: 0em;
}

/* ------------------------- different text styles ------------------------- */

span.armmetric
{
    /* ARM metric names such as Content-Length */
    font-style: italic;
    font-weight: bold;
}
span.armdef
{
    /* ARM definition names such as Apache1, Request ... */
    font-style: italic;
    font-weight: bold;
}
span.detail
{
    font-style: italic;
    font-weight: bold;
}
span.lib
{
    font-family: monospace;
    font-weight: bold;
}
span.func
{
    font-family: monospace;
    font-style: italic;
}
span.env
{
    font-family: monospace;
    font-style: italic;
}
span.history
{
    font-weight: bold;
    color: #8d0000;
    margin: 0px;
    padding: 0px
}
span.brand
{
    font-weight: bold;
}
span.os
{
    font-weight: bold;
    font-style: italic;
}
span.comp
{
    font-weight: bold;
}
span.image
{
    font-weight: bold;
}
span.note
{
    font-weight: bold;
}
span.sitelink
{
    font-size: small;
}

/* ---------------------------- myarm.cgi forms ---------------------------- */

/**
select
{
    width: 100%;
}
*/
table tr.dl select
{
    width: 200px;
}

input.text
{
    width: 100%;
}
textarea.text
{
    width: 100%;
}

div.form textarea.text
{
    width: 500px;
}

div.form select
{
    width: 180px;
}

.ictrl
{
    /* input control style */
    font-family: monospace;
    font-weight: bold;
}
@media screen
{

/* ---------------------------- main div classes ---------------------------- */

div.page
{
    position: absolute;
    width: 94%;
    left: 3%;
}

div.content
{
    margin-left: 230px;
    margin-bottom: 25px;
}


.more:after
{
    vertical-align: baseline;
    content: url("images/more.png");
}

a.extlink:after
{
    content: url("images/extlink.png");
}

div.path
{
    background: #40b0ff url(images/pathbar.png) repeat-y;
    border-color: #296c9a;
}

div.footer
{
    background: #40b0ff url(images/bottombar.png) repeat-y;
    border-color: #296c9a; 
    width: 94%;
    margin-left: 3%;
    overflow: hidden;
    position: fixed;
    bottom: 0px;
    height: 20px;
}


div.newsbox
{
    border-color: #296c9a;
    background-color: #fafafa;
}

div.newstitle
{
    background: #40b0ff url(images/pathbar.png) repeat-y;
    background-position: -50px 0px;
    border-color: #296c9a;
}

div.news div.head
{
    background-color: #8d0000;
    color: #dcf4ff;
}

}@media print
{

div.content
{
    margin-bottom: 50px;
}

div.menu
{
    display: none;
}

div.footer span.right
{
    display: none;
}

div.path span.shortcuts
{
    display: none;
}

a:link
{
    text-decoration: none;
    color: #222222;
}
a:visited
{
    text-decoration: none;
    color: #555555;
}

div.footer
{
    width: 100%;
    position: fixed;
    bottom: 0px;
    height: 20px;
}

div.news div.head
{
    border-bottom: 1px solid;
}

}

div.config,
div.result,
div.ebnf
{
    padding-left: 0.5em;
    padding-right: 0.5em;
    border-style: solid solid;
    border-width: 1px;
    border-color: #000000;
}

div.caption
{
    text-align: center;
    margin-top: 4px;
    margin-bottom: 4px;
}

div.table
{
    text-align: center;
}

div.table table
{
    margin-left: auto;
    margin-right: auto;
}

div.subfloat
{
    text-align: center;
}

div.subfloat table
{
    margin-left: auto;
    margin-right: auto;
}

.screenshot
{
    text-align: center;
    margin-top: 1em;
}
img.screenshot
{
    text-align: center;
    margin-top: 1em;
    border-style: solid solid;
    border-width: 1.3px;
    border-color: #000000;
    padding: 2px 2px 2px 2px;
}
img.rscreenshot
{
    border-style: solid solid;
    border-width: 1px;
    border-color: #000000;
    float: right;
    margin: 0.5em;
    vertical-align: middle;
}
img.lscreenshot
{
    border-style: solid solid;
    border-width: 1px;
    border-color: #000000;
    float: left;
    margin: 0.5em;
}


table td.excurcontent
{
    border-style: solid solid;
    border-width: 1px;
    border-color: #000000;
    padding: 0.5em;
    margin-right: 0px;
}
table td.excurtag
{
    vertical-align: top;
}
table td.excurtag div
{
    font-size: x-large;
    font-weight: bold;
    background-color: #9d2222;
    float: left;
    width: 0.8em;
    text-align: center;
    margin-right: 2px;
}
div.excurtitle
{
    font-size: larger;
    font-weight: bold;
}