/******************
 * General layout *
 ******************/


body
{
	font-family: Calibri, Helvetica, Arial, sans-serif;
	
	color: black;
	background-color: white;
}


H1
{
	text-align: center;
}



UL
{
	list-style-type: square;
}

UL UL
{
	list-style-type: disc;
}


OL
{
	list-style-type: lower-alpha;
}

OL OL
{
	list-style-type: decimal;
}


LI
{
	margin-top: 1em;
}


P
{
	text-align: justify;
}


sup
{
	/* Make sure superscript does not increase line hight */
	vertical-align: top;
	font-size: 0.6em;
}


.lastupdate
{
	margin-top: 3em;	
	margin-bottom: 0em;	
}


.backlinks
{
	/* When all pages have a lastupdate, I can reduce the top-margin here. */
	margin-top: 3em;	
	margin-bottom: 2em;	
}



/*************************
 * Foreign language text *
 *************************/


.foreignlanguage
{
	/* color: green; */
}

.translation
{
	/* color: red; */
}

.transliteration
{
	/* color: orange; */
}



/****************************
 * Locally stored resources *
 ****************************/

/* Locally stored resources (eg. articles) should ideally be linked to a copy on external site, but until such a copy exists, it will have to be stored locally. */
/* However, some online resources can only be accessed by payment, so they may need to be local afterall. */

.localresource
{
}
a.localresource:link
{
	/* background-color: cyan; */
}



/******************
 * types of lists *
 ******************/


UL.publicationslist
{
	list-style-type: none;
	list-style-position: inside;
	padding-left: 0em;
}


/* CSS currrently does not support inheritance, so just copy contents of UL.publicationslist */
UL.conferenceslist
{
	list-style-type: none;
	list-style-position: inside;
	padding-left: 0em;
}



/*******************
 * unique elements *
 *******************/


#emeritusprofessor
{
	padding-bottom: 3em;
	text-align: center;
}


IMG#Mainphoto
{
	display: block;

	margin-left: auto;
	margin-right: auto;
	
	/* margin-bottom: 2em; */
}