Themes Administration

This page holds the theme definitions (custom themes) for this site. We use a single custom theme called "My theme" which is defined by the following code block:

@import url(;

When you edit the above code block, it takes effect immediately. Press Shift-Reload to get the new theme. Only site admins can edit this page.