/* responsive design */
img{
 max-width:100%;
}


@media screen and (max-width:1050px) {
  div.left, div.right, .leftSidexl, .leftsidexl, .leftSidex, .leftxl, .rights, .rightsmall{
    max-width:100%;
    float: none;
    clear: both;
  }
  p, pre, pre.code, textarea, blockquote, li{
   font-size:1.6vw !important;
  }
  pre.program{
   font-size:1.6vw !important;
  }
  pre.dos, pre.dos3, pre.dos4, pre.dos5, pre.dos6, pre.dos7, pre.dos8, pre.dos9{
   font-size:1.6vw !important;
  }
  p.revisions{
   font-size:1.0vw !important;
  }
}

@media screen and (min-width:1051px) {
   .left{
    max-width:48%;
    float:left;
   }
   .right{
    max-width:48%;
    float:right;
   }
   .middle{
    max-width:60%;
    text-align:center;
    margin: 0 auto 0 auto;
   }
   /*stand alone side*/
   .leftSide, .leftside{
    max-width:65%;
    float:left;
   }
   /*pre.programm + small text column .rights*/
   .leftSidexl, .leftsidexl, .leftxl, .leftx {
    max-width:70%;
    float:left;
   }
   .rights, .rightsm, .rightsmall{
    max-width:28%;
    float:right;
   }
   .leftxxl, .leftxx {
    max-width:80%;
    float:left;
   }
   p, pre, pre.code, textarea, td, th, blockquote, li{
   font-size:1em !important;
  }
  p.revisions{
   font-size:0.7em !important;
  }
   pre.program{
   font-size:1em !important;
  }
  pre.dos, pre.dos3, pre.dos4, pre.dos5, pre.dos6, pre.dos7, pre.dos8, pre.dos9{
   font-size:1em !important;
  }
}

@media screen and (max-width:850px) {
  h1{
   font-size:3vw !important;
  }
  p, pre, pre.code, textarea, td, th, blockquote, li{
   font-size:2.0vw !important;
  }
  pre.program{
   font-size:1.8vw !important;
  }
  pre.dos, pre.dos3, pre.dos4, pre.dos5, pre.dos6, pre.dos7, pre.dos8, pre.dos9{
   font-size:1.8vw !important;
  }
  p.revisions{
   font-size:1.2vw !important;
  }
}


@media screen and (max-width:650px) {
  h1, h2, h3{
   font-size:3.0vw !important;
  }
  p, pre, pre.code, textarea, td, th, blockquote, li{
   font-size:2.4vw !important;
  }
  pre.program{
   font-size:2.2vw !important;
  }
  pre.dos, pre.dos3, pre.dos4, pre.dos5, pre.dos6, pre.dos7, pre.dos8, pre.dos9{
   font-size:2.2vw !important;
  }
  p.revisions{
   font-size:2.0vw !important;
  }
}

@media screen and (max-width:550px) {
  h1, h2, h3{
   font-size:3.5vw !important;
  }
  p, pre, pre.code, textarea, td, th, blockquote, li{
   font-size:2.6vw !important;
  }
  pre.program{
   font-size:2.6vw !important;
  }
  pre.dos, pre.dos3, pre.dos4, pre.dos5, pre.dos6, pre.dos7, pre.dos8, pre.dos9{
   font-size:2.6vw !important;
  }
  p.revisions{
   font-size:2.0vw !important;
  }
}

@media screen and (max-width:450px) {
  h1, h2, h3{
   font-size:4vw !important;
  }
  p, pre, pre.code, textarea, td, th, blockquote, li{
   font-size:3.0vw !important;
  }
  pre.program{
   font-size:3.0vw !important;
  }
  pre.dos, pre.dos3, pre.dos4, pre.dos5, pre.dos6, pre.dos7, pre.dos8, pre.dos9{
   font-size:3.0vw !important;
  }
  p.revisions{
   font-size:2.3vw !important;
  }
}

