/* body { behavior: url("csshover2.htc"); } */
dd, a { behavior: url("IEFixes.htc"); }

/* standard stuff, really */
div#alert { 
  background-color: rgb(64, 64, 255);
  color: rgb(255, 255, 64);
  font-family: cursive; }

div#content { 
  width: 720px;
  margin: 0 auto; }

div#footer {
  background-color: rgb(0, 0, 255);
  color: rgb(255, 255, 64);
  font-family: monospace;
  text-align: right; }


/* fancy behavior for this page */

dl#versions {
  height: 12pc;
  width: 560px;
  margin: 0 auto; }
dl#versions dt a { color: black; text-decoration: none; }
dl#versions dt a:hover {
  background-color: rgb(48,48,255);
  color: rgb(255, 255, 64);
  text-decoration: none; }

dl#versions dd ul { display: none; }
dd:hover, dd.hover {
  background-color: rgb(32, 32, 255);
  color: rgb(255, 255, 64); }
dd:hover a, dd.hover a { color: rgb(255, 255, 64); text-decoration: none; }
dd#alts:hover ul {
  background-color: rgb(32, 128, 255);
  color: rgb(255, 255, 64);
  display: block;
  position: relative;
  float: right; 
  width: 216px;
  right: 96px;
  top: -1.2em;
  padding-right: 40px; }

dd#tools:hover ul {
  background-color: rgb(32, 128, 255);
  color: rgb(255, 255, 64);
  display: block;
  position: relative;
  float: right; 
  top: -1.2em;
  right: 96px;
  padding-right: 16px; }

/* Exploder nonsense */
dd#alts.hover ul {
  background-color: rgb(32, 128, 255);
  color: rgb(255, 255, 64);
  display: block;
  position: relative;
  float: right; 
  width: 216px;
  right: 150px;
  top: -1.2em;
  padding-right: 40px; }

dd#tools.hover ul {
  background-color: rgb(32, 128, 255);
  color: rgb(255, 255, 64);
  display: block;
  position: relative;
  float: right; 
  right: 144px;
  top: -1.2em;
  padding-right: 16px; }