<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">h1 {
    font-family: "Lucida Console", Monaco, monospace;    
}

h2 {
    font-family: "Lucida Console", Monaco, monospace;
    margin-top: 0em;
    margin-bottem: 2em;
}

h3 {
   font-family: "Lucida Console", Monaco, monospace;
}

body {
    font-family: "Lucida Sans Unicode", "Lucida Grande", sans-serif
}

ul {
}

div.description {
	padding-top: 1em;
}

div.current_courses_wrapper {
    margin-bottom: 1em;
}

li.code_listing {
    margin-bottom: 50px;
}

ul.courses li {
    margin: 0.5em;
}

ul.bottom-search li{
    float: left;
    margin-right: 60px;
}

ul.bottom-search li a {
    font-family: "Lucida Console", Monaco, monospace;
    font-size: 1.5em;
}

#content {
    margin-top: 2em;
}

div.other {
    margin-top: 2em;
    margin-left: auto;
    margin-right: auto;
    width: 45em;
}
div.content {
    overflow: auto;
}

div.research p {
    /* float: left;		/\**\/ */
    /* margin-left: auto; */
    /* margin-right: auto; */
    width: 30em;
}

div.address {
    margin-left: auto;
    /* float: right;		 */
}

div.education {
    margin-left: auto;
    float: left;
}

div.wrapper {
    margin-top: 2em;
    overflow: hidden;
    margin-left: auto;
    margin-right: auto;
    width: 55em;
}

div.papers {
}

div.cv {
    /* float: left; */
    width: 10em;
    margin-top: 30px;
}

img.me {
    float: right;
    margin-right: 100px;
	 margin-top: 40px;
}

div.info {
	margin-top: 3em;
}

ul.code_links lh {
    font-weight: bold;
}

ul.code_links li {
    margin-top: 5px;
}
</pre></body></html>