/*
	Author	:	Dimitris Diochnos
	Website	:	http://www.math.uic.edu/~diochnos
			https://www.cs.virginia.edu/diochnos
			http://www.cs.ou.edu/~diochnos
*/
* {
	border:0;
	margin:0;
	padding:0;
}


/* general */
a {
	color:#777777;
	text-decoration:none;
}

a:hover {
	/*color:#333;*/
	color:#3e9a39;
	background:transparent;
	/*background:#fbfbfb;*/
	text-decoration:none;
}

/*
.name_link1 {
	color:red;
	background:transparent;
	text-decoration:none;
}
.name_link1 a {
	color:red;
	background:transparent;
	text-decoration:none;
}*/

/* body */
body {
	/*background:#ebf5fc;
	//background:#ebecf6;
	//background:#ebf4f3;
	//background:#ffffff;
	//background:#ebecf4;
	//background:#fafafa;*/
	/*background:#fdfdfd;*/
	/*background:#fbfbfc;*/
	background:white;
	color:#121212;
	font:0.8em Arial, Helvetica, "bitstream vera sans", sans-serif;
	text-align:center;
}

div#content ul.people-list {
  /* Stipulate the height of each item so that
  vertical return = items * height */

  line-height: 1.5em;

  /* Clear the default margins & padding
  so we can style the list from scratch */

  /*margin: 1.0em 0 1.5em 0;*/
  margin: 1.0em 0 0 0;
  padding: 0;
}
* html div#content ul.people-list li
{
	position: relative;
}
div#content ul.people-list li#hume {
        /*margin-top: -30.0em;*/
        /*margin-top: -33.0em;*/
	/*margin-top: -46.50em;*/
	margin-top: -52.2em;
}
div#content ul.people-list li#qi {
	/*margin-top: -19.5em;*/
	/*margin-top: -28.5em;*/
	/*margin-top: -33.0em;*/
	margin-top: -52.2em;
}
div#content ul.people-list li#anand, li#andreadis, li#antonio, li#adrovic, li#apostolellis, li#atiq, li#berend, li#berger_wolf, 
li#bilman, li#bourque, li#carreras, li#ceppi, li#cheng, li#chenu, li#gchristo, li#cilli-turner, li#cole, 
li#demirkaya, li#dhall, li#dustdar, li#ebert, li#emiris, li#fagg, li#fang, li#fisikopoulos, li#flaounas, li#fragkoudakis, li#freitag, 
li#gal, li#tyiannak, li#golumbic, li#grant, li#golnaz, li#gruenwald, li#hendawi, li#hoffman, li#hougen
{
        margin-left: 1.25em;
}
div#content ul.people-list li#hume, li#kakleas, li#jabrzemski, li#khanmohammadi, li#kim, li#kjerland, 
li#kobotis, li#konaxis, li#kong, li#kotsireas, li#greg, li#kramar, li#krieger, li#lakshmivarahan, li#lan, li#liazi, 
li#lombardi, li#london, li#mahloujifar, li#mahmoody, li#maiti, li#mantzaflaris, li#mash, li#mcbride, li#mcgovern, li#miorandi, 
li#mooers, li#mourrain, li#palermos, li#pan, li#park, li#pannese, li#papakonstantinopoulou, li#pluhar, li#pollatos, li#pompa
{
        margin-left: 22.5em;
}
div#content ul.people-list li#qi, li#radhakrishnan, li#rahimi, li#ramamoorthy, li#razzaghi, 
li#reschke, li#reyzin, li#rovatsos, li#segal, li#scekic, 
li#schiavinotto, li#sloan, li#spyropoulou, li#takis, li#stasi, li#stoumpos, li#sulo, 
li#szorenyi, li#telelis, li#thulasiraman, li#trafalis, li#truong, li#trytten, li#et, li#tsourakakis, li#turan, 
li#tzoumas, li#varkey, li#veras, li#weaver, li#wen, li#zhao, li#zikos, li#filler, li#filler2
{
        margin-left: 41.25em;
}
/*
 * The following makes sense, since we need a filler when the last of the three columns
 * is lacking precisely two names so that it is even with the other two columns
 */
div#content ul.people-list li#filler, li#filler2
{
	visibility: hidden;
}

div#content ul.people-list li a {
        color:#404040;
        text-decoration:underline;
}
div#content ul.people-list li a:hover {
        /*color:maroon;*/
	color:#3e9a39;
        text-decoration:underline;
}

