/*
 * A scrolling body, a site navigation menu (div.banner) along
 * the top and a local navigation menu (div.map) along the
 * right side.
 */

body {
  line-height: 1.3;
  text-align: justify;
  background: white;
  font-family: "Gill Sans MT", "Gill Sans", GillSans, Arial, Helvetica, sans-serif }

a:link img, a:visited img {
  border-style: none }
a:hover * {			/* Work-around for Konqueror 3.1 */
  background: inherit }


h1 {
  font-weight: 300;
  line-height: 2;
  font-size: 1.6em;
  text-align: center;
  font-variant: small-caps;
  border-bottom: thin solid;
  padding: 0.2em 0.5em 0.2em 0.5em
}
h2 {
  text-align: left;
  line-height: 1;
  font-size: 1.2em;
  border-bottom: thin solid;
  padding: 0 0.5em 0.2em 0.5em;
  font-weight: normal;
  clear: both;
}
h3 {
  font-weight: bold;
  font-size: 1em;
  margin: 1.5em 1em 1em 0;
  display: run-in 
}
pre {
  text-align: left 
}		/* Safari 1.0b doesn't do this by default */
li {
  padding-left: 0;
  margin-left: 0 
}
ul, ol {
  padding-left: 0;
  margin-left: 1.5em 
}
p + p {				/* Indent rather than top margin */
  text-indent: 1em;
  margin-top: 0.2em 
}
p {
  text-indent: 1em;
  margin-top: 1em;
  margin-bottom: 0.5em 
}
img {
    vertical-align: middle
}

sup.issues a {
  color: red;
  text-decoration: none;
}

/* Give the body some margins to make room for the two menus */

html {
  margin: 0 }
body {
  position: relative;		/* Make containing block for the menus */
  padding: 2em;				/* Room for banner at the top */
  margin: 0 
}
html>body {
  padding-right: 2em }



div#body,
div.body {
  top: 0.5em; right: 1em; bottom: 1em; left: auto;
  padding: 0.1em 1em 1em 1em
}

p.title {
  text-align: center;
  font-size: larger;
  margin-bottom: 2.5em;
}
p.center, p.biggercenter{
  text-align: center;
  margin-top: 1em;
  margin-bottom: 0.5em;
}
p.spacer{
  margin-top: 2em;
  margin-bottom: 1em;
}
p.footer{
  margin-top: 2em;
  margin-bottom: 1em;
  font-size: 1.1em
}
p.err{
  color: #700
}
p.biggercenter{
  font-size: 1.2em
}


li {
    list-style : url(../graphics/star.png) disc;
    margin-left: 1.2em;
}



/* Local navigation menu, along the right side */

div.menu li li {			/* Nested LIs don't get the dogear */
  margin: 0;
  padding: 0 }
div.menu li {			/* For WinIE, which doesn't know '>' :-( */
  list-style: none }		/* Remove triangle from H2 */
div.menu > ul {
  margin: 0;
  padding: 0 }
div#menu a:link, div#menu a:visited,
div.menu a:link, div.menu a:visited {
  font-style: italic;
  text-decoration: none }
div#menu:before,
div.menu:before {
/*  content: "Nagafix Ltd";
  content: url(../graphics/Nagafix_4.png); */
  display: block;
  margin-bottom: 1em;
  padding: 1em 1em;
  text-align: center;
  letter-spacing: 0.25em
}
a.menu {
  font-size: 1.3em
}
a.submenutrue,a.submenufalse {
  font-size: 0.9em;
  padding: 0.1em 1.2em;
  display: block
}

div.show {
    margin: 2em 2em 2em 2em;
    padding: 1em 1em;
    display: block;
    width: 600;
}
a.submenutrue,a.menutrue {
  font-weight: bold
}