/***  Global style -- used by output of generation script.  ***/

/*  Overall elements.  */
body {
    color: black;
    background: white url(images/smileys.png);
}
img { border: none; }

/*  Page headers and footers.  */
div#header { text-align: center; }
div#footer { }

/*  Navigation menu.  */
div#navmenu {
    display: table-cell;
    width: 9em;
    padding-right: .75em;
    border-right: thin ridge black;
    vertical-align: top;
}
div#navmenu ul {
    list-style: none;
    padding: 0;
    margin: 0;
    font-weight: bold;
}
div#navmenu ul ul {
    padding-left: 2em;
    font-weight: normal;
}

/*  Content area.  */
div#content {
    display: table-cell;
    padding-left: .75em;
}

/*  Bypass links -- should be invisible.  */
img.bypass {
    padding: 0;
    margin: 0;
    border: none;
    display: none;
}

/***  Site-specific style.  ***/

/*  LaTeX logo -- based on standard definitions.  */
span.La {
    text-transform: uppercase;
    font-size: 0.75em; /* guesstimate */
    vertical-align: 0.25em;
    margin-left: -0.36em;
    margin-right: -0.15em;
}
span.TeX {
    text-transform: uppercase;
    vertical-align: -0.5ex;
    margin-left: -0.1667em;
    margin-right: -0.125em;
}

/*  Course lists: no marker, flush against left margin.  */
ul.courses {
    list-style: none;
    padding-left: 0em;
}

/*  Teaching links: no marker, flush against left margin.  */
ul.teaching {
    list-style: none;
    padding-left: 0em;
}