ol, ul, li, pre{
 margin-left:1.1vw !important;
}

blockquote{
 margin-left:0.1vw;
}



body{
background-color:#fcf7ff;
font-family:arial,helvetica,sans-serif;
max-width:1200px;  /* might not be a good idea.  Seems to help on really wide monitors, though */
font-size:100%;
padding: 15px 15px 15px 15px;
margin: 0 auto 0 auto;
border: 2px solid  #a030a0;
}

p{
margin-left: 0.5em;
margin-right: 0.5em;
}


.revisions
{
font-size:70%;
}

.blue
{
color:blue;
}

.red
{
color:red;
}

.green
{
color:green;
}

.answer h3
{
color:blue;
}

pre
{
margin-left:1cm;
font-family:ourier-new,monospace;
font-size:1em;
}

pre.code
{
margin-left:1cm;
font-family:courier-new,monospace;
font-size:1em;
}

pre.program
{
width:auto;
margin-left:1cm;
margin-right:1cm;
padding:0.5cm;
border-style:double;
border-color:darkblue;
background-color:white;
font-family:courier-new,monospace;
font-size:90%;
}

code
{
font-family:lucida-console,courier-new,monospace;
font-size:125%;
color: darkblue;
}

table
{
background-color: white;
border: 2px;
border-color: green;
border-style: solid;
border-collapse: collapse;
margin: 1.0em 1.0em 1.0em 1.0em;
font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux */
}

tr.headings
{
background-color:#eaeaf5;
}

th.headings
{
background-color:#eaeaf5;
}

th, td
{
border: 1px;
border-style: dotted;
border-color: green;
padding: 0.5em 0.5em 0.5em 0.5em;
}

table pre
{
margin-left:0.4cm;
margin-right:0.4cm;
}

a:link     { color:blue }
a:visited  { color:brown }
a:active   { color:red }
a:hover    { color:red }

img.rightimage,img.right
{
 float:right;
 margin:0em 4em 2em 2em;
}

img.leftimage,img.left
{
 float:left;
 margin:0px 5px 0px 0px;
}


span.eyecatch{
 background-color:yellow;
}

input.eyecatch{
 background-color:yellow;
 cursor:pointer;
}

span.eyecatchCode{
 font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux */
 background-color:yellow;
 font-size:1.3em;
 padding:2px;
}

span.eyecatchCodeBig{
 font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux */
 background-color:yellow;
 font-size:2em;
 font-weight:bold;
 padding:3px;
}


span.eyecatchErr{
 background-color:#FFB2E6; /*pink*/
 /*font-style:italic;*/
}

a.txt{
 text-decoration:none;color:inherit;
}

h1, h2, hr
{
 color:#A02000;
}

h1{
 text-align:center;
}

/* Use for code in paragraphs, also for file names */
code
{
font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux */
font-size:1.2em;
color: #005000;
white-space:nowrap;   /* to deal with deprecated nobr */
}

/* auskommentiert
pre.dos, pre.dos3, pre.dos4, pre.dos5, pre.dos6, pre.dos7, pre.dos8, pre.dos9{
 padding:5px;
 margin-left:3em;
 font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux
 color:white;
 background-color:black;
 border:ridge 6px #8F8F8F;
 max-width:80%;
}
*/

/* auskommentiert
pre.dos3, pre.dos { max-width:300px; }
pre.dos4 { max-width:400px; }
pre.dos5 { max-width:500px; }
pre.dos6 { max-width:600px; }
pre.dos7 { max-width:700px; }
pre.dos8 { max-width:800px; }
pre.dos9 { max-width:900px; }
*/

textarea.dos
{
 font-family:"Lucida Console","Courier New",courier,FreeMono,monospace;   /* FreeMono for Linux */
 color:white;
 background-color:black;
 border:ridge 6px #8F8F8F;
 font-size:1em;
}