div#content ul.two_column {
  /* Stipulate the height of each item so that
  vertical return = items * height */

  line-height: 1.5em;

  /* Clear the default margins & padding
  so we can style the list from scratch */

  margin: 1.0em 0 0.0em 0;
  padding: 0;
}
div#content ul.two_column_uneven {
  /* Stipulate the height of each item so that
  vertical return = items * height */

  line-height: 1.5em;

  /* Clear the default margins & padding
  so we can style the list from scratch */

  margin: 1.0em 0 1.3em 0;
  padding: 0;
}

* html div#content ul.two_column li
{
	position: relative;
}
* html div#content ul.two_column_uneven li
{
	position: relative;
}

div#content ul.two_column li.col1of2 {
	margin-left:1.25em;
}
div#content ul.two_column li.col2of2 {
	margin-left:31.25em;
}
div#content ul.two_column_uneven li.col1of2 {
	margin-left:1.25em;
}
div#content ul.two_column_uneven li.col2of2 {
	margin-left:31.25em;
}

div#content ul.two_column li a {
        color:#404040;
        text-decoration:underline;
}
div#content ul.two_column li a:hover {
	/*color:maroon;*/
	color:#3e9a39;
        text-decoration:underline;
}
div#content ul.two_column_uneven li a {
        color:#404040;
        text-decoration:underline;
}
div#content ul.two_column_uneven li a:hover {
	/*color:maroon;*/
	color:#3e9a39;
        text-decoration:underline;
}


div#content ul.two_column_uneven li#tips_latex_key_places_top_col2of2 {
	margin-top: -4.5em;
}

div#content ul.two_column li#tips_latex_graphics_top_col2of2 {
	margin-top: -6.0em;
}






div#content ul.three_column {
  /* Stipulate the height of each item so that
  vertical return = items * height */

  line-height: 1.5em;

  /* Clear the default margins & padding
  so we can style the list from scratch */

  margin: 1.0em 0 0.0em 0;
  padding: 0;
}
div#content ul.three_column_uneven {
  /* Stipulate the height of each item so that
  vertical return = items * height */

  line-height: 1.5em;

  /* Clear the default margins & padding
  so we can style the list from scratch */

  margin: 1.0em 0 1.3em 0;
  padding: 0;
}


* html div#content ul.three_column li
{
	position: relative;
}
* html div#content ul.three_column_uneven li
{
	position: relative;
}

div#content ul.three_column li.col1of3 {
	margin-left:1.25em;
}
div#content ul.three_column li.col2of3 {
	margin-left:21.25em;
}
div#content ul.three_column li.col3of3 {
	margin-left:41.25em;
}
div#content ul.three_column_uneven li.col1of3 {
	margin-left:1.25em;
}
div#content ul.three_column_uneven li.col2of3 {
	margin-left:21.25em;
}
div#content ul.three_column_uneven li.col3of3 {
	margin-left:41.25em;
}

div#content ul.three_column li a {
        color:#404040;
        text-decoration:underline;
}
div#content ul.three_column li a:hover {
	/*color:maroon;*/
	color:#3e9a39;
        text-decoration:underline;
}
div#content ul.three_column_uneven li a {
        color:#404040;
        text-decoration:underline;
}
div#content ul.three_column_uneven li a:hover {
        /*color:maroon;*/
	color:#3e9a39;
        text-decoration:underline;
}


div#content ul.three_column li#places-toc-epirus {
	margin-top: -6.0em;
}

div#content ul.three_column li#places-toc-peloponnisos {
	margin-top: -6.0em;
}








div#content table.neat_table {
	width:795px;
	margin:5px 0px 0px 0px;
}

div#content table.neat_table td {width: 159px;}



























