From e60569995174ab119dfc7ae2bace76328bb35241 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 9 Mar 2016 03:31:56 -0800
Subject: 2744

Tweak colors and font-sizes in generated html.
---
 html/000organization.cc.html                  | 8 ++++----
 html/001help.cc.html                          | 8 ++++----
 html/002test.cc.html                          | 8 ++++----
 html/003trace.cc.html                         | 8 ++++----
 html/003trace.test.cc.html                    | 4 ++--
 html/010vm.cc.html                            | 8 ++++----
 html/011load.cc.html                          | 6 +++---
 html/012transform.cc.html                     | 6 +++---
 html/013update_operation.cc.html              | 6 +++---
 html/014literal_string.cc.html                | 6 +++---
 html/015literal_noninteger.cc.html            | 6 +++---
 html/020run.cc.html                           | 8 ++++----
 html/021check_instruction.cc.html             | 6 +++---
 html/022arithmetic.cc.html                    | 6 +++---
 html/023boolean.cc.html                       | 6 +++---
 html/024jump.cc.html                          | 6 +++---
 html/025compare.cc.html                       | 6 +++---
 html/029tools.cc.html                         | 6 +++---
 html/030container.cc.html                     | 8 ++++----
 html/031address.cc.html                       | 6 +++---
 html/032array.cc.html                         | 6 +++---
 html/033exclusive_container.cc.html           | 6 +++---
 html/034call.cc.html                          | 6 +++---
 html/035call_ingredient.cc.html               | 6 +++---
 html/036call_reply.cc.html                    | 6 +++---
 html/037new.cc.html                           | 6 +++---
 html/038location_array.cc.html                | 6 +++---
 html/040brace.cc.html                         | 6 +++---
 html/041jump_target.cc.html                   | 6 +++---
 html/042name.cc.html                          | 6 +++---
 html/043space.cc.html                         | 6 +++---
 html/044space_surround.cc.html                | 6 +++---
 html/045closure_name.cc.html                  | 6 +++---
 html/046global.cc.html                        | 6 +++---
 html/047check_type_by_name.cc.html            | 6 +++---
 html/050scenario.cc.html                      | 6 +++---
 html/051scenario_test.mu.html                 | 2 +-
 html/052tangle.cc.html                        | 6 +++---
 html/053rewrite_stash.cc.html                 | 6 +++---
 html/054dilated_reagent.cc.html               | 8 ++++----
 html/055parse_tree.cc.html                    | 6 +++---
 html/056recipe_header.cc.html                 | 6 +++---
 html/057static_dispatch.cc.html               | 6 +++---
 html/058shape_shifting_container.cc.html      | 6 +++---
 html/059shape_shifting_recipe.cc.html         | 6 +++---
 html/060immutable.cc.html                     | 6 +++---
 html/061recipe.cc.html                        | 6 +++---
 html/062scheduler.cc.html                     | 6 +++---
 html/063wait.cc.html                          | 6 +++---
 html/070text.mu.html                          | 4 ++--
 html/071channel.mu.html                       | 4 ++--
 html/072array.mu.html                         | 4 ++--
 html/073list.mu.html                          | 4 ++--
 html/074random.cc.html                        | 8 ++++----
 html/075duplex_list.mu.html                   | 4 ++--
 html/076stream.mu.html                        | 2 +-
 html/077hash.cc.html                          | 6 +++---
 html/078table.mu.html                         | 4 ++--
 html/080display.cc.html                       | 6 +++---
 html/081print.mu.html                         | 4 ++--
 html/082scenario_screen.cc.html               | 6 +++---
 html/083scenario_screen_test.mu.html          | 2 +-
 html/084console.mu.html                       | 4 ++--
 html/085scenario_console.cc.html              | 6 +++---
 html/086scenario_console_test.mu.html         | 2 +-
 html/090trace_browser.cc.html                 | 6 +++---
 html/091run_interactive.cc.html               | 6 +++---
 html/092persist.cc.html                       | 6 +++---
 html/998check_type_pointers.cc.html           | 2 +-
 html/999spaces.cc.html                        | 4 ++--
 html/channel.mu.html                          | 4 ++--
 html/chessboard.mu.html                       | 4 ++--
 html/console.mu.html                          | 4 ++--
 html/counters.mu.html                         | 2 +-
 html/display.mu.html                          | 2 +-
 html/edit/001-editor.mu.html                  | 4 ++--
 html/edit/002-typing.mu.html                  | 4 ++--
 html/edit/003-shortcuts.mu.html               | 4 ++--
 html/edit/004-programming-environment.mu.html | 4 ++--
 html/edit/005-sandbox.mu.html                 | 4 ++--
 html/edit/006-sandbox-edit.mu.html            | 4 ++--
 html/edit/007-sandbox-delete.mu.html          | 4 ++--
 html/edit/008-sandbox-test.mu.html            | 4 ++--
 html/edit/009-sandbox-trace.mu.html           | 4 ++--
 html/edit/010-errors.mu.html                  | 4 ++--
 html/edit/011-editor-undo.mu.html             | 4 ++--
 html/example1.mu.html                         | 2 +-
 html/factorial.mu.html                        | 4 ++--
 html/fork.mu.html                             | 4 ++--
 html/global.mu.html                           | 2 +-
 html/screen.mu.html                           | 2 +-
 html/static_dispatch.mu.html                  | 2 +-
 html/tangle.mu.html                           | 4 ++--
 html/x.mu.html                                | 2 +-
 update_html                                   | 7 +++++--
 95 files changed, 245 insertions(+), 242 deletions(-)

