/* Change the default rendering of some HTML elements. */
@import url("html.css");

/* Some useful classes of objects for typesetting things. */
@import url("usefulclass.css");

/* The layout of each page: header location, etc. */
@import url("layout.css");