How do I customize my margins and footers?
John Reekie, 6 Aug 1999

The gigascale server provides a facility that allows the pages that you author and that appear in your workspace to be customized. To customize your pages, you need to:

• Turn on the "Fancy HTML" option in your group's configuration options.
• Create a file called "toc.html" in the root directory of your HTML files. (That is, in the same directory as the index.html file you see when you go to http://gigascale.eecs.berkeley.edu/groupname.)

<!--margin-->
My margin text
<!--/margin-->

You can also append text to the existing auto-generated margin text by inserting the "+" sign, as follows:

<!--+margin-->
Text appended to margin
<!--/margin-->

• margin: text is inserted or appended to the left hand margin that appears on every page.
• footer: text is inserted or appended to the footer that appears on every page.
• header: text is inserted or appended to the header links that appear on every page.

In addition, a block named options can be used to specify additional formatting and display options. the syntax is

<!--options-->
name1=value1
name2=value2
<!--/margin-->

• margincolor: The background color of the left-hand margin.

Once you have a custom setup for your site, you may wish to further customize subdirectories in your site. You can do this simply by placing another "toc.html" in sub-directories that you wish to customize. Note that you will need to duplicate all fields in your top-level file -- for example, if you put a footer in your top-level toc.html, you will have to put one in the sub-directory's toc.html too.

Note also that toc.html is not "inherited." If /diva has a toc.html, and /diva/x has a toc.html, but /diva/x/y does not, then files in /diva/x/y will use the toc.html from /diva, not the one from /diva/x.