img { max-width: 100%; height: auto; }

@media (min-width: 320px) and (max-width: 640px) {
    body {
	font-size: 16px;
    }
    .small {
	font-size: 12px; /* 75% of the baseline */
    }
    .large {
	font-size: 20px; /* 125% of the baseline */
    }
    ol li {
/* might be able to go lower, but this seems like a nice mobile default */
	padding: 6px;
    }


}

pre {
 background-color: #dee0df;
 overflow: scroll;
 padding-bottom: 5px;
 margin-right: 1cm;
 margin-left: 1cm;
 font-family: "Courier New", Courier, mono, monospace;
 line-height: 1.0;
 border: 1px dotted #ccc;
}

table {
    border-collapse: collapse;
    border-spacing: 5px;
    border: 2px solid #000000;
}

tr:nth-child(even) {
  background-color: #dee0df;
}

th {
    border: 2px solid #000000;
    padding-top: 10px;
    padding-bottom: 10px;
    padding-left: 10px;
    padding-right: 10px;
}

td {
    border: 1px solid #000000;
    padding-top: 5px;
    padding-bottom: 5px;
    padding-left: 5px;
    padding-right: 5px;
}
