/* Time-stamp: "2016-07-07 18:52:42 MDT" */

pre {
	margin-left: 1em;
	padding: .6em 0;
}

@media print {
  body { font-size: 11pt;  }
  h1,h2,h3,h4,h5,h6 { page-break-after: avoid; }
  ol, ul, blockquote, p { line-height: 120%; }
}

ol, ul, blockquote, p { max-width: 35em; text-align: justify; }

ol, ul, blockquote    { max-width: 33em; }

/* TODO: unsmartify the quotes? */
/* TODO: an h3 top-border? */

.hat {
  border: 2px green solid;
  margin: .7em;
  padding: .4em;
}

h1,h2,h3 {  text-align: left; }
h6 { text-align: right; }

@media screen {
 body {
   /*
    color:            #000;
     background-color: #f4f4f4;
   */
 }
 pre {
   overflow: auto; /* Let the magic COMMENCE! */
   background-color: #e4f0e4;
   border-top:  1px #d0d0d0 solid;
   border-left: 1px #d0d0d0 solid;
 }

 /* Now dumb stuff for the links page */
 .articleslist li { margin-bottom: .5em; }
 .articleslist { font-size: larger; }
}

/* End */