.userlogo     { background-image:url(user.gif);float:right;height:30px;width:37px }

/* NOTE: I've disabled all this stuff for the moment, */
/* because it causes a few glitches */
/* Must re-enable it at some point... */

/*.stripev, .stripet, .stripeb, .stripeft, .stripefb, .junction
	     { width: 16px}*/
/*.stripet, .stripeb, .stripeft, .stripefb
	     { height: 16px}*/
/*.stripev     { background-image: url(Tripline/Stripe.bmp)}*/
/*.stripet     { background-image: url(Tripline/StripeTop.bmp)}*/
/*.stripeb     { background-image: url(Tripline/StripeBottom.bmp)}*/
/*.stripeft    { background-image: url(Tripline/StripeFrayTop.bmp)}*/
/*.stripefb    { background-image: url(Tripline/StripeFrayBottom.bmp)}*/
/*.stopover    { background-image: url(Tripline/Stopover.gif);
	       width: 16px; height: 16px}*/
/*.subtrip     { background-image: url(Tripline/SubTrip.gif); 
	       width: 16px; height: 16px}*/
/*.junction    { background-image: url(Tripline/Junction.gif)}*/
/*.stripej     { background-image: url(Tripline/StripeJunc.gif); 
               width: 16px; height: 16px}*/

/*.stripeh, .stripel, .striper, .stripefl, .stripefr 
	     { height: 16px}*/
/*.stripel, .striper, .stripefl, .stripefr
	     { width: 16px}*/
/*.stripeh     { background-image: url(Tripline/StripeHoriz.bmp)}*/
/*.stripel     { background-image: url(Tripline/StripeLeft.bmp)}*/
/*.striper     { background-image: url(Tripline/StripeRight.bmp)}*/
/*.stripefl    { background-image: url(Tripline/StripeFrayLeft.bmp)}*/
/*.stripefr    { background-image: url(Tripline/StripeFrayRight.bmp)}*/
/*.stopoverh   { background-image: url(Tripline/StopoverHoriz.gif); 
	       width: 16px; height: 16px}*/
/*.subtriph    { background-image: url(Tripline/SubtripHoriz.gif); 
	       width: 16px; height: 16px}*/
/*.junctionh   { background-image: url(Tripline/JunctionHoriz.gif); 
	       width: 16px; height: 16px}*/

/*.here, .there{ font-size: 12px}*/