body {
	font: Helvetica, Arial, sans-serif;
 background: rgb(255, 255, 255);  color: rgb(0, 0, 0);  font-style: normal;  font-weight: 500;  font-stretch: normal;  font-family: misc-fixed;  font-size: 10pt;  text-decoration: none; }
	
a {
	text-decoration:none;
	font-weight:bold;
	color:darkblue;
}
a:hover { color: lightblue;
          background: darkblue; }

h1 { font-family: helvetica, lucida; }
pre {
	color: navy;
        font-weight: bold;
	}
	
.greek {
	color:#999;
	}
	
ol {
	margin-right:40px;
}

li {
	margin-bottom:10px;
}

.abstract {
/*  text-align: justify;  */
  padding: .1em;
  margin: .5em;
  line-height: 1.5em;
}

.code {
  font-family: monospace;
  font-weight: bold;
  padding: .5em;
  margin: 2em;
  background-color: #efeff5;
  vertical-align: middle;
  border: 1px solid black;
  white-space: pre;
}