body {
max-width:650px;
font-size: small; /* small, medium, large, xx% here */
font-family: verdana, arial,  helvetica, sans-serif;
}  /* Apparently verdana is optimized for online reading */

pre, code { font-size:130%; } /* experimented with 166% here, was 150 for a long time*/
/* pre, code comma means applies to both. It seems to know to use a special font-family for this.
  Also the max-width does not apply, which works out well
*/
a { text-decoration:none; }
td.box { margin:2px; border: 2px solid lightgray; font-size:small;}
.problemlink { color:red; font-weight: normal; margin-left:10px; }
a.problemmore { margin-left:15px;}
/* this is span class= declaration.  */

ul.slide { max-width:600px; /* playing with width, or omit */ font-size:150%; border: 5px solid darkgreen; }
ul.slide code { font-size:150%; } /* code-inside-slide .. lessen code size increase */
ul.slide pre { font-size:150%; }


/* text snippet to indent a little */
p.indent { margin-left:25px; }