/* Layout */
.clear {
	clear: both;
}


#footer {
	margin-top: 1em;
	clear: left;
}

#footer-nonav {
	margin-top: 1em;
	clear: left;
}

/* Picture menus */
.picmenu {
	border: 0;
	padding: 0;
	margin-bottom: 1em;
}

.picmenu-item {
}

.picmenu-caption {
}

.picmenu-image IMG {
	display: block;
	margin-left: auto;
	margin-right: auto;
	border: 0;
}


/* picture lists */
.piclist-end {
	clear: both;
}

.piclist-image {
	float: left;
	/* border: thin red solid; */
	margin-right: 1em;
	margin-bottom: 1em;
}

.piclist-item {
}

.piclist-itembetween {
	clear: both;
}

.piclist-text {
	/* border: thin green solid; */
}

.piclist-text UL {
	list-style-position: inside;
	/* border: thin black solid; */
}

.piclist-text UL LI {
	/* margin-left: 10em; */
}



/* Navigation */

#navimage {
	padding: 4px;
	overflow: hidden;
}

/* tables */

.tabledefault {
	margin: 1em;
}

.tabledefault TD {
	text-align: left;
	vertical-align: top;
	padding: 0.2em;
}

.tabledefault TH {
	text-align: center;
	vertical-align: middle;
	padding: 0.2em;
}

/* types of text */
.answer {
	margin-left: 2em;
	margin-bottom: 0.5em;
}

.asciiart {
	padding: 0.5em;
	margin: 0.5em;
	font-family: monospace;
}

TT
{
	padding-left: 0.2em;
	padding-right: 0.2em;
	font-family: monospace;
}


PRE
{
	padding: 0.5em;
	margin-bottom: 2em;
	margin-left: 2em;
	margin-right: 0.5em;
	margin-top: 0.5em;
	font-family: monospace;
}

.photocopyright {
	font-size: small;
}

/* Basic tag overrides */
H1, H2, H3, H4, H5, H6 {
	margin-top: 0;
	margin-bottom: 0;
	padding-bottom: 0;
}

H2, H3, H4, H5, H6 {
	margin-top: 1em;
}

IMG {
	border: 0;
}

P {
	margin-top: 1em;
	margin-bottom: 0;
	line-height: 125%;
	text-indent: 0;
}

.first
{
	margin-top: 0;
}


UL, OL {
	margin-top: 0.5em;
	line-height: 125%;
}

UL OL, UL UL, OL UL, OL OL
{
	margin-top: 0;
}


.listfollowing {
	margin-bottom: 0;
}

/* Images */
.imageframe, .imageframelight {
	padding: 0.3em;
	margin: 0.3em;
}	

/* publications */
.publication {
	margin-bottom: 1em;
}

.pubauthors, .pubdate, .pubabstract, .publinks, .pubname {
	margin-left: 0.8em;
}

.pubdate {
	margin-bottom: 0.3em;
}