#dt  { background: white; height: 15px; width: 100%; overflow:hidden;}
#dtl { background: no-repeat top left  url(/img/decor/p/tl.png); height: 100%;}
#dtr { background: no-repeat top right url(/img/decor/p/tr.png); height: 100%;}

#db  { background: repeat-x  top url(/img/decor/p/b2.png); height: 15px; width: 100%; overflow:hidden;}
#dbl { background: no-repeat top left  url(/img/decor/p/bl.png); height: 100%;}
#dbr { background: no-repeat top right url(/img/decor/p/br.png); height: 100%;}

#dmtl { background: #7EA9D2 no-repeat top left  url(/img/decor/m/tl.png); height: 26px; margin-top: 4px; }
#dmtr { background: no-repeat top right url(/img/decor/m/tr.png); height: 100%; }



h1 { font-size: 120%; font-family: Calibri, Arial; }

h3 { margin-bottom: 1.2em; margin-top: 1.2em; }

dd input { margin-left: 1em; }

p.h2 { margin-top: 2em; }

dt { font-family:"Verdana"; font-size:0.6em; font-weight: bold; color: #00275D; } /* like h3 */
dt { margin-top: 1.7em; }

pre { white-space: pre-wrap; /* css-3 */ }

dd pre { max-width: 60em; margin: 0; /* font-size: 90%; */ font-family: Verdana; font-size: 0.6em; }

#m-r-nav1 { margin: 7px 1em 0 0; float: right; color: white; font-weight: bold; line-height: 7px; }
#m-l-nav1 { padding: 7px 0 0 1.2em; float: left; color: white; font-weight: bold; line-height: 7px; font-size: 80%; }
/* 1.2em on marin don't work right in IE6 */

#abstract-xhtml { margin-right: 4em; }
#abstract-xhtml p { margin-bottom: 1em; }