body {
  font-family:"Computer Modern Sans",sans-serif;
  margin: 1em auto 1em auto;
  padding: 3em 0 1em 0;
  max-width: 40em;
}

pre, code {
	font-family: 'Computer Modern Typewriter';
}

.site-banner {
  background: #eee;
  margin: 0;
  padding: 10px;
  font-size: 1.2em;
  box-shadow: 0 0 5px #888;
  position: fixed;
  width: 100%;
  left: 0;
  top: 0;
}

div.content {
	padding: 1em 0em;
	line-height: 140%;
  	font-size: 13pt;
	text-align:justify;
}

.post-date {
  font-family: "Computer Modern Typewriter", monospace;
  margin: 1em auto;
  color: #666;
}

.post-title.small {
  font-size: 16pt;
  margin: 1em auto .2em auto;
  font-weight: bold;
  max-width: 500pt;
}

.article-separator {
  color: #666;
  margin: 1em;
}

h1 {
  text-align:center;
}

h1 { font-size: 1.4em; }
h2 { font-size: 1.2em; }
h3 { font-size: 1.1em; }

blockquote {
  font-size: 12pt;
  font-style:italic;
}

h1,h2,h3 {
  font-weight: bold;
}

a {
  color: #00a;
  text-decoration: none;
}

a:hover {
 color: #00f;
}

ol#footnote-list {
	margin-top: 2em;
	border-top: solid 1px gray;
	padding-top: 1em;
}



code {
  font-size: 0.9em;
}

ul.posts-list {
  list-style-type: none; 
}
span.list-date {
  font-family: "Computer Modern Typewriter", monospace;
  width: 12em;
}

/* ------------------------------------------------- */

@media screen and (max-width : 800px) {
	.site-banner {
		font-size: 12pt;
		position: absolute;
	}
	div.content {
		text-align: left;
		padding-left: 8px;
		padding-right: 8px;
	}
	pre.verbatim {
		overflow: scroll;
		font-size: 0.8em;
	  	line-height: 1.2em;
	}
}

img.list-image {
  float: left;
  margin-right: 1em;
  margin-bottom: 0.5em;
}

hr {
  margin-top: 1em;
  margin-bottom: 1em;
  clear: both;
}

ul.nav {
  display: inline;
  list-style: none;
  
}

ul.nav li {
  float: right;
  display: block;
  margin-right: 2em;
}

img.fill {
  display: block;
  width: 100%;
}

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

.openleft {
  float:left;
  margin-right: 1em;
  margin-bottom: 0.5em;
}

.openright {
  float:right;
  margin-left: 1em;
  margin-bottom: 0.5em;
}

img.appicon {
  width: 57px;
  height: 57px;
}