body {
  margin-left: 5px;
  margin-right: 5px;     
  color: black;
  background-color: white;
  max-width: 80em; 
  font-family: 'Open Sans', sans-serif; 
}

body> .header {
        background-color: #C0C0C0;
	margin: 0px;
	padding: 12px 20px 12px 40px;
/* 	font-family: helvetica, arial, sans-serif; */
        font-size: 150%;
        /* max-width: 80ex;        */
        font-weight: bold;
	}

body> .footer {
        background-color: #C0C0C0;
	margin: 0px;
	padding: 12px 20px 12px 20px;
/* 	font-family: helvetica, arial, sans-serif; */
        font-size: small;
	}

#content {
border-right: 30px solid #C0C0C0;   
border-left: 30px solid #C0C0C0;
border-bottom: 30px solid #C0C0C0;
padding: 1px;   
}


:link { text-decoration: none }
:visited { text-decoration: none }

a:hover {
   border-color: black;
   background: #EFEFEF;
}

a 
{
text-decoration: none;
color: #0000AA }

.validate
{ 
font-size: x-small; /* 0.7em; */ 
text-align: right; 
margin: 1em 1em; 
}

li.papers a:link 
{color: #448; 
text-decoration: none;
}

li.papers a:visited 
{
color: #448; 
text-decoration: none;
}

li.papers a:hover {color: red}

ul#papers
 {
margin-top: 1em; 
margin-bottom: 1em;
margin-left: 1em; 
margin-right: 1em;
padding: 0px 0px 0px 0px;
/* font-size: 14px; */
font-family: 'Open Sans', sans-serif; 
/* color: black; */
 }
 

li.papers
{
list-style: none;
margin: 0; 
padding-left: 1em;
padding-top: 0.5em; 
padding-bottom: 0.5em;
border-bottom: 1px solid #C0C0C0;
text-align: left;
}

.journal
{ 
font-style: italic;
 }

a#journal-link
{ 
font-weight: bold;
 }

p
{ 
margin-top: 0; margin-bottom: 0; margin-left: 2em; font-size: smaller;
color: black;
font-family: 'Open Sans', sans-serif; 
}

q:lang(en)
{
quotes: '"' '"' "'" "'"
}

/* RSS button. */
.rssbutton {
background: #ff6600;
	color: white !important;
	border-left: 1px solid #cc9966;
	border-top: 1px solid #ccaa99;
	border-right: 1px solid #993300;
	border-bottom: 1px solid #331100;
	padding: 0px 0.5em 0px 0.5em;
	font-family: helvetica, arial, sans-serif;
	font-weight: bold;
	font-size: small;
	text-decoration: none;
	margin-top: 1em;
        margin-left: 1em;     
}
.rssbutton:hover {
	color: white !important;
	background: #ff9900;
}