body
  { background-color: white;
    color:            black;
    font-family:      sans-serif;
    max-width:        55em;
    width:            auto;
    margin:           0 auto;
  }

a:link
  { color:            red;
    text-decoration:  none;
  }

a:visited
  { color:            #ff6600;
    text-decoration:  none;
  }

div.titlebar
  { background-color: white;
    height:           68px;
  }

div.navigation
  { padding-top:      4px;
    padding-bottom:   2px;
    background-color: black;
    color:            white;
    font-weight:      bold;
  }

span.activeitem
  { font-style:       italic;
  }

dl.newinformation
  { background-color: #c6e7de;
    padding-left:     3em;
    padding-right:    3em;
    padding-bottom:   2ex;
  }

dl.information
  { background-color: #bdc6de;
    padding-left:     3em;
    padding-right:    3em;
    padding-bottom:   2ex;
  }

dl.xinformation
  { background-color: #ccccff;
    padding-left:     3em;
    padding-right:    3em;
    padding-bottom:   2ex;
  }

dl.oldinformation
  { background-color: #e0e0e0;
    padding-left:     3em;
    padding-right:    3em;
    padding-bottom:   2ex;
  }    

dl.xoldinformation
  { background-color: #cccccc;
    padding-left:     3em;
    padding-right:    3em;
    padding-bottom:   2ex;
  }    

dt.header
  { padding-top:      3ex;
    font-weight:      bold;
  }

dd.subheader
  { padding-top:      2ex;
    font-style:       italic;
  }

dd.freeitem
  { padding-top:      2ex;
    margin-left:      0px;
  }

dd.item
  { padding-top:      0.5ex;
  }

dd.bib
  { padding-top:      0.5ex;
  }

dd.talk
  { padding-top:      0.5ex;
  }

dd.talk:before
  { content:          "Slides for the talk ";
  }

dd.subitem
  { font-size:        small;
  }

dd.subitem:before
  { content:          "(";
  }

dd.subitem:after
  { content:          ")";
  }

dd.year
  { padding-top:      1ex;
    font-style:       italic;
  }

span.bibauthor:after
  { content:          ".";
  }

span.bibtitle
  { font-style:       italic;
  }

span.bibtitle:after
  { content:          ".";
  }

span.bibin:after
  { content:          ".";
  }

p.lastmodified
  { font-size:        small;
  }

p.lastmodified:before
  { content:          "last modified: ";
  }