body,td,th { font-family: Verdana, Helvetica, sans-serif; font-size: 11px; border: none; margin: 0; padding: 0 }
body       { max-width: 100em; margin-left: auto; margin-right: auto; border: 1px solid LightGrey }

/* tags which implement a stand-alone paragraph */
p,pre,h1,h2,h3 { padding: 0; margin: 1ex 10px 1ex 10px }

/* headlines  h1: page title; h2: page section title; h3: introduction text */
h1,h2,h3,p { font-family: Verdana, Helvetica, sans-serif }
h1,h2,h3   { font-weight: bold }
h1         { font-size: 17px; margin-top: 3ex; margin-bottom: 2ex }
h2         { font-size: 14px; margin-top: 2ex; margin-bottom: 1ex }
h3         { font-size: 11px; margin-top: 2ex }

h1.homepage { margin-top: 0.4ex; margin-bottom: 0.4ex }

.logobar   { width: 100%; border: none; border-collapse: collapse; background-image: url(images/blue.png); background-repeat:no-repeat }
.logoleft  { padding: 0; background-image: url(images/ontime_line.gif); background-repeat: repeat }
.logoright { padding: 0; margin: 0; width: 360px }
.topbar    { width: 100%; border: none; border-collapse: collapse; border-top: 1px solid LightGrey; border-bottom: 1px solid LightGrey; background-color: #F1F1F1; }
.navbar    { width: 100%; border: none; border-collapse: collapse; }
.navcol    { width: 170px; max-width: 170px; background-color: #F1F1F1; border-right: 1px solid LightGrey; overflow: hidden }

hr         { margin-left: auto; margin-right: auto; border: none; color: LightGrey; background-color: LightGrey; height: 1px; text-align: center; width: 70%; margin-top: 15px; margin-bottom: 15px }

a.clean    { text-decoration:none }
a.headline { text-decoration:none; font-weight: bold; color: Black }

/* lists */
ul         { margin-top: 2ex }
li         { margin: 1ex 10px 1ex 0px }

/* source code listings */
pre        { font-family: "Courier New", Courier, Monospace; font-size: 13px; margin-left: 10px; padding: 10px }
pre.code   { background-color: #F1F1F1 }
pre a      { color: black }

/* tables */
table         { border-collapse: separate }
table.table   { padding: 10px; margin-left: auto; margin-right: auto }
th,td         { padding: 3px; vertical-align: top; text-align: left }
th            { background-color: LightGrey; font-weight: bold }
th.prices     { vertical-align: baseline }
td.tabdata    { background-color: LightSkyBlue }
td.price      { background-color: LightSkyBlue; text-align: right; vertical-align: baseline }
td.bench      { background-color: LightSkyBlue; text-align: center }
td.FileSize   { background-color: LightSkyBlue; text-align: right }
td.FileDate   { background-color: LightSkyBlue; white-space: nowrap }
td.FileDescr  { background-color: LightSkyBlue }

td.FormPrompt { text-align: right; vertical-align: middle; padding: 0 0 0 10px }
td.FormField  { text-align: left;  vertical-align: middle; padding: 0 0 0 10px }
td.reflist    { font-size: 10px; padding-right: 5em; padding-top: 1ex; padding-bottom: 1ex }
td.Reseller   { padding: 0; width: 25em }
td.Articles   { padding: 5px }
h2.Articles   { margin-left: 0 }

/* style for search result pages */
p.searchlink   { margin-bottom: 0;     margin-top: 2ex; font-size: 16px }
p.searchresult { margin-bottom: 0.5ex; margin-top: 0     }
p.searchdescr  { margin-bottom: 0.5ex; margin-top: 0.5ex }
strong.searchdescr { font-style: italic }
p.searchfile   { margin-top: 0.5ex; color: Green }
p a.search     { color:Green }
p.searchsum    { font-weight: bold; }
.searchnext    { margin-top: 3ex; font-weight: bold }

/* red "*" for the forms */
strong.Fortune { padding-left: 1em; color: Red; white-space: nowrap }

/* images */
img        { border: none; margin: 3ex 1em 1ex 1em }
.home      { margin: 0; padding: 0 }
img.inline { margin: 0.5ex 0.1em 0.5ex 0.1em; vertical-align: middle }
img.right  { margin: 0 1em 1ex 1em; float: right }
.picture   { text-align: center }
p.caption  { text-align: center; font-weight: bold }

/* site map */
.map       { margin-left: 20px }
.map2      { margin-left: 30px }

/* menus */
td.tmenu   { margin: 0; padding: 2px 5px 3px 5px; font-size: 10px; text-align: left; white-space: nowrap }
a.tmenu    { text-decoration: none; font-weight: normal; color: Black; margin: 0 5px 0 5px }
a.tmenu:hover { text-decoration:underline }
h1.lmenu   { margin: 0; font-size: 11px; padding-top: 2.0ex; padding-left:  5px; font-weight: bold  }
h2.lmenu   { margin: 0; font-size: 11px; padding-top: 0.3ex; padding-left: 10px; font-weight: normal }
a.lmenu    { text-decoration: none; color: Black }
a.lmenu:hover { text-decoration:underline }

p.lmenu    { margin: 0; font-size: 11px; padding-top: 2.0ex; padding-left:  5px; font-weight: bold  }
p.lmenu2   { margin: 0; font-size: 11px; padding-top: 0.3ex; padding-left: 10px; font-weight: normal }


/* these are for the "last update/copyright" footer */
p.imprint    { font-size: 9px }
table.footer { margin: 2ex 0 2ex 0; border-top: 1px solid LightGrey; width: 100% }
td.update    { padding-left:  10px; font-size: 10px; color: Gray }
td.copyright { padding-right: 10px; font-size: 10px; color: Gray; text-align: right }

/* On Time RTOS-32 docs */

.navcold    { width: 340px; max-width: 340px; background-color: #F1F1F1; border-right: 1px solid LightGrey; overflow: hidden }

p.dtoc      { margin: 2px 1px 2px 5px; white-space: nowrap; }
p.dtocx     { margin: 2px 1px 2px 5px; white-space: nowrap; color: Red }

img.dtoc    { margin: 0 0.5em 0 0; vertical-align: middle }

table.doc   { padding: 10px; border-collapse: collapse; margin-left: auto; margin-right: auto }
div.doc     { padding: 10px }
td.doc      { border: 1px solid Gray }
th.doc      { border: 1px solid Gray }
table.footn { margin: 0; border: none; border-top: 1px solid LightGrey; width: 100% }

.downlink   { }
.uplink     { }
.rightlink  { }
.leftlink   { }

.links      { border-bottom: 1px solid LightGrey; width: 100% }

td.prev     { padding: 6px; }

td.next     { padding: 6px; text-align: right; }

img.prev    { margin: 0 6px 0 0; vertical-align: middle }
img.next    { margin: 0 0 0 6px; vertical-align: middle }

table.wordlist {  }
td.wordlist { margin-top: 0; margin-bottom: 0; }

.ParaDescr  { margin-top: 0;  margin-left: 2em; }

.Msg        { font-weight: bold; margin-bottom: 0; }

.MsgDescr   { margin-top: 0; }

.Footnote1  { padding-left: 10px; vertical-align: top; font-size: 9px; font-style: italic; font-weight: bold; }
.Footnote2  { font-style: italic; }

table.Options { padding: 10px; border-collapse: collapse }
td.Options1 { font-weight: bold; white-space: nowrap }
td.Options2 { padding-left: 1em; }

hr.doc      { width: 100%; margin-top: 5px; margin-bottom: 5px }