diff --git a/html/000organization.cc.html b/html/000organization.cc.html
index 3d5c9b08..118a1eeb 100644
--- a/html/000organization.cc.html
+++ b/html/000organization.cc.html
@@ -10,12 +10,12 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
-.Delimiter { color: #a04060; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
+.Delimiter { color: #800080; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.PreProc { color: #c000c0; }
+.PreProc { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/001help.cc.html b/html/001help.cc.html
index 073d1c85..c3456ec6 100644
--- a/html/001help.cc.html
+++ b/html/001help.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.PreProc { color: #c000c0; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.PreProc { color: #800080; }
 .SalientComment { color: #00ffff; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/002test.cc.html b/html/002test.cc.html
index f08cde28..6799ec20 100644
--- a/html/002test.cc.html
+++ b/html/002test.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .CommentedCode { color: #6c6c6c; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Constant { color: #00a0a0; }
-.PreProc { color: #c000c0; }
+.PreProc { color: #800080; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/003trace.cc.html b/html/003trace.cc.html
index c2dd0cb1..2a666948 100644
--- a/html/003trace.cc.html
+++ b/html/003trace.cc.html
@@ -10,13 +10,13 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.PreProc { color: #c000c0; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.PreProc { color: #800080; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/003trace.test.cc.html b/html/003trace.test.cc.html
index 4d03ea92..110a548c 100644
--- a/html/003trace.test.cc.html
+++ b/html/003trace.test.cc.html
@@ -10,11 +10,11 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
 .Comment { color: #9090ff; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Normal { color: #eeeeee; background-color: #080808; }
 -->
 </style>
diff --git a/html/010vm.cc.html b/html/010vm.cc.html
index dcde494a..6814a1be 100644
--- a/html/010vm.cc.html
+++ b/html/010vm.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.PreProc { color: #c000c0; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.PreProc { color: #800080; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .SalientComment { color: #00ffff; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/011load.cc.html b/html/011load.cc.html
index 7bb6974e..226154d7 100644
--- a/html/011load.cc.html
+++ b/html/011load.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/012transform.cc.html b/html/012transform.cc.html
index f85e715e..052df113 100644
--- a/html/012transform.cc.html
+++ b/html/012transform.cc.html
@@ -10,12 +10,12 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
 .CommentedCode { color: #6c6c6c; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/013update_operation.cc.html b/html/013update_operation.cc.html
index 8c2780cb..3dc72146 100644
--- a/html/013update_operation.cc.html
+++ b/html/013update_operation.cc.html
@@ -10,13 +10,13 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .CommentedCode { color: #6c6c6c; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/014literal_string.cc.html b/html/014literal_string.cc.html
index 5dd9d17b..c9f820fe 100644
--- a/html/014literal_string.cc.html
+++ b/html/014literal_string.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/015literal_noninteger.cc.html b/html/015literal_noninteger.cc.html
index e2aa9d4e..a89ba0c6 100644
--- a/html/015literal_noninteger.cc.html
+++ b/html/015literal_noninteger.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/020run.cc.html b/html/020run.cc.html
index a1b357e2..927c22fc 100644
--- a/html/020run.cc.html
+++ b/html/020run.cc.html
@@ -10,18 +10,18 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
-.PreProc { color: #c000c0; }
+.PreProc { color: #800080; }
 .CommentedCode { color: #6c6c6c; }
 .SalientComment { color: #00ffff; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html
index cdaff0ea..87a40acb 100644
--- a/html/021check_instruction.cc.html
+++ b/html/021check_instruction.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .CommentedCode { color: #6c6c6c; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/022arithmetic.cc.html b/html/022arithmetic.cc.html
index 149b4915..60a4e500 100644
--- a/html/022arithmetic.cc.html
+++ b/html/022arithmetic.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/023boolean.cc.html b/html/023boolean.cc.html
index 5558fd03..ba3b33bd 100644
--- a/html/023boolean.cc.html
+++ b/html/023boolean.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/024jump.cc.html b/html/024jump.cc.html
index a6ae68a9..4b1fa49d 100644
--- a/html/024jump.cc.html
+++ b/html/024jump.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/025compare.cc.html b/html/025compare.cc.html
index 060286ea..3a989627 100644
--- a/html/025compare.cc.html
+++ b/html/025compare.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/029tools.cc.html b/html/029tools.cc.html
index 4e55ef90..50c9f619 100644
--- a/html/029tools.cc.html
+++ b/html/029tools.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .CommentedCode { color: #6c6c6c; }
 .SalientComment { color: #00ffff; }
 .Special { color: #ff6060; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/030container.cc.html b/html/030container.cc.html
index 72a6bd2c..c31241d6 100644
--- a/html/030container.cc.html
+++ b/html/030container.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.PreProc { color: #c000c0; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.PreProc { color: #800080; }
 .SalientComment { color: #00ffff; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/031address.cc.html b/html/031address.cc.html
index 1bd6632d..72c8f87c 100644
--- a/html/031address.cc.html
+++ b/html/031address.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .SalientComment { color: #00ffff; }
 .traceAbsent { color: #c00000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/032array.cc.html b/html/032array.cc.html
index eb55fd61..8a58bcf2 100644
--- a/html/032array.cc.html
+++ b/html/032array.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .SalientComment { color: #00ffff; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/033exclusive_container.cc.html b/html/033exclusive_container.cc.html
index 46340112..8955df77 100644
--- a/html/033exclusive_container.cc.html
+++ b/html/033exclusive_container.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
 .SalientComment { color: #00ffff; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .traceContains { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/034call.cc.html b/html/034call.cc.html
index fdc90a3d..841fbd98 100644
--- a/html/034call.cc.html
+++ b/html/034call.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
 .SalientComment { color: #00ffff; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/035call_ingredient.cc.html b/html/035call_ingredient.cc.html
index bbfef56a..6c0ab211 100644
--- a/html/035call_ingredient.cc.html
+++ b/html/035call_ingredient.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/036call_reply.cc.html b/html/036call_reply.cc.html
index 6d0f92db..7c1c8654 100644
--- a/html/036call_reply.cc.html
+++ b/html/036call_reply.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/037new.cc.html b/html/037new.cc.html
index 3aeb207b..6585818a 100644
--- a/html/037new.cc.html
+++ b/html/037new.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .CommentedCode { color: #6c6c6c; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .SalientComment { color: #00ffff; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/038location_array.cc.html b/html/038location_array.cc.html
index 1f568a4c..a1b0c5ee 100644
--- a/html/038location_array.cc.html
+++ b/html/038location_array.cc.html
@@ -10,13 +10,13 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Comment { color: #9090ff; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 -->
 </style>
 </head>
diff --git a/html/040brace.cc.html b/html/040brace.cc.html
index 49afa366..b16745e0 100644
--- a/html/040brace.cc.html
+++ b/html/040brace.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
 .CommentedCode { color: #6c6c6c; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Identifier { color: #804000; }
-.Delimiter { color: #a04060; }
+.Identifier { color: #fcb165; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/041jump_target.cc.html b/html/041jump_target.cc.html
index 76766b30..e730c12d 100644
--- a/html/041jump_target.cc.html
+++ b/html/041jump_target.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/042name.cc.html b/html/042name.cc.html
index 4b1b072f..b387f651 100644
--- a/html/042name.cc.html
+++ b/html/042name.cc.html
@@ -10,17 +10,17 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .SalientComment { color: #00ffff; }
 .traceAbsent { color: #c00000; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .CommentedCode { color: #6c6c6c; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Constant { color: #00a0a0; }
 .Special { color: #ff6060; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/043space.cc.html b/html/043space.cc.html
index e5a91e90..e342590c 100644
--- a/html/043space.cc.html
+++ b/html/043space.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .traceAbsent { color: #c00000; }
 .SalientComment { color: #00ffff; }
 .traceContains { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/044space_surround.cc.html b/html/044space_surround.cc.html
index 7f1a4723..ef45fe86 100644
--- a/html/044space_surround.cc.html
+++ b/html/044space_surround.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .traceContains { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/045closure_name.cc.html b/html/045closure_name.cc.html
index a7de6275..17cce446 100644
--- a/html/045closure_name.cc.html
+++ b/html/045closure_name.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
 .CommentedCode { color: #6c6c6c; }
 .traceContains { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Constant { color: #00a0a0; }
 .Special { color: #ff6060; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/046global.cc.html b/html/046global.cc.html
index 152b0d97..de291697 100644
--- a/html/046global.cc.html
+++ b/html/046global.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .traceContains { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/047check_type_by_name.cc.html b/html/047check_type_by_name.cc.html
index 0f2efe84..71edfe66 100644
--- a/html/047check_type_by_name.cc.html
+++ b/html/047check_type_by_name.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Constant { color: #00a0a0; }
 .Special { color: #ff6060; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/050scenario.cc.html b/html/050scenario.cc.html
index 3bd78220..6c4ee02f 100644
--- a/html/050scenario.cc.html
+++ b/html/050scenario.cc.html
@@ -10,17 +10,17 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
 .CommentedCode { color: #6c6c6c; }
 .traceContains { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .SalientComment { color: #00ffff; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/051scenario_test.mu.html b/html/051scenario_test.mu.html
index 5dc86bee..3c3366c5 100644
--- a/html/051scenario_test.mu.html
+++ b/html/051scenario_test.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muScenario { color: #00af00; }
diff --git a/html/052tangle.cc.html b/html/052tangle.cc.html
index fd51f57f..8ac1ab67 100644
--- a/html/052tangle.cc.html
+++ b/html/052tangle.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/053rewrite_stash.cc.html b/html/053rewrite_stash.cc.html
index 46eabbd0..23278083 100644
--- a/html/053rewrite_stash.cc.html
+++ b/html/053rewrite_stash.cc.html
@@ -10,11 +10,11 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/054dilated_reagent.cc.html b/html/054dilated_reagent.cc.html
index e704e99b..07ac732c 100644
--- a/html/054dilated_reagent.cc.html
+++ b/html/054dilated_reagent.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Error { color: #ffffff; background-color: #ff6060; }
-.PreProc { color: #c000c0; }
+.PreProc { color: #800080; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/055parse_tree.cc.html b/html/055parse_tree.cc.html
index f582bf8d..b2107ee3 100644
--- a/html/055parse_tree.cc.html
+++ b/html/055parse_tree.cc.html
@@ -10,13 +10,13 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/056recipe_header.cc.html b/html/056recipe_header.cc.html
index aba5f0b9..fd64a4c8 100644
--- a/html/056recipe_header.cc.html
+++ b/html/056recipe_header.cc.html
@@ -10,17 +10,17 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .SalientComment { color: #00ffff; }
 .traceAbsent { color: #c00000; }
 .Error { color: #ffffff; background-color: #ff6060; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/057static_dispatch.cc.html b/html/057static_dispatch.cc.html
index 9f7fa7b6..679dcf38 100644
--- a/html/057static_dispatch.cc.html
+++ b/html/057static_dispatch.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/058shape_shifting_container.cc.html b/html/058shape_shifting_container.cc.html
index 184a747c..d7e172b0 100644
--- a/html/058shape_shifting_container.cc.html
+++ b/html/058shape_shifting_container.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Comment { color: #9090ff; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .SalientComment { color: #00ffff; }
 -->
 </style>
diff --git a/html/059shape_shifting_recipe.cc.html b/html/059shape_shifting_recipe.cc.html
index 255f487a..b1bb3c93 100644
--- a/html/059shape_shifting_recipe.cc.html
+++ b/html/059shape_shifting_recipe.cc.html
@@ -10,17 +10,17 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Todo { color: #000000; background-color: #ffff00; }
 .cSpecial { color: #008000; }
 .CommentedCode { color: #6c6c6c; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Comment { color: #9090ff; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .SalientComment { color: #00ffff; }
 -->
 </style>
diff --git a/html/060immutable.cc.html b/html/060immutable.cc.html
index 894576c8..9fb6916c 100644
--- a/html/060immutable.cc.html
+++ b/html/060immutable.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
 .Todo { color: #000000; background-color: #ffff00; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .traceContains { color: #008000; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/061recipe.cc.html b/html/061recipe.cc.html
index 625614a4..dc477ab2 100644
--- a/html/061recipe.cc.html
+++ b/html/061recipe.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .SalientComment { color: #00ffff; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/062scheduler.cc.html b/html/062scheduler.cc.html
index 1a7a6a8b..74fa125b 100644
--- a/html/062scheduler.cc.html
+++ b/html/062scheduler.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceAbsent { color: #c00000; }
 .cSpecial { color: #008000; }
 .SalientComment { color: #00ffff; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/063wait.cc.html b/html/063wait.cc.html
index bfb27103..bfaa81ec 100644
--- a/html/063wait.cc.html
+++ b/html/063wait.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .traceContains { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/070text.mu.html b/html/070text.mu.html
index 0c1caa24..e001fedf 100644
--- a/html/070text.mu.html
+++ b/html/070text.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muData { color: #ffff00; }
 .muScenario { color: #00af00; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
diff --git a/html/071channel.mu.html b/html/071channel.mu.html
index b5b80e82..2c8dd680 100644
--- a/html/071channel.mu.html
+++ b/html/071channel.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .SalientComment { color: #00ffff; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .muData { color: #ffff00; }
 .Special { color: #ff6060; }
diff --git a/html/072array.mu.html b/html/072array.mu.html
index 1526eb6e..156e0aa0 100644
--- a/html/072array.mu.html
+++ b/html/072array.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
 .Special { color: #ff6060; }
diff --git a/html/073list.mu.html b/html/073list.mu.html
index f24828b9..45bf624a 100644
--- a/html/073list.mu.html
+++ b/html/073list.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muScenario { color: #00af00; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/074random.cc.html b/html/074random.cc.html
index 5c01b4cf..cfaa48e5 100644
--- a/html/074random.cc.html
+++ b/html/074random.cc.html
@@ -10,16 +10,16 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.PreProc { color: #c000c0; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.PreProc { color: #800080; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .cSpecial { color: #008000; }
 .Comment { color: #9090ff; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 -->
 </style>
 </head>
diff --git a/html/075duplex_list.mu.html b/html/075duplex_list.mu.html
index a9b67035..17566472 100644
--- a/html/075duplex_list.mu.html
+++ b/html/075duplex_list.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muScenario { color: #00af00; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/076stream.mu.html b/html/076stream.mu.html
index bcd3ef6d..d3b4b130 100644
--- a/html/076stream.mu.html
+++ b/html/076stream.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/077hash.cc.html b/html/077hash.cc.html
index fb69c7ac..aae3fda3 100644
--- a/html/077hash.cc.html
+++ b/html/077hash.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .CommentedCode { color: #6c6c6c; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/078table.mu.html b/html/078table.mu.html
index c6ecdaca..7f45d9be 100644
--- a/html/078table.mu.html
+++ b/html/078table.mu.html
@@ -10,11 +10,11 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
 .muRecipe { color: #ff8700; }
 .muData { color: #ffff00; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muScenario { color: #00af00; }
diff --git a/html/080display.cc.html b/html/080display.cc.html
index 608a0a41..33fb161d 100644
--- a/html/080display.cc.html
+++ b/html/080display.cc.html
@@ -10,12 +10,12 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Constant { color: #00a0a0; }
 .Normal { color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
 -->
diff --git a/html/081print.mu.html b/html/081print.mu.html
index d4f3f655..6cbb324c 100644
--- a/html/081print.mu.html
+++ b/html/081print.mu.html
@@ -10,11 +10,11 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muScenario { color: #00af00; }
 .CommentedCode { color: #6c6c6c; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/082scenario_screen.cc.html b/html/082scenario_screen.cc.html
index 6fd0a250..d37e406a 100644
--- a/html/082scenario_screen.cc.html
+++ b/html/082scenario_screen.cc.html
@@ -10,15 +10,15 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
 .traceAbsent { color: #c00000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .traceContains { color: #008000; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/083scenario_screen_test.mu.html b/html/083scenario_screen_test.mu.html
index 60f47e5e..89433473 100644
--- a/html/083scenario_screen_test.mu.html
+++ b/html/083scenario_screen_test.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muScenario { color: #00af00; }
diff --git a/html/084console.mu.html b/html/084console.mu.html
index a0c606bd..f0f6bf07 100644
--- a/html/084console.mu.html
+++ b/html/084console.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/085scenario_console.cc.html b/html/085scenario_console.cc.html
index 1f8a48f7..a1f4efef 100644
--- a/html/085scenario_console.cc.html
+++ b/html/085scenario_console.cc.html
@@ -10,13 +10,13 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/086scenario_console_test.mu.html b/html/086scenario_console_test.mu.html
index 5d8c67f9..ae4d608b 100644
--- a/html/086scenario_console_test.mu.html
+++ b/html/086scenario_console_test.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muScenario { color: #00af00; }
diff --git a/html/090trace_browser.cc.html b/html/090trace_browser.cc.html
index 6680a912..8677b9d2 100644
--- a/html/090trace_browser.cc.html
+++ b/html/090trace_browser.cc.html
@@ -10,12 +10,12 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .cSpecial { color: #008000; }
-.Identifier { color: #804000; }
+.Identifier { color: #fcb165; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/091run_interactive.cc.html b/html/091run_interactive.cc.html
index 915cb510..6ce38c76 100644
--- a/html/091run_interactive.cc.html
+++ b/html/091run_interactive.cc.html
@@ -10,14 +10,14 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/092persist.cc.html b/html/092persist.cc.html
index d231f0c4..96158666 100644
--- a/html/092persist.cc.html
+++ b/html/092persist.cc.html
@@ -10,12 +10,12 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Identifier { color: #804000; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Identifier { color: #fcb165; }
 .cSpecial { color: #008000; }
 .Normal { color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
 -->
 </style>
diff --git a/html/998check_type_pointers.cc.html b/html/998check_type_pointers.cc.html
index 215343a7..4db30d6c 100644
--- a/html/998check_type_pointers.cc.html
+++ b/html/998check_type_pointers.cc.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .CommentedCode { color: #6c6c6c; }
 .Comment { color: #9090ff; }
 -->
diff --git a/html/999spaces.cc.html b/html/999spaces.cc.html
index 19081fe1..1513e987 100644
--- a/html/999spaces.cc.html
+++ b/html/999spaces.cc.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
 -->
diff --git a/html/channel.mu.html b/html/channel.mu.html
index 405dd291..4496975f 100644
--- a/html/channel.mu.html
+++ b/html/channel.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html
index eabb8274..250da96b 100644
--- a/html/chessboard.mu.html
+++ b/html/chessboard.mu.html
@@ -10,11 +10,11 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muData { color: #ffff00; }
 .CommentedCode { color: #6c6c6c; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .muScenario { color: #00af00; }
 .SalientComment { color: #00ffff; }
diff --git a/html/console.mu.html b/html/console.mu.html
index 8332dc23..dfb00923 100644
--- a/html/console.mu.html
+++ b/html/console.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
 .Special { color: #ff6060; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
diff --git a/html/counters.mu.html b/html/counters.mu.html
index 5d419207..7cf5295f 100644
--- a/html/counters.mu.html
+++ b/html/counters.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/display.mu.html b/html/display.mu.html
index d3c143fd..f7a7365c 100644
--- a/html/display.mu.html
+++ b/html/display.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html
index 4ca8b427..54f91eb8 100644
--- a/html/edit/001-editor.mu.html
+++ b/html/edit/001-editor.mu.html
@@ -10,8 +10,8 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 .Special { color: #ff6060; }
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html
index 5b7d7872..4de14e9b 100644
--- a/html/edit/002-typing.mu.html
+++ b/html/edit/002-typing.mu.html
@@ -10,11 +10,11 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muData { color: #ffff00; }
 .muScenario { color: #00af00; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html
index ee6c44bc..dc1a56b1 100644
--- a/html/edit/003-shortcuts.mu.html
+++ b/html/edit/003-shortcuts.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html
index 4fd659fd..b6c6da7d 100644
--- a/html/edit/004-programming-environment.mu.html
+++ b/html/edit/004-programming-environment.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muScenario { color: #00af00; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muData { color: #ffff00; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html
index 9dcb6ff3..d94d105d 100644
--- a/html/edit/005-sandbox.mu.html
+++ b/html/edit/005-sandbox.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muScenario { color: #00af00; }
 .muData { color: #ffff00; }
 .Special { color: #ff6060; }
diff --git a/html/edit/006-sandbox-edit.mu.html b/html/edit/006-sandbox-edit.mu.html
index f6a737b2..1da28638 100644
--- a/html/edit/006-sandbox-edit.mu.html
+++ b/html/edit/006-sandbox-edit.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .Special { color: #ff6060; }
 .Comment { color: #9090ff; }
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html
index a41e9466..dfe5cea6 100644
--- a/html/edit/007-sandbox-delete.mu.html
+++ b/html/edit/007-sandbox-delete.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .Special { color: #ff6060; }
 .Comment { color: #9090ff; }
diff --git a/html/edit/008-sandbox-test.mu.html b/html/edit/008-sandbox-test.mu.html
index 208636a5..c4876e9c 100644
--- a/html/edit/008-sandbox-test.mu.html
+++ b/html/edit/008-sandbox-test.mu.html
@@ -10,9 +10,9 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .muData { color: #ffff00; }
 .Special { color: #ff6060; }
diff --git a/html/edit/009-sandbox-trace.mu.html b/html/edit/009-sandbox-trace.mu.html
index 7a88ee9e..454d4f84 100644
--- a/html/edit/009-sandbox-trace.mu.html
+++ b/html/edit/009-sandbox-trace.mu.html
@@ -10,8 +10,8 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
-.Delimiter { color: #a04060; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/010-errors.mu.html b/html/edit/010-errors.mu.html
index aff63491..ce0194d4 100644
--- a/html/edit/010-errors.mu.html
+++ b/html/edit/010-errors.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muScenario { color: #00af00; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/edit/011-editor-undo.mu.html b/html/edit/011-editor-undo.mu.html
index 78005789..00f15a79 100644
--- a/html/edit/011-editor-undo.mu.html
+++ b/html/edit/011-editor-undo.mu.html
@@ -10,11 +10,11 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muScenario { color: #00af00; }
 .muControl { color: #c0a020; }
 .Special { color: #ff6060; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
 .muData { color: #ffff00; }
diff --git a/html/example1.mu.html b/html/example1.mu.html
index f3466dec..5be843b9 100644
--- a/html/example1.mu.html
+++ b/html/example1.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/factorial.mu.html b/html/factorial.mu.html
index c0e930a7..47a20cd5 100644
--- a/html/factorial.mu.html
+++ b/html/factorial.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muScenario { color: #00af00; }
 .muControl { color: #c0a020; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/fork.mu.html b/html/fork.mu.html
index c2ea7b19..dc427385 100644
--- a/html/fork.mu.html
+++ b/html/fork.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
 .Constant { color: #00a0a0; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
 -->
diff --git a/html/global.mu.html b/html/global.mu.html
index eef09bb1..6dd90acd 100644
--- a/html/global.mu.html
+++ b/html/global.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/screen.mu.html b/html/screen.mu.html
index 97432e2c..ecb82cbf 100644
--- a/html/screen.mu.html
+++ b/html/screen.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/html/static_dispatch.mu.html b/html/static_dispatch.mu.html
index e499fb8f..ae9c4e60 100644
--- a/html/static_dispatch.mu.html
+++ b/html/static_dispatch.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Comment { color: #9090ff; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
diff --git a/html/tangle.mu.html b/html/tangle.mu.html
index 7157ed39..505e91db 100644
--- a/html/tangle.mu.html
+++ b/html/tangle.mu.html
@@ -10,10 +10,10 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .muControl { color: #c0a020; }
 .Special { color: #ff6060; }
-.Delimiter { color: #a04060; }
+.Delimiter { color: #800080; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
diff --git a/html/x.mu.html b/html/x.mu.html
index 55cb392d..0a92794e 100644
--- a/html/x.mu.html
+++ b/html/x.mu.html
@@ -10,7 +10,7 @@
 <style type="text/css">
 <!--
 pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-family: monospace; color: #eeeeee; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
 .Special { color: #ff6060; }
 .Constant { color: #00a0a0; }
 .muRecipe { color: #ff8700; }
diff --git a/update_html b/update_html
index 68441e28..4e5ce473 100755
--- a/update_html
+++ b/update_html
@@ -8,12 +8,15 @@ process() {
 
   sed -i 's,<title>\~/mu/,<title>Mu - ,' $1.html
   sed -i 's,\.html</title>,</title>,' $1.html
-  sed -i 's/^\*.*/* { font-size: 1.05em; }/g' $1.html
+  sed -i 's/^\* { \(.*\) }/* { font-size: 12pt; \1 }/g' $1.html
+  sed -i 's/^body { \(.*\) }/body { font-size: 12pt; \1 }/g' $1.html
   # tweak contrast
   sed -i 's/^\.Constant .*/.Constant { color: #00a0a0; }/' $1.html
   sed -i 's/^\.muControl .*/.muControl { color: #c0a020; }/' $1.html
   sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }/' $1.html
-  sed -i 's/^\.Delimiter .*/.Delimiter { color: #a04060; }/' $1.html  # not meant to be read/ can be lower-contrast
+  sed -i 's/^\.Delimiter .*/.Delimiter { color: #800080; }/' $1.html  # not meant to be read; can be lower-contrast
+  sed -i 's/^\.PreProc .*/.PreProc { color: #800080; }/' $1.html  # not meant to be read; can be lower-contrast
+  sed -i 's/^\.Identifier .*/.Identifier { color: #fcb165; }/' $1.html
 
   mv -i $1.html html/`dirname $1`
 }
-- 
cgit 1.4.1-2-gfad0