body {background: white;/*#ffd*/}
a {text-decoration: none; font-weight: 550 /*bold=700*/;}
a:link { color: #295695 }
a:visited { color: #557 }
a:hover {text-decoration: underline;}
table.mainmenu {width: 100%; background: #eef;
      padding-top: 0.5ex; padding-bottom: 0.5ex;
      font-weight: bold; 
      /*background: #295695; color: white; /* Rivka Zur's Faculty Blue */}
a.mainmenu:hover: {color: white;} /* why this is ignored??? */

.this {
	background: #ffa; text-decoration: underline;
}
.middle {margin-left: 10%; margin-right: 10%; 
}
.stations {/*margin-left: 15%; margin-right: 15%;*/text-align: center;
	border-spacing: 3ex;
}
tr.stations {vertical-align: top;
	background: #ddf;
}
/*td.stations { padding-top: 1ex;} does not work */
.bib {line-height: 1.1em;}
.bib LI + LI { margin-top: 0.3em; }