BODY {
	FONT-SIZE: 13px; 
	BACKGROUND: #444; 
	COLOR: #222; 
	FONT-FAMILY: "Trebuchet MS", "Lucida Sans", Sans-Serif; 
	TEXT-ALIGN: center;
}
H1 {
	MARGIN-TOP: 10px; 
	PADDING-LEFT: 15px; 
	PADDING-RIGHT: 15px; 
	PADDING-TOP: 10px; 
	PADDING-BOTTOM: 0px; 
	FONT-WEIGHT: bold; 
	FONT-SIZE: 18px; 
}
H2 {
	MARGIN-TOP: 25px; 
	MARGIN-RIGHT: 0px;
	PADDING-LEFT: 15px; 
	PADDING-RIGHT: 15px; 
	PADDING-TOP: 5px; 
	PADDING-BOTTOM: 0px; 
	FONT-WEIGHT: bold; 
	FONT-SIZE: 16px; 
	CLEAR: both; 
	BORDER-TOP: #ccc 1px solid; 
}
A:link {
	COLOR: #003399; 
	TEXT-DECORATION: underline;
}
A:visited {
	COLOR: #003399; 
	TEXT-DECORATION: underline;
}
A:hover {
	BACKGROUND: #91B6FF; 
	COLOR: #000000;
}

.thumb {
	BORDER: 0;
	MARGIN: 5px 0px 0px 0px;
}
.date {
	FLOAT: right;
	FONT-WEIGHT: normal;
	FONT-SIZE: 13px;
}

#container {
	BACKGROUND: white; 
	BORDER: #ccc 1px solid; 
	PADDING: 0px 0px 0px 0px;
	MARGIN: 0px auto; 
	WIDTH: 860px; 
	TEXT-ALIGN: left;
}
#pageheader {
	BACKGROUND: #003399; 
	POSITION: relative; 
	HEIGHT: 60px;
	FONT-WEIGHT: normal;
	FONT-SIZE: 24px; 
	FONT-VARIANT: small-caps;
	LINE-HEIGHT: 70px;
	COLOR: white; 
	LETTER-SPACING: 0.0em; 
	VERTICAL-ALIGN: top;
	TEXT-ALIGN: right;
	PADDING-RIGHT: 30px;
}
#pageheader A {
	TEXT-DECORATION: none;
	COLOR: white; 
	BACKGROUND: #003399;
}
#pageheader A:link {
	TEXT-DECORATION: none;
	COLOR: white; 
	BACKGROUND: #003399;
}
#pageheader A:visited {
	TEXT-DECORATION: none;
	COLOR: white; 
	BACKGROUND: #003399;
}
#pageheader A:hover {
	TEXT-DECORATION: none;
	COLOR: white; 
	BACKGROUND: #003399;
}

#logo {
	POSITION: absolute; 
	RIGHT: 30px; 
	TOP: 20px
}

#mainmenu {
	BACKGROUND: #af2727; 
	BORDER-TOP: #ccc 1px solid; 
	BORDER-BOTTOM: #ccc 1px solid; 
	HEIGHT: 28px;
	FONT-SIZE: 14px;
	PADDING-LEFT: 30px;
}
#mainmenu UL {
	LIST-STYLE-TYPE: none;
	DISPLAY: inline;
}
#mainmenu UL LI {
	BACKGROUND: white;
	FLOAT: left; 
}
#mainmenu UL LI A {
	DISPLAY: block;
	BACKGROUND: white;
	PADDING-LEFT: 15px; 
	PADDING-RIGHT: 15px; 
	PADDING-BOTTOM: 5px; 
	PADDING-TOP: 5px; 
}
#mainmenu A:link {
	TEXT-DECORATION: none;
	BACKGROUND: white;
	COLOR: #222;
}
#mainmenu A:visited {
	TEXT-DECORATION: none;
	BACKGROUND: white;
	COLOR: #222;
}
#mainmenu A:hover {
	TEXT-DECORATION: none;
	BACKGROUND: #e27e7e; 
	COLOR: #222;
}

/* current page menu item: */
#home #menu-home a, 
#research #menu-research a, 
#publications #menu-publications a, 
#resources #menu-resources a, 
#quotations #menu-quotations a, 
#humor #menu-humor a, 
#games #menu-games a { 
	BACKGROUND: #af2727;
	COLOR: white;
} 

