/* This style sheet defines the basic style for public W3C pages. */

@import url(../base-5.html);
@import url(hints.css);