/* style.css - a simple style sheet */

/*
h1 { margin-left: -8%;}
h1,h2,h3,h4,h5,h6 { margin-left: -4%; }
h1 {  8em; margin-bottom: 3em; }

p.novel { text-indent: 2em; margin-top: 0; margin-bottom: 0; }
<!-- use <p class="novel"> -->

em { font-style: italic; font-weight: bold; }
strong { text-transform: uppercase;  font-weight: bold; }

h1 { font-size: 200%; }
h2 { font-size: 150%; }
h3 { font-size: 100%; }

body { font-family: Verdana, sans-serif; }
h1,h2 { font-family: Garamond, "Times New Roman", serif; }
pre { font-family: monospace; }
h1,h2,h3,h4,h5,p,ul { font-family: sans-serif; }

div.box { border: solid; border-width: thin; width: 100% }

div.color {
    background: rgb(204,204,255);
    padding: 0.5em;
    border: none;
}

p.changed {
    padding-left: 0.2em;
    border-left: solid;
    border-right: none;
    border-top: none;
    border-bottom: none;
    border-left-width: thin;
    border-color: red;
  }

a.plain { text-decoration: none }

*/

body.query {
  margin-left: 5%; margin-right: 5%; margin-top: 5%;
  /*  margin-bottom: 10%; */
   color: yellow; background: black; 

}

p.query { margin-top: 5%; margin-bottom: 5%; margin-left: 5%; margin-right: 5%; }

/* a.query { text-decoration: none; font-weight: bold; color: rgb(255, 255, 0)} */

a.query:link { font-size: 110%; text-decoration: none; font-weight: bold; color: rgb(255, 255, 0) }  /* for unvisited links */
a.query:visited { font-size: 110%; text-decoration: none; font-weight: bold; color: rgb(255, 255, 0) } /* for visited links */
a.query:active { font-size: 110%; text-decoration: none; font-weight: bold; color: rgb(255, 255, 0) } /* when link is clicked */
a.query:hover { font-size: 115%; text-decoration: none; font-style: italic; color: rgb(0, 255, 0) } /* when mouse is over link */

div.query { color: rgb(255, 0, 0); border: solid; border-width: thin; width: 100%; margin-top: 5%; margin-bottom: 5%;}

table.query {
/*   margin-left: 5%;
   margin-right: 5%;
   margin-top: 5%;
   margin-bottom: auto;
   padding: 5;
 */
   color: rgb(255, 0, 0);
   border: solid;
   border-width: thin;
 padding: 500;
}

body.answer {
/*  margin-left: 5%; margin-right: 5%; margin-top: 5%; */
   color: yellow; background: black; 
}

div.answer { color: rgb(0, 255, 0); border: solid; border-width: thin; width: 100%; height: 100%; margin-top: 5%; margin-bottom: 5%; }

p.answer { color: rgb(0, 255, 0); font-weight: bold; font-size: 110%; margin-top: 5%; margin-bottom: 5%; margin-left: 5%; margin-right: 5%; }

table.answer {
/*
   margin-left: 5%;
   margin-right: 5%;
   margin-top: 5%;
   margin-bottom: auto;
   padding: 5;
*/
   color: rgb(0, 0, 255);
   border: solid;
   border-width: thin;

}



h2 { font-size: 125%; }

h4 {  color: rgb( 255, 0, 0); font-style: italic; }
h3 {  color: rgb( 255, 0, 0); font-style: italic; }


ul.answer { font-size: 110%; color: rgb( 0, 255, 0); }
pre.answer { font-family: monospace; font-size: 125%; color: rgb(255, 255, 255); }


/* colour blindness  between red and green, or between yellow and blue */

/* The standard set of color names is: aqua, black, blue, fuchsia, gray, green, lime, maroon, navy, olive, purple, red, silver, teal, white, and yellow. */