/* header */
div#header {
	/*//height:200px;
	//height:58px;*/
	height:205px;
	width:798px; /* correct is 798px */
	margin: 0 auto;
	text-align: left;
	/*
	margin-left:-399px;
	margin-right:auto;
	position: fixed;
	left: 50%;
	*/
}
/* 
  headers h1 and h2 under "header"
  have height: 58px.
  The size of the image is: 150px
  Therefore: h1/padding-top: (150-58)/2px
  i.e.: 46px
*/
div#header h1 {
	/*position:fixed;*/
	/*color:#135c1b;*/
	/*color:#5d0203;*/
	color:#8a0706;
	font-size:300%;
	letter-spacing:-3px;
	text-align:left;
	padding-top:46px;
	margin-bottom:-15px;
}
div#header h1 a {
	/*color:#135c1b;*/
	/*color:#5d0203;*/
	color:#8a0706;
	background:transparent;
	text-decoration:none;
}
div#header h1 a:hover {
	/*color:#135c1b;*/
	/*color:#5d0203;*/
	color:#8a0706;
	background:transparent;
	text-decoration:none;
}
div#header h2 {
	/*position:fixed;*/
	/*color:#67d93a; color that jumps out for debugging */
	/*color:#648dc7; another purple/blue kind of color */
	/*color:#b4aa82; some form of cream for OU */
	color:#590204; /* darker red for OU */
	font-size:200%;
	letter-spacing:-3px;
	/*//text-align:center;*/
	text-align:left;
	/*//text-align:right;*/
}
div#header h2 a {
	/*color:#3a9b32; some form of green; unknown why I have it */
	/*color:#506496; the purple that I used to use in the past at UVA together with green */
	/*color:#b4aa82; some form of cream for OU */
	color:#590204; /* darker red for OU */
	background:transparent;
	text-decoration:none;
}
div#header h2 a:hover {
	/*color:#506496; the purple that I used	to use in the past at UVA together with green */
	/*color:#b4aa82; some form of cream for OU */
	color:#590204; /* darker red for OU */
	background:transparent;
	text-decoration:none;
}

#my_image_on_header {
	height:200px;
	float:right;
}



/* redirection */
div#redirection {
	margin: 10px 0 0 0;
	line-height:140%;
	font-size:1.1em;
	font-family:"Lucida Console", monospace;
	color:maroon;
}



/* navigation */
div#navigation {
	/*background:#fbfbfb;*/
	background:white;
	border-right:1px solid #135c1b;
	border-bottom:1px solid #135c1b;
	/*border-color:#005796;*/
	border-color:#135c1b;
	margin:0 auto;
	width:799px; /* correct is 7x114px = 798px */
	height:35px;
	list-style:none;
	/* Works, but needs tweeking ...
	position:fixed;
	left: 50%;
	top: 160px;
	margin-left: -399px; */
}
div#navigation ul {
	/*background:#fbfbfb;*/
	background:white;
	list-style:none; 
}
div#navigation li {
	border-left:1px solid #135c1b;
	float:left;
	width:113px;
	/*list-style:list-item;*/
	/*//font-variant:small-caps;*/
}
div#navigation li a {
	color:black;
	display:block;
	line-height:35px;
	text-align:center;
}
div#navigation li ul {
	border-bottom:1px solid #135c1b;
}
div#navigation li ul.nav_normal_entry {
	margin:0; 
	padding:0 0 0 0; 
	text-decoration:none;
	width:114px;
	display:none;
}
div#navigation li ul.nav_wide_entry {
	margin:0; 
	padding:0 0 0 0; 
	text-decoration:none;
	width:171px;
	display:none;
}
div#navigation li li {
	border-left:1px solid #135c1b;
	border-right:1px solid #135c1b;
	border-top:1px solid #135c1b; /* replacing #005796 */
	margin-left:-1px;
	left:100%;
	width:113px;
	height:35px;
	text-decoration:none;
}
div#navigation li li.nav_wide_entry {
	border-left:1px solid #135c1b;
	border-right:1px solid #135c1b;
	border-bottom:1px solid #135c1b;
	left:100%;
	width:170px;
	text-decoration:none;
}
div#navigation li li.nav_wide_entry_div_top {
	border-top:2px solid #135c1b;
	border-left:1px solid #135c1b;
	border-right:1px solid #135c1b;
	border-bottom:1px solid #135c1b;
	/*//float:left;*/
	left:100%;
	width:170px;
	/*//list-style:none;*/
	text-decoration:none;
}
div#navigation li li.nav_div_top {
	border-top:2px solid #135c1b;
}
div#navigation li a:hover {
	/*//background:#f4e8f0;
	//background:#fafafa;*/
	/*background:#fdfdfd;*/
	/*background:#ebf5fc;*/
	/*background:#faf0ca;*/
	/*background:#fdfae6;*/
	background:#f7efc8; /* OU cream color */
	/*color:#329b32;   slightly darker compared to 3a9b32 */
	/*color:#580102;*/ /* slightly darker compared to the one I use for my name */
	color:#6a0706; /* slightly darker compared to the one I use for my name */
	text-decoration:underline;
	/*//list-style: list-item;*/
	list-style: none;
}

div#navigation li:hover ul {
	display:block;
	/*//background:#fafafa;
	//background:#f4e8f0;*/
	/*background:#fbfbfb;*/
	background:white;
	color:#6a0706;
	text-decoration:none;
	position:absolute;
	/*list-style:list-item;*/
}

div#navigation .active {
	/*background:#e3e3e3;*/
	background:#faf0ca;
	color:#777;
}




