<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">/****************** General Settings ******************/

html{
	margin: 0px;
	padding: 0px;
	border: 0px;
	height: 100%;
}

body { 
	color: black; 
	background-color: #82CAFA;
	margin: 0px;
	padding: 0px;
	border: 0px;
	height: 100%;
	font-family: "Verdana", sans-serif;
	font-size: 100%;
}

header, footer, nav{
	margin: 0px;
	padding: 0px;
}

div{
	margin: 0px;
	padding: 0px;
}

p{
	margin-top: 0px;
	margin-left: 0px;
	margin-right: 0px;
	margin-bottom: 1em;
	padding: 0px;
}

ul, ol, dl{
	margin-top: 0px;
	margin-left: 0px;
	margin-right: 0px;
	margin-bottom: 1em;
	padding: 0px;
}

li, dt, dd{
	margin: 0px;
	padding: 0px;
}

a:link {
   	color: blue;
	text-decoration: none;
}
 
a:visited {
   	color: blue;
	text-decoration: none;
}
 
a:hover {
   	color: red;
	text-decoration: none;
} 
 
a:active {
   	color: yellow;
	text-decoration: none;
}

h1{
	margin-bottom: 0.75em;
	margin-top: 0.75em;
	margin-left: 0px;
	margin-right: 0px;
	padding: 0px;
	text-align: center;
}

h2{
	margin-top: 1.5em;
	margin-left: 0px;
	margin-right: 0px;
	margin-bottom: 0.5em;
	padding: 0px;
	font-size: 1.375em;
}

h3{
	margin-top: 1.5em;
	margin-left: 0px;
	margin-right: 0px;
	margin-bottom: 0px;
	padding: 0px;
}

h4, h5, h6{
	margin: 0px;
	padding: 0px;
}

em{
	font-style:italic;
}

strong{
	font-weight:bold;
}

/****************** Main Page ******************/

div.main{
	position: absolute;
	color: black;
	background-color: white;
	margin-left: 140px;
	padding-left: 35px;
	padding-right: 35px;
	max-width: 760px;
	min-height: 100%;
	font-size: 0.9375em;
}

/****************** Navigation Bar ******************/

div.navigation{
	position: absolute;
	width: 140px;
	color: black;
	padding-left: 15px;
	padding-top: 3em;
	font-size: 0.875em;
}

div.navigation h4{
	margin-bottom: 1.5em;
}

div.navigation a:link {
   	color: black;
	text-decoration: none;
}
 
div.navigation a:visited {
   	color: black;
	text-decoration: none;
}
 
div.navigation a:hover {
   	color: red;
	text-decoration: none;
} 
 
div.navigation a:active {
   	color: red;
	text-decoration: none;
}

div.navigation ul{
	margin-top: 1em;
	padding-left: 0.5em;
}

div.navigation ul li{
	margin-bottom: 1em;
}

/****************** Maintained by ******************/

div.maintained {
	font-size: small;
	clear: both;
}

/****************** Bibliography ******************/

div.biblio{
	padding-bottom: 0.5em;
}

div.biblio li{
	margin-bottom: 1em;
	margin-left: 2em;
}

div.biblio p{
	margin-bottom: 0em;
}

span.doi {
	font-family: "Lucida Console", monospace;
}

/****************** Talk List ******************/

ul.talklist{
	padding-left: 2em;
}

ul.talklist li{
	margin-bottom: 0.75em;
}

ul.talklist p{
	margin-bottom: 0em;
}

/****************** Conference List ******************/

ul.conflist{
	padding-left: 2em;
}

ul.conflist li{
	margin-bottom: 0.75em;
}

/****************** Link List ******************/

ul.linklist{
	padding-left: 1em;
}

ul.linklist li{
	margin-bottom: 1em;
}

/****************** Teaching List ******************/

div.teachlist dl{
	margin-top: 0px;
}

div.teachlist dt{
	margin-top: 0.5em
}

div.teachlist dd{
	margin-top: 0.125em;
}

div.teachlist ul{
	margin-left: 2em;
	margin-bottom: 0px;
}

div.teachlist p{
	margin-top: 0.5em;
	margin-bottom: 0em;
}

div.teachlist h2{
	margin-bottom: 0.25em;
}

/****************** CV item ******************/

div.cvitem h3{
	margin-bottom: 0.1em;
}

div.cvitem h4{
	font-weight: bold;
}

div.cvitem p{
	margin-bottom: 0em;
}

/****************** Address ******************/

div.address {
	float: left;
	margin-right: 1em;
}

div.addressbox{
	overflow: auto;
	margin-bottom: 1em;
}

div.addressbox p{
	margin-bottom: 0em;
}

/****************** Pictures ******************/

div.rightpic {
	float: right;
	margin-left: 0.5em;
	margin-bottom: 0.5em;
}

div.bannerpic {
	margin-top: 0em;
	margin-bottom: 0.5em;
}

/****************** Centred Subheadings ******************/

div.centrehead h3{
	margin-bottom: 0.75em;
	margin-top: 0px;
	margin-left: 0px;
	margin-right: 0px;
	padding: 0px;
	text-align: center;
}

/****************** Seminar Page ******************/

div.seminartable table{
	margin-bottom: 0.75em;
	margin-top: 0px;
	margin-left: 0px;
	margin-right: 0px;
	border: 1px solid black;
}

div.seminartable td{
	padding: 1em;
	text-align: center;
	border: 1px solid black;
}

div.abstracts dl{
	margin-top: 0.5em;
}

div.abstracts dt{
	margin-top: 1em
}

div.abstracts dd{
	margin-left: 1em;
}

/****************** Conference Pages ******************/

div.conferences h3{margin-bottom: 0.5em;
	margin-top: 0.75em;
	margin-left: 0px;
	margin-right: 0px;
	padding: 0px;
}

ul.speakerlist{
	padding-left: 2em;
}

ul.speakerlist li{
	margin-bottom: 0.5em;
}

div.conferencetable table{
	margin-bottom: 2em;
	margin-top: 0px;
	margin-left: auto;
	margin-right: auto;
	border: 1px solid black;
}

div.conferencetable td{
	padding: 0.5em;
	text-align: center;
	border: 1px solid black;
}

div.centremap {
	margin-top: 0.5em;
	margin-bottom: 0.5em;
	margin-left: 30px;
	margin-right: 30px;
}
</pre></body></html>