body {
    background-color: white;
    font-family: verdana;
    font-size: vmin;
}

table {
    font-size: 95%;
}

pre {
    white-space: pre-wrap;
    background-color: #f6f6f6;
    font-size: 110%;
}

@media only screen and (max-width: 600px) {
    td {
	display: block;
    }

    pre {
    white-space: pre-wrap;
    width: 600 px;    
    background-color: #f6f6f6;
    font-size: 100%;
    }
}

td.bg1 {
    background-color: #e8c7c7; /*light pink*/
}

td.bg2 {
    background-color: #9dce00; /*leaf green*/
}

td.bg3 {
    background-color: #ffffde; /*light light pink */
}

td.bg4 {
    background-color: #e4eeff; /*light blue*/
}

td.bg5 {
    background-color: darkred;
}

td.mvksa-bg1 {
    background-color: #ffe680;  /* orange-yellow */
}

td.mvksa-bg2 {
    background-color: #9dce00; /*leaf green*/
}

td.mvksa-bg4 {
    background-color: #dcdcdc;  /* light grey */
}

td.mvksa-bg5 {
    background-color: 8600b3; /* purple */
}

td.h2 {
    font-size: 125%;
    font-weight: bold;
}

td.button {
    background-color: #e4eeff;
    border-color: #9dce00;
    border-style: solid;
    border-width: 2px;
    font-weight: 600;
    font-variant: small-caps;
    width: 70px;
    text-align: center;
    color: white;
    padding-top: 5px;
    padding-bottom: 5px;
    padding-left: 5px;
    padding-right: 5px;
    border-radius: 5px;
    letter-spacing: -0.5px;
    text-decoration: none;
    display: inline-block;
    cursor: pointer;
}

td.button2 {
    background-color: #e4eeff;
    border-color: #9dce00;
    border-style: solid;
    font-weight: bold;
    font-variant: small-caps;
    width: 80px;
    text-align: center;
    color: "white";
    padding-top: 5px;
    padding-bottom: 5px;
}

th.bg4 {
    background-color: #e4eeff;
    font-size: 150%;
}

h1 {
    font-weight: bold;
    font-size: 130%;
}

h2 {
    font-weight: bold;
    font-size: 120%;
}

h3 {
    font-weight: bold;
    font-size: 110%;
}

h4 {
    font-weight: bold;
    font-size: 100%;
}

div.h2 {
    font-size: 125%;
    font-weight: bold;
}

div.highlight {
    font-weight: bold;
}

div.mvstat {
    font-variant: normal;
    font-size: 80%;
}

div.code {
    font-size: 100%;    
}

img.output {
    max-width: 200px; 
}

img.output2 {
    max-width: 300px; 
}

tt {
    font-size: 120%;
}

.modal {
    padding: 5px;
    margin: 50px;
    background: #222222;
    width: 300px auto;
    position: relative;
    text-align: center;
}

.modal .content {
  overflow: auto;
}

.overlay {
  position: absolute;
  top: 0;
  bottom: 0;
  left: 0;
  right: 0;
  background: rgba(0, 0, 0, 0.5);
  transition: opacity 200ms;
  visibility: hidden;
  opacity: 0;
}

.overlay .cancel {
  position: absolute;
  width: 100%;
  height: 100%;
  cursor: default;
}

.overlay:target {
  visibility: visible;
  opacity: 1;
}