/* this stylesheet is used by older resources, as well as manuals. */

@import url('/combo.css');
@import url('/layout.css');

/* some very basic styling for the pages that still use this. */

body { margin: auto; width: 99%; max-width:74.92em; }