body {
  font-family: Helvetica Neue,Helvetica,Arial,Utkal,sans-serif;
  color: #000000;
  max-width: 978px;
  margin-left: auto;
  margin-right: auto;
  padding: 0;  
  -webkit-font-smoothing: antialiased;
	-moz-osx-font-smoothing: grayscale;
}

p {
  font-size: 16px;
  line-height: 27px;
  font-weight: 300;
}

p.centered {
  font-size: 16px;
  line-height: 27px;
  font-weight: 300;
  text-align: center;
}

p.title {
  font-size: 35px;
  font-weight: 400; 
  margin-top: 100px;
  margin-bottom: 20px;  
  text-align: center;
}

span.poem {
  font-size: 16px;
  line-height: 27px;
  font-weight: 300;
  font-style: italic;
}

p.tiny {
  font-size: 12px;
  line-height: 18px;
  font-weight: 300;
}

h1 {  
  font-size: 39px;  
  margin-top: 50px;
  margin-bottom: -5px;  
  font-weight: 400; 
}

h2 {
  font-size: 23px;
  margin-top: 20px;
  margin-bottom: 10px;
  font-weight: 400;
}

h3 {
  font-size: 18px;
  font-weight: 400;
  text-decoration: underline;
}

a,a:visited {
  color: #4285f4;
  text-decoration: none;
  white-space: nowrap;
}

a:hover {
  color: #cc0000;
  text-decoration: none;
}

pre {
  font-family: "Courier New", Courier, monospace;
  font-size: 16px;
  line-height: 22px;
}

span.code {
  font-family: "Courier New", Courier, monospace;
  font-size: 16px;
}

span.bold {
  font-weight: bold;
}

span.backwards {
  unicode-bidi:bidi-override;
  direction: rtl;
} 

span.nowrap {
  white-space: nowrap;
}

hr {
  margin-top: 50px;
  margin-bottom: -30px;  
}

img.centered {
  display: block;
  margin-left: auto;
  margin-right: auto;
}

img.border1 {
  border:1px solid #021a40;
}

ol,ul {
  font-size: 16px;
  line-height: 27px;
  font-weight: 300;
}

table {   
  background-color: transparent;
  border-collapse: collapse;        
}

table th, table td {
  text-align: center;
  border: 1px solid black;
  padding: 5px;  
}

table th {
  background-color: AntiqueWhite;
}

div.source {        
  display: inline-block;
  margin-left: auto;
  margin-right: auto;
  padding: 0; 
  overflow: auto;
  border: solid gray;
  border-width: .1em .1em .1em .8em;
  padding: .2em .6em;
}

span.label {
  color: #8000FF;
  font-weight: bold;
}

span.comment {
  color: #008800; 
  font-style: italic;
  font-weight: bold;
}

.ST1 {
  color: #009900; 
  font-style: italic;
}

.ST0 {
  font-weight: bold;
}

.literal {
  color: #0000e6;
}