body {
  font-family: "Verdana", "Arial", sans-serif;
  background-image:url('paper.png');
  background-color:#cccccc;
  font-size: 130%;
  max-width:40em;
  line-height: 1.3;
  margin:0 auto;
}


.proofoutline {
  padding: 0em 0em 1em 0em;
  margin-bottom: 10px;
}
.proofoutline:after {
  content: "\25a2";
  float: right;
}

.example {
  padding: 0.1em 0em 0.1em 0em;
  background-color: rgba(213,223,203,0.6);
}

p {
  line-height: 200%;
}

table, th, td {
  font-size: 100%;
  border: 1px solid black;
  border-collapse: collapse;
}

th, td {
    padding: 15px;
}

select {
  font-size: 100%;
}

.sub {
   font-size: 100%;
}

input.solution {
   border-top: 0.1em solid #96d1f8;
   background: #65a9d7;
   background: -webkit-gradient(linear, left top, left bottom, from(#3e779d), to(#65a9d7));
   background: -webkit-linear-gradient(top, #3e779d, #65a9d7);
   background: -moz-linear-gradient(top, #3e779d, #65a9d7);
   background: -ms-linear-gradient(top, #3e779d, #65a9d7);
   background: -o-linear-gradient(top, #3e779d, #65a9d7);
   padding: 0.2em 0.7em;
   -webkit-border-radius: 0.5em;
   -moz-border-radius: 0.5em;
   border-radius: 0.5em;
   -webkit-box-shadow: rgba(0,0,0,1) 0 0.05em  0;
   -moz-box-shadow: rgba(0,0,0,1) 0 0.05em 0;
   box-shadow: rgba(0,0,0,1) 0 0.05em 0;
   text-shadow: rgba(0,0,0,.4) 0 0.05em 0;
   color: #EDE0DD;
   font-size: 1.0em;
   font-family: Arial, serif;
   text-decoration: none;
   vertical-align: middle;
}
.solution:hover {
   border-top-color: #28597a;
   background: #28597a;
   color: #ccc;
}
.solution:active {
  position:relative;
  top:0.1em;
}

a:link {text-decoration: none; color: #703070;}
a:visited {text-decoration: none; color: #828082;}
a:active {text-decoration: none}
a:hover {text-decoration: underline; color: red;}

a.button {
   border-top: 0.1em solid #96d1f8;
   background: #65a9d7;
   background: -webkit-gradient(linear, left top, left bottom, from(#3e779d), to(#65a9d7));
   background: -webkit-linear-gradient(top, #3e779d, #65a9d7);
   background: -moz-linear-gradient(top, #3e779d, #65a9d7);
   background: -ms-linear-gradient(top, #3e779d, #65a9d7);
   background: -o-linear-gradient(top, #3e779d, #65a9d7);
   padding: 0.2em 0.7em;
   -webkit-border-radius: 0.5em;
   -moz-border-radius: 0.5em;
   border-radius: 0.5em;
   -webkit-box-shadow: rgba(0,0,0,1) 0 0.05em 0;
   -moz-box-shadow: rgba(0,0,0,1) 0 0.05em 0;
   box-shadow: rgba(0,0,0,1) 0 0.05em 0;
   text-shadow: rgba(0,0,0,.4) 0 0.05em 0;
   color: #E9E9DD;
   font-size: 1.2em;
   font-family: Arial, serif;
   text-decoration: none;
   vertical-align: middle;
   }
.button:hover {
   border-top-color: #28597a;
   background: #28597a;
   color: #ccc;
   }
.button:active {
   border-top-color: #1b435e;
   background: #1b435e;
   }

img.displayed {
   min-width:20em;
   max-width:200em;
   display: block;
   margin-left: auto;
   margin-right: auto
}

img.centered {
   max-width:90%;
   display: block;
   margin-left: auto;
   margin-right: auto
}