/* default */

body { margin: 10px 50px 10px 10px; background: white; 
	color: black; font-family: Verdana, Arial, Helvetica, sans-serif; }

a:link { color: #000099; text-decoration: none; }
a:visited { color: #990099; text-decoration: none; }

h1 { font-family: Helvetica, Arial, sans-serif; font-size: 180%; }
h2 { font-family: Helvetica, Arial, sans-serif; font-size: 150%; }
h3 { font-family: Helvetica, Arial, sans-serif; font-size: 120%; }

/* In browsers like Opera and Mozilla/Firefox, the browser builds the
line using the border. If you change the border, but leave the height
and width the defaults, the line will look the same in IE, Firefox and
Opera. */
hr {width: 100%; height: 1px; color: #ddd; border: 1px solid #ddd}

img { border: 0; }

p { text-indent: 0px; text-align: justify;
font-family: Helvetica, Arial, sans-serif; 
margin: 10px }

span.mailaddress { font-family: Courier; color: blue ; font-size: 80%; }
span.journal { font-style: italic }
span.proceedings { font-style: italic }
span.series { font-style: italic }
span.title { font-style: normal; text-decoration: underline }

.preprint {font-weight: normal; } 

div.coqi { float: left; width: 150px; height: 200px; margin: 5px 10px }

/* main  */

div#image { float: left; width: 300px; margin: 5px 10px }

div#imagetitle { position: relative; top: -25px; left: +5px }

span.imagetitle { color: White; font-family: sans-serif; text-shadow: 2px 2px 4px #000000}

span.address { font-size: 80% }

span.acronym { font-size: 70% }

.mylink { cursor: pointer }
.mylink:hover { background-color: #eee; } 
/*.morelink {font-style: normal; font-weight: normal}
.morelink:hover { background-color: #eee; color: #000; cursor: pointer} */

ul.horizontal_list { margin: 0; padding: 10px; list-style-type: none; display: inline }
ul.horizontal_list li { display: table-cell; position: relative; padding: 4px 10px}
/*ul.horizontal_list li:hover { background-color: #eee }*/

/* seplog */

a.conference_website { text-decoration: none }

/* PRO programs */

div.note {margin-top: 0.5em; margin-right: 0em; margin-bottom: 0.5em; margin-left: 1em; font-size: 80% }