/* Last updated: $Date: 2003/05/26 13:49:09 $ */
@import "http://www.cwi.nl/~media/default.css";
img.lfloat { border-width: 0; float: left; margin-right: 1em; }