body {
  background-color:#fff;
  color:#000;
  font-family:verdana, arial;
}

.middle{
  width:70%;
  margin:auto;
}

h1 {
  text-align:center;
}

h3 {
  margin-top:1.5em;
}

p.author {
  margin-top:1.5em;
}

.statement {
  background-color:#eef;
  font-family:monospace;
  font-size:1em;
  padding:0.5em;
}

.axioms, .repro {
  font-size: 0.9em;
  margin-top: 0.3em;
  margin-bottom: 0.3em;
}

a:link,a:visited{text-decoration:none;}
a:hover,a:active{text-decoration:underline;}
a   {color:#25c;}

pre {
    white-space: pre-wrap;       /* CSS 3 */
    white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
    white-space: -pre-wrap;      /* Opera 4-6 */
    white-space: -o-pre-wrap;    /* Opera 7 */
    word-wrap: break-word;       /* Internet Explorer 5.5+ */
}

@media print { h2 { color:#000088; }  .middle{ border-top:none; } }

@media (min-width:1070px)                      { .middle { padding-left:10px; padding-right:10px; } }
@media (min-width:545px) and (max-width:768px) { .middle { padding-left:11px; padding-right:11px; } }
@media (min-width:545px) and (max-width:990px) { .middle { padding-left:12px; padding-right:12px; } }
@media screen and (max-width:544px)            { .middle { padding-left:13px; padding-right:13px; } }
@media screen and (min-width:545px)            { .middle { padding-left:14px; padding-right:14px; } }
@media screen and (max-width:768px)            { .middle { padding-left:15px; padding-right:15px; } }
@media screen and (min-width:769px)            { .middle { padding-left:16px; padding-right:16px; } }
@media screen and (min-width:991px)            { .middle { padding-left:17px; padding-right:17px; } }
@media screen and (min-width:1201px)           { .middle { padding-left:18px; padding-right:18px; } }

@media screen and (-ms-high-contrast:active), (-ms-high-contrast:none)
{ a:link, a:visited, a:hover, a:active { color: blue; text-decoration: underline; } }