/* Figures */
div.figure { text-align: center; 
             margin: 5mm; 
             padding: 5mm;
             background: rgb(204, 204, 255);}
div.figure p strong { font-weight: bold;
                      text-decoration: underline; }
.textbelow { text-align: center; }

@media screen and (min-width: 1350px)
{
    #figures {
        position: absolute;
        left: 70ex;
        top: 5mm;
    }
    .textbelow {
        display: none;
    }
}

/* Text */
p { max-width: 65ex; }
.figure p { max-width: none; }
.figure p { min-width: 614px; }

code { color: green;
       text-decoration: underline }
kbd { color: green;
      background: rgb(255, 192, 203);
      font-weight: bold; }

address { text-align: center; }

pre.code {
   color: green;
   background: rgb(255, 192, 203);
   font-family: monospace;
   width: 90ex;
   margin-top: 5mm;
   margin-bottom: 5mm;
   padding: 1em;
 }