#sidebar {
	CLEAR: both;
	FLOAT: left; 
	WIDTH: 180px; 
	MARGIN: 0px;
	PADDING-TOP: 30px;
	PADDING-LEFT: 0px;
	PADDING-RIGHT: 10px;
	PADDING-BOTTOM: 20px;
}
#sidebar H1 {
	FONT-SIZE: 13px;
}
#sidebar P {
	FONT-SIZE: 13px;
}
#sidebar UL {
	LIST-STYLE-TYPE: none;
	PADDING: 0px;
	MARGIN-TOP: 0px;
	MARGIN-LEFT: 30px;
}
#sidebar UL LI {
	PADDING-BOTTOM: 1px;
}
#sidebar IMG {
        MARGIN-LEFT: 30px;
}
#sidebar span.current {
	BACKGROUND: #003399;
	COLOR: white;
} 

#content {
	DISPLAY: inline;
	FLOAT: right;
	MARGIN-BOTTOM: 20px; 
	PADDING: 0px;
	WIDTH: 670px;
}
#content IMG {
        MARGIN-LEFT: 0px;
}
#content P {
	MARGIN-LEFT: 15px;
	MARGIN-RIGHT: 30px;
}
#content DL {
	MARGIN-LEFT: 15px;
	MARGIN-RIGHT: 30px;
}
#content TABLE {
        MARGIN-LEFT: 10px;
        MARGIN-RIGHT: 10px;
}

#publication H1 {
	BACKGROUND: url(images/pub_header.gif) no-repeat 2px 4px
}
#publication H2 {
	BACKGROUND: url(images/header_pub_bullet.gif) no-repeat left center
}


#publications .authors {
	COLOR: #333;
}
#publications .title {
	COLOR: black;
	FONT-WEIGHT: bold;
}
#publications .award {
	COLOR: white;
	BACKGROUND-COLOR: #af2727;
	FONT-WEIGHT: bold;
}
#publications .source {
	COLOR: #666;
}
UL.publist {
	LIST-STYLE-TYPE: none;
	MARGIN-LEFT: 0px;
	PADDING-LEFT: 0px;
}
LI.pubitem {
	MARGIN-LEFT: 0px;
	MARGIN-RIGHT: 20px;
	PADDING-LEFT: 15px;
	PADDING-BOTTOM: 10px;
}
#people TABLE {
	MARGIN-LEFT: 15px;
	PADDING: 0;
}
#people TR {
	PADDING-BOTTOM: 10px;
}
#people .name {
	FONT-WEIGHT: bold;
}

#publication .pubbuttons {
	MARGIN-LEFT: 10px
}
#publication .marker {
	BACKGROUND: yellow
}
#publication .publink A:link {
	MARGIN: 0px 2px; COLOR: #297c00; BORDER-BOTTOM: #96e400 2px solid
}
#publication .publink A:visited {
	MARGIN: 0px 2px; COLOR: #444; BORDER-BOTTOM: #96e400 2px solid
}
#publication .publink A:hover {
	BACKGROUND: #e7ffdb
}
#publication .pubpdf A:link {
	MARGIN: 0px 2px; COLOR: #0042d7; BORDER-BOTTOM: #0024ff 2px solid
}
#publication .pubpdf A:visited {
	MARGIN: 0px 2px; COLOR: #444; BORDER-BOTTOM: #0024ff 2px solid
}
#publication .pubpdf A:hover {
	BACKGROUND: #f0f5ff
}
#publication .pubgoogle A:link {
	MARGIN: 0px 2px; COLOR: #cc8b00; BORDER-BOTTOM: #ffd74c 2px solid
}
#publication .pubgoogle A:visited {
	MARGIN: 0px 2px; COLOR: #444; BORDER-BOTTOM: #ffd74c 2px solid
}
#publication .pubgoogle A:hover {
	BACKGROUND: #fffbe8
}
#publication .quote {
	BORDER-RIGHT: #dadada 3px solid; PADDING-RIGHT: 10px; MARGIN-TOP: 4px; PADDING-LEFT: 10px; PADDING-BOTTOM: 0px; MARGIN-LEFT: 0px; BORDER-LEFT: #dadada 3px solid; PADDING-TOP: 0px; FONT-STYLE: italic; BACKGROUND-COLOR: #f5f5f5
}
#publication .bibtex {
	FONT-SIZE: 11px; LINE-HEIGHT: 11px; FONT-FAMILY: "Courier New", Courier, Monaco, Monospace
}
#publication P.pdffile {
	PADDING-LEFT: 40px; BACKGROUND: url(images/pdficon.gif) no-repeat 0px 0px; HEIGHT: 40px
}

#footer {
	CLEAR: both; 
	BORDER-TOP: #999 1px solid; 
	HEIGHT: 30px;
	BACKGROUND: white; 
	PADDING-LEFT: 30px; 
	PADDING-RIGHT: 30px; 
	PADDING-TOP: 15px; 
	FONT-SIZE: 11px; 
	COLOR: #444; 
}