.w450 { width: 450px; }
  .w640 { width: 640px; }
  .w800 { width: 800px; }
  .larger { font-size: 150%; }
  .center { text-align: center; }
  .wkshp { text-align: center; text-decoration: underline; font-weight: bold; }
  .floatl { float: left; }
  .floatr { float: right; }
  .nofloat { clear: both; }
  .textright { text-align: right; }
  img { margin: 10px 10px 10px 10px; }
  .left-indent { padding-left: 2em; }