In my own website, I use a custom style sheet jos.css that
affects every document in my website (generated as described
above). To activate use of the CSS file, I added the following line to
$STYLESHEET = "../jos.css";The latest version of this file (which is quite simple), may be viewed at http://ccrma.stanford.edu/~jos/jos.css .