<style type="text/css">div.menu {  margin: 0;  font-size: 80% /*smaller*/;  font-weight: bold;  line-height: 1.1;  text-align: center;  position: fixed;  top: 2em;  left: auto;  width: 9.5em;  right: 2em;}div.menu a, div.menu em { display: block; font-family: Verdana; font-size: 10 pt;                margin-right: 0.5em; margin-top: 0; margin-bottom: 4 }div.menu a:first-child { border-top: none }div.menu a:link { color:#000000; text-decoration:none; font-weight:bold;  }div.menu a:visited { color:#555555; text-decoration:none; font-weight:bold; }div.menu a:hover { color:#000000; text-decoration:none; background-color:#EEEEEE; font-weight:bold; }div.news { line-height: 80%; text-align: justify; font-family: Verdana; margin: 0 }.ntitre  { line-height: 100%; font-size: 12 pt; font-weight: bold }.ndate   { color: #808080; font-size: 8 pt; font-style: italic; }.ncorps  { font-size: 8 pt; text-align: justify; }</style>
