/* $Id: default.css,v 1.10 2012/12/20 07:42:20 ted Exp ted $ */
/* default style sheet for vaninst */


body {
    position: relative;
    font-family: 'New Century Schoolbook', Times, serif;
    background-color: #EEE;
}
.logo {
    float: right;
}
.pic1 {
    float: right;
    padding: 0 0 0.5em 0.5em;
}
.pic2 {
    float: left;
    padding: 0 0.5em 0.5em 0;
}
a.extrn:after, .arrow-example:after {
    content: "\27B6";	/* BLACK-FEATHERED NORTH EAST ARROW */
    color: red;
}
@media print {
    a.extrn:after {
	content: " (" attr(href) ")";
	color: gray;
    }
    a.extrn {
	text-decoration: none;
    }
}
table.schedule {
    border-collapse: separate;
    border: 1px solid gray;
}
.schedule td {
    border: 1px solid black;
    padding-left: 0.2em;
    padding-right: 0.2em;
}
.sponsor {
    font-style: italic;
    /* text-transform: uppercase; -- used 0.7em and 1.25em  */
    font-variant: small-caps;
}
.schedule .sponsor {
    font-size: 0.9em;
}
.lectureTitle {
    margin-top: 0.25em;
    margin-bottom: 0.25em;
    font-size: 2em;
}
.lectureItemCaveat {
    float: right;
    margin-left: 0.25em;
    padding: 0.1em 0.25em 0.1em 0.25em;
    background-color: yellow;
}
.inlineCaveat {
    padding: 0.1em 0.25em 0.1em 0.25em;
    background-color: yellow;
}
.note {
    font-size: smaller;
    font-style: italic;
}
.clear {
    clear: both;
}
#lect_1 {
    padding-left: 5em;
}
@media print {
    #nav {
	display: none;
    }
    #lect_1 {
	padding-left: 0;
    }
}
#lect_2 {
    position: relative;
}
#lect_2 .sponsor {
    text-align: center;
    font-size: 1.7em;
}
#nav {
    position: absolute;
    top: 0;
    left: -5em;
    width: 4.5em;
    background-color: #EEF;
}
#nav ul {
    margin: 0;
    padding: 0;
    list-style: none;
}
#nav ul li {
    margin: 0;
    padding: 0;
    list-style: none;
}
#nav li a {
    display: block;
    margin: 0 0 -0.8em 0;
    padding: 0.1em 1em 0 0;
    text-decoration: none;
    line-height: 1em;
}
#nav li>a {
    margin: 0;
    padding: 0.25em 1em 0.25em 0;
}
#nav li a:hover {
    background-color: #FCF;
}
#foot {
    text-align: center;
}
.bigbold {
    font-size: 1.15em;
    font-weight: bolder;
}
.extrastrong {
    font-size: 1.5em;
    font-weight: bolder;
    padding-left: 0.5em;
    padding-right: 0.5em;
    border-style: solid;
    border-width: 0.2em;
    border-color: red;
    border-radius: 1em;
    background-color: yellow;
    text-align: center;
}

/*__________________________________________________________________________
*/