/* content */
div#content {
	/*//clear:left;*/
	/*color:#252525;*/
	color:black;
	height:auto;
	margin:0 auto;
	padding:0px 0px 10px 0px;
	width:798px;
	font-size:110%;
	text-align:left;	/* NICE TRICK. Check 'align' on body. */
	/*text-align:center;*/
	/*position: relative;*/
	/*top: 195px;*/
}
div#content h1 {
	/*//border-bottom:1px dashed #999;*/
	border-bottom:1px solid #999;
	/*border-bottom:1px solid #3a9b32;*/
	/*color:#135c1b;*/ 
	font-family:"Lucida Console", monospace;
	font-size:1.8em;
	padding: 10px 0 0 0;
	height:25px;
}
h2.topHeader {margin-top: -10px;}
div#content h2 {padding: 20px 10px 0px 10px; /*text-decoration:underline;*/}
div#content h3 {padding: 20px 10px 0px 10px; /*text-decoration:underline;*/}
div#content h4 {padding: 20px 10px 0px 10px; /*text-decoration:underline;*/}
div#content h5 {padding: 10px 10px 0px 10px; /*text-decoration:underline;*/}
div#content h5.noleftindenth5 {padding: 10px 10px 0px 0px;}
div#content h6 {padding: 10px 10px 0px 10px; /*text-decoration:underline;*/}
div#content p  {padding: 10px 10px 0px 10px;}
div#content p.noindent {padding: 10px 10px 0px 0px;}
div#content a {
	/*color:#135c1b;*/
	color:#000000;
	text-decoration:underline;
}
div#content a:hover {
	/*//background:#f4e8f0;*/
	/*background:#fdfdfd;*/
	background:transparent;
	/*color:maroon;*/
	/*color:#580102;*/
	color:#6a0706;
	text-decoration:underline;
}

div#content {clear:both;}

/* footer */
div#footer {
	background:#fbfbfc;
	border-top:1px solid #999; 
	/*height:40px;*/
	margin:0 auto;
	padding:10px 0 0 0;
	text-align:center;
	/*//width:751px;*/
	width:798px;
	font-size:90%;
	/*position: relative;*/
}

div#footer a {
	text-decoration:underline;
}

div#footer a:hover {
	/*//background:#f4e8f0;*/
	background:#fbfbfc;
	color:maroon;
	text-decoration:underline;
}

#modification_time_on_footer {
	color:black;
	text-align:left;
	padding-top:9px;
	float:left;
	font-size:120%;
}
#images_on_footer {float:right;}

/* Added by Larry Ullman: */
.error {
	font-weight: bold;
	color: #C00
}

/* Extra details. */
div#centered_list {font-size:110%; padding:10px 0 0 320px; line-height:1.5em; }
div#centered_list2 {font-size:110%; padding:10px 0 0 210px; line-height:1.5em; }
div.inner_padding {padding:0 10px 0 10px;}
/* 
  Under /theses Stamatopoulos hangs on a new line. 
  Who will notice that I am cheating here? :-)
*/
div.inner_padding_cheat {padding:0 10px 0 10px;}

div#content dl {
	/*float: left;*/
	/*width: 750px;*/
	margin: 10px 0px -10px 10px;
	/*border-bottom: 1px solid #999;*/
}
div#content dt {
	/*clear: left;
	float: left;
	width: 200px;
	margin: 0;
	border-top: 1px solid #999;*/
	padding: 10px 0px 0px 5px;
	font-weight: bold;
}

div#content dd {
	/*float: left;
	width: 300px;*/
	margin: 0;
	padding: 5px 0px 0px 30px;
	/*border-top: 1px solid #999;*/
}

.publications li {
	list-style-position:inside;
	padding-top:10px;
}
.neatlist li {
	list-style-position:inside;
	padding-top:10px;
}
.neatlist_inner li {
	list-style-position:inside;
	padding-top:10px;
	padding-left:15px;
}
.slides li {
	list-style-position:inside;
	padding-top:10px;
}
.publications emph {font-style:italic;}
.valigned_list li {
	list-style-position:inside;
	padding-top:10px;
}
.paper_title {
	font-weight:bolder;
}
.journal_title {
	font-style:italic;
}
.conference_title {
	font-style:italic;
}
.supervisor {
	font-style: italic;
}
.terminal_font {
	font-family: "Lucida Console", monospace;
	font-size: 9pt;
}
.emacs_command {
	font-family: "Lucida Console", monospace;
	font-size: 10pt;
	font-weight: bold;
}
.emph {
	font-style: italic;
}
.flushright {
	text-align: right;
}