Theme Manager

These settings are stored in this browser! They will not apply to other browsers or systems.

Themes are (currently) the only aspect of this site which require JavaScript, and they are not quite complete:

• Link styling is not complete
• Not all pages may load your set theme yet

Click the Set button for the theme you want, then click Apply.

The theme only affects the text color and not any decorations (strikethrough, underline, etc.)!

Home Test your theme

Set Light Theme	Set Default Theme	Set Dark Theme	Set Custom Theme	Set No Theme (refresh to apply)
Apply Set Theme		JavaScript disabled		Restore Built-in Themes
Set a Custom Theme (use CSS colors):
Background Color:
Border Color:
Navigation Table Color:
Link Color:
Text Color:
Specific Terms Color:
---
Code Colorization:
Keyword:
Field:
Annotation:
String:
Comment:
Number:
Method:
Type Parameter:
(valid) Escape Sequence:
Invalid:
Invalid (underline):
Unused:
Deprecated:
Deprecated and marked for removal:				Save and Apply