/* Standard style sheet for abel */
BODY { margin: 0ex; } /* replace Netscape's MARGINWIDTH=0 and MARGINHEIGHT=0 */
/* Override default to more readable sans-serif font */
BODY, H1, H2, H3, H4, P, UL, OL, DL, LI, DT, DD, TABLE, TH, TD,
I, B, EM, STRONG, INPUT
  { font-family: sans-serif; }
/* BODY { background: lightsteelblue; } does not help */
A:link { color: darkblue; }        /* new link, darkblue */
A:visited { color: #303050; }     /* visited link, grey */
A:hover { color: #CC9900; }       /* hover, gold */
A:active { color: white; }      /* active, white */
TABLE.sidebar, TD.sidebar { background: lightslategray; } /* sidebar, left */
TABLE.main, TD.main { background: lightsteelblue; }   /* main body, right */
TD.small { font-size: small; }     /* small (subnodes) */
TD.menu { font-size: medium; }
TD.submenu { font-size: small; }

/* replace B.submenu by UL.submenu */
B.submenu { font-style: normal; font-weight: normal; font-size: small; }

DD { font-size: small; padding: 0.3ex 0ex; }           /* definition term */
DT { padding: 1ex 0ex; }           /* definition term */
DT:first-child { padding: 1ex 0ex; }           /* first definition term */
/* DT.first { padding: 1ex 0ex; }                 first definition term */
P.bottombar { font-size: x-small; text-align: center; } /* navigation bar, bottom */
P.bottom { font-size: small; }                 /* address, bottom */
IMG { border-width: 0ex; }
B.here { font-weight: bold; color: white; }  /* current node, bold white */
/* UL {  list-style-type: disc; } */
UL.inDL { margin-left: -5ex; }
LI.spacy { margin-top: 5px; } /* NOT: line-height: 130% */
UL.my { list-style-type: square; margin-left: -2ex; }
UL.submenu { list-style-type: none; margin-left: -3ex; margin-top: 0.5ex; font-size: small; }
LI.noindent { font-family: sans-serif; }
B.nonbold { font-style: normal; font-weight: normal; }
TH { text-align: left; font-weight: normal; }

/* publications table */
TABLE.pub   { font-size: small; }
TD.pubtitle { padding-right: 2ex; width: 85ex;}
TD.pubwhere { padding-right: 2ex; width: 12ex;}
TD.pubyear  { padding-right: 2ex; width: 9ex; }
TD.pubhot   { padding-right: 2ex; width: 2ex; }


/* traveling table */
TD.trdate { vertical-align: top; padding-right: 2ex; width: 10ex; }
TD.trdest { vertical-align: top; font-style: normal; font-weight: bold; }
TH.trcheck { vertical-align: top; text-align: center; width: 4ex; }
TD.trcheck { vertical-align: top; text-align: center; width: 4ex; }
TD.tryear { column-span: 7; font-weight: bold; font-size: large; padding: 1ex 0ex; }
TD.trdesc { font-size: small; padding: 1ex 0ex; }