P, H1, H2, H3, H4, H5, H6,UL,LI,OL,TD,TH 	{ 
	font-family: arial, helvetica, sans-serif; 
	margin-left: 0px;
	margin-right: 20px;
}

OL	{ 
	margin-left: 12px;
}

H1 { font-size: 20px; font-weight: bold; margin-top: 14px;}
H2 { font-size: 14px; font-weight: bold; margin-top: 15px;  margin-bottom: 13px;}
H3 { font-size: 12px; font-weight: bold; font-style: italic; color: #333366; margin-top: 12px;}
H6 { font-size: 12px; font-weight: bold; font-style: italic; color: #333366; margin-top: 12px;}


TD,TH {  vertical-align:top; text-align:left; }

P {font-size: 12px; margin-bottom: 6px;
	margin-right: 20px;
}

LI {
	margin-left: 12px;
	font-size: 12px; 
	margin-bottom: 6px;
}

TD,TH {
    font-size: 12px; 
    margin-bottom: 0px;
	margin-left: 4px;
	margin-right: 4px;
/*	padding-left: 8px; */   /* This sucker messes up menu image alignment. But what else changed when removing it? */

}

LI.standard {list-style-type: disc; list-style-position: outside; font-family: arial, helvetica, sans-serif; font-size: 12px;  margin-left: 2em;}

.workauthor {font-size: 12px; margin-left: 3em; line-height: 14px;}
.number {font-size: 24px; color: #003366; white-space: pre;}
.chair { margin-top: 12px }
.datetime { font-weight: bold; margin-bottom: -14px;}
.box { border : 1px solid black; margin: 0}


/*
 * Header with images
 */

/* Left image (car) */
td.header-left {
    text-align: center;
    padding-bottom: 1em;
}

/* oopsla logo image */
td.header-logo {

    /* The content is 670px wide. 
       The oopsla logo is 380px wide.
       The sponsorlogo is 80px wide.
       The width and the padding must match these sizes.
       
       padding-left = contentwidth - logowidth / 2;
       width = contentwidth - sponsorwidth - padding-left;
    */

    width: 445px;
    padding-left: 145px;
    padding-right: 0px;
    padding-bottom: 1em;
}

/* Sponsor image */
td.header-sponsor {
    text-align: right;
    vertical-align: middle;
    padding-bottom: 1em;
    padding-right: 0px;
}


/*
 * Header on printer friendly pages.
 */
td.header {
    text-align: center;
    padding-bottom: 1em;
}


/*
 * The horizontal tab menu
 */

td.tab {
    background-color: #FFCC00;

    border-color: black;
    border-top: solid black 1px;
    border-bottom: solid black 1px;

}

/* Horizontal menu, unselected tab */
.tab {
    cursor: pointer;
    color: #000000;
    font-weight: bold;
    font-family: verdana, geneva, helvetica, san serif;
    text-decoration: none;

    margin-left: 1em;
    margin-right: 1em;
}

/* Horizontal menu, selected tab */
.selectedtab {
    font-weight: bold;
    border-bottom: 0;
    cursor: pointer;
    color: #FFFFFF;
    font-family: verdana, geneva, helvetica, san serif;
    text-decoration: none;

    margin-left: 1em;
    margin-right: 1em;

/*    margin-left: 20px; */
}

/* The space between menu items */
.tabspacer {
/*
    padding-left: 1em;
    padding-right: 1em;
    padding-top: 0em;
    padding-bottom: 0em;
*/
    font-weight: bold;
}


/*
 * The side-bar menu
 */

td.menu {

    width: 130px;
    height: 600px;

    padding-left: 1.5em;
    padding-right: 0em;
    padding-top: 1.5em;
    padding-bottom: 1.5em;

    /* The space between the horizontal menu and the vertical menu */
    border-top: solid white 0.5em;

    background-color: #FFFF99;
}

/* The menu links */
A.menu { 
    color: #000000; 
    font-weight: normal;
    text-decoration: none;
}

A.menu:hover { 
    text-decoration:underline; 
}

/*
 * The content area
 */

td.content {
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 10px;
    padding-bottom: 0px;
    
    width: 670px;
}

/* Printer friendly content */
td.pf-content {
    padding-left: 10px;
    padding-right: 10px;
    padding-top: 10px;
    padding-bottom: 0px;
}


/* The menu that sometimes appears in the content area */
.menu-extra {
    color: #000000;
    font-weight: bold;
    text-decoration: none;
}

.menu-extra:hover {
    text-decoration: underline;
}

/* The past oopsla page */
td.pastoopslas {
    vertical-align: bottom; 
    text-align: center;

    padding-left: 10px;
    padding-right: 10px;
    padding-top: 20px;
    padding-bottom: 20px;
}

.typeheader {
	color: blue; 
}