/* global */
body {background-color:white;}
H1 {text-align: left ; clear: both}
H2, H3 {text-align: left; clear: both}

/* titlex */
div.menutitle {text-align: center; padding : 2px; margin: 2 px; text-decoration: none} 
div.title2 { background-image: url(figures/theme1title.jpg); background-position: right; background-repeat: no-repeat; font-size: xx-large; font-weight: bolder; font-style: italic; text-decoration: none; color: #000000; padding: 6px}
div.indextitle2 { background-image: url(figures/theme1title.jpg); background-position: right; background-repeat: no-repeat; color: #000000; padding: 6px}
div.breadcrumbs {float: left}
div.outline {float: right}
A.menu { text-decoration: none}
A.UImenu { text-decoration: none ; color: #000000}

/* for glossary */
div.normal {}
div.made_outer {background: url(figures/bluesky2.jpg) }
div.made {
margin-right: 75px; margin-left: 75px; padding: 15px; 
border: 5px solid #FFB5C5;
  background: url(eye.jpg);
  color: #0000ff
}

/* misc */
div.statusbar  { text-align: right }
img.fig { text-align: center }
div.warning {border-style:solid; border-color:blue; border-width:thin; padding:.5em; margin:.3em}
a.refnum { font-size: 80% }