#bannermask {
  position         :    absolute;
  width            :    100%;
  height           :    95px;
  left             :    0px;
  top              :    5px;
  background-color :	black;
  color            :	white;
  text-align       :	center;
}

div#bannermask img {
  text-align		:	center;
  width				:	500px;
  height			:	90px;
  margin			:	0px;
  border			:	0;
  overflow			:	hidden;
}

.main {
  background-color : black;
  color : white;
}

div.main {
  position :      relative;
  /* This was absolute in order to cope with the restrictions on jove.
   * It should be safe enough to use relative now that it has been
   * moved. */
  left     :      5px;
  top      :      100px;
}

div.footer {
  position :      static;
}

a {
  background-color : black;
  color            : yellow;
  outline          : black none thin;
}

img {
  outline : black none thin;
  border  : 0;
}

table {
  border             : medium double blue;
  border-spacing     : 2px;
  border-collapse    : collapse;
}

td {
  border             : medium double blue;
}

th {
  border             : medium double blue;
}

p {
	margin: 1em;
}

p.abstract {
	margin: 1em 3em;
}

.floatright { float: right; width:160px; margin-left:20px; }
.clearboth	{ clear: both; }

@media print {
	ul { page-break-inside:auto }
	.main {
	  background-color : white;
	  color : black;
	}
}