.border-around {
  border: 1px;
  border-style: solid;
  border-color: black;
}

table.border-around {
  border: 1px;
  border-style: solid;
  border-color: black;
  width: 513px;
}

table {
  padding: 0px;
}

table.app {
  border: 2px;
  border-style: solid;
  border-color: #ffca3c;
  background-color: white;
  width: 700px;
/*  padding: 10px; IE is NOT real browser!!!*/
}

table.section {
  width: 523px;
  margin-bottom: 15px;
  margin-top: 15px;
}

div.section {
  border: 2px;
  border-style: solid;
  border-color: #9f70a8;
  padding: 5px;
  margin: 0px;
}

p.section {
  border: 1px;
  border-style: solid;
  border-color: #9f70a8;
  padding: 5px;
}

body {
  margin: 20px;
}

div, p, span, th, td, li, dl, dd {
  font-family: Helvetica, Arial, Lucida, sans-serif;
}

a {
  text-decoration: none;
  color: black;
}

img {
  border: none;
}

h4 {
  font-size: 20px;
  text-align: center;
}

h5 {
  font-size: 17px;
  text-align: center;
}

h6 {
  font-size: 15px;
  text-align: left;
  margin: 0px;
  margin-left: 10px;
}

span.background {
  margin: 0px;
  padding: 0px;
  border: 0px;
  border-bottom: 0px;
  border-style: solid;
  border-color: #9f70a8;
  font-size: 20px;
  text-align: center;
  background: #feedbf;
  width: 100%;
}

div.img-label {
  font-size: 10px;
  text-align: center;
}

body div.banner { display: block } /* Overrides 'none' in banner-*.css */

.logo { display: none }		/* No need for two W3C icons */

div.banner {
  margin: 0;
  font-size: 90% /*smaller*/;
  font-weight: bold;
/*  line-height: 1.1;*/
  text-align: center;
  position: absolute;		/* Fallback if 'fixed' is not supported */
  top: 2em;
  left: auto;
  /*width: 8.5em;*/
  right: 2em;
}
div.banner {
  position: fixed;		/* Overrides 'absolute' above */
}
div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #f0f0f0;		/* Override according to type of page */
  border: none;	/* Override this color together with bg */
  color: white;
}

/*div.banner a, div.banner em { display: block; margin: 0 0.5em }
div.banner a, div.banner em { border-top: 2px groove #999 }
div.banner a:first-child { border-top: none }
div.banner em { color: #CFC }

div.banner a:link { text-decoration: none; color: white }
div.banner a:visited { text-decoration: none; color: #CCC }
div.banner a:hover { background: black; color: white }

/*div.banner img { height: 24px; float: none; vertical-align: middle }*/

/*div.banner p { background: url(semi2x2b.png) transparent fixed;
   border-color: #025c7f }
div.banner a, div.banner em { border-top-color: #025c7f }

/* Hide from NS4 (there is a higher-specificity rule in banner.css) */
/*div.banner { display: none }

div.banner a:hover { background: white; color: black }
*/