From 4a39d12d4568f76ebf45b34cec722d8e0bcf1207 Mon Sep 17 00:00:00 2001
From: "Kartik K. Agaram" <vc@akkartik.com>
Date: Wed, 8 Mar 2017 19:02:59 -0800
Subject: 3764 - better colors for cross-links

---
 html/000organization.cc.html                  |  9 +++++----
 html/001help.cc.html                          |  9 +++++----
 html/002test.cc.html                          |  9 +++++----
 html/003trace.cc.html                         |  9 +++++----
 html/003trace.test.cc.html                    |  9 +++++----
 html/010vm.cc.html                            |  9 +++++----
 html/011load.cc.html                          |  9 +++++----
 html/012transform.cc.html                     |  9 +++++----
 html/013update_operation.cc.html              |  9 +++++----
 html/014literal_string.cc.html                |  9 +++++----
 html/015literal_noninteger.cc.html            |  9 +++++----
 html/016dilated_reagent.cc.html               |  9 +++++----
 html/017parse_tree.cc.html                    |  9 +++++----
 html/018type_abbreviations.cc.html            |  9 +++++----
 html/020run.cc.html                           |  9 +++++----
 html/021check_instruction.cc.html             |  9 +++++----
 html/022arithmetic.cc.html                    |  9 +++++----
 html/023boolean.cc.html                       |  9 +++++----
 html/024jump.cc.html                          |  9 +++++----
 html/025compare.cc.html                       |  9 +++++----
 html/026call.cc.html                          |  9 +++++----
 html/027call_ingredient.cc.html               |  9 +++++----
 html/028call_return.cc.html                   |  9 +++++----
 html/029tools.cc.html                         |  9 +++++----
 html/030container.cc.html                     |  9 +++++----
 html/031merge.cc.html                         |  9 +++++----
 html/032array.cc.html                         |  9 +++++----
 html/033exclusive_container.cc.html           |  9 +++++----
 html/034address.cc.html                       |  9 +++++----
 html/035lookup.cc.html                        |  9 +++++----
 html/036refcount.cc.html                      |  9 +++++----
 html/037abandon.cc.html                       |  9 +++++----
 html/038new_text.cc.html                      |  9 +++++----
 html/039location_array.cc.html                |  9 +++++----
 html/040brace.cc.html                         |  9 +++++----
 html/041jump_target.cc.html                   |  9 +++++----
 html/042name.cc.html                          |  9 +++++----
 html/043space.cc.html                         |  9 +++++----
 html/044space_surround.cc.html                |  9 +++++----
 html/045closure_name.cc.html                  |  9 +++++----
 html/046global.cc.html                        |  9 +++++----
 html/047check_type_by_name.cc.html            |  9 +++++----
 html/050scenario.cc.html                      |  9 +++++----
 html/051scenario_test.mu.html                 |  7 ++++---
 html/052tangle.cc.html                        |  9 +++++----
 html/053recipe_header.cc.html                 |  9 +++++----
 html/054static_dispatch.cc.html               |  9 +++++----
 html/055shape_shifting_container.cc.html      |  9 +++++----
 html/056shape_shifting_recipe.cc.html         |  9 +++++----
 html/057immutable.cc.html                     |  9 +++++----
 html/058to_text.cc.html                       |  9 +++++----
 html/059to_text.mu.html                       |  7 ++++---
 html/060rewrite_literal_string.cc.html        |  9 +++++----
 html/061text.mu.html                          |  7 ++++---
 html/062convert_ingredients_to_text.cc.html   |  9 +++++----
 html/063array.mu.html                         |  7 ++++---
 html/064list.mu.html                          |  7 ++++---
 html/065duplex_list.mu.html                   |  7 ++++---
 html/066stream.mu.html                        |  7 ++++---
 html/067random.cc.html                        |  9 +++++----
 html/068random.mu.html                        |  7 ++++---
 html/069hash.cc.html                          |  9 +++++----
 html/070table.mu.html                         |  7 ++++---
 html/071recipe.cc.html                        |  9 +++++----
 html/072scheduler.cc.html                     |  9 +++++----
 html/073wait.cc.html                          |  9 +++++----
 html/074deep_copy.cc.html                     |  9 +++++----
 html/075channel.mu.html                       |  7 ++++---
 html/080display.cc.html                       |  9 +++++----
 html/081print.mu.html                         |  7 ++++---
 html/082scenario_screen.cc.html               |  9 +++++----
 html/083scenario_screen_test.mu.html          |  7 ++++---
 html/084console.mu.html                       |  7 ++++---
 html/085scenario_console.cc.html              |  9 +++++----
 html/086scenario_console_test.mu.html         |  7 ++++---
 html/087file.cc.html                          |  9 +++++----
 html/088file.mu.html                          |  7 ++++---
 html/089scenario_filesystem.cc.html           |  9 +++++----
 html/090scenario_filesystem_test.mu.html      |  7 ++++---
 html/091socket.cc.html                        |  9 +++++----
 html/092socket.mu.html                        |  7 ++++---
 html/099hardware_checks.cc.html               |  9 +++++----
 html/100trace_browser.cc.html                 |  9 +++++----
 html/101run_sandboxed.cc.html                 |  9 +++++----
 html/998check_type_pointers.cc.html           |  7 ++++---
 html/999spaces.cc.html                        |  7 ++++---
 html/channel.mu.html                          |  7 ++++---
 html/chessboard.mu.html                       |  7 ++++---
 html/console.mu.html                          |  7 ++++---
 html/counters.mu.html                         |  7 ++++---
 html/display.mu.html                          |  7 ++++---
 html/edit/001-editor.mu.html                  |  7 ++++---
 html/edit/002-typing.mu.html                  |  7 ++++---
 html/edit/003-shortcuts.mu.html               |  7 ++++---
 html/edit/004-programming-environment.mu.html |  7 ++++---
 html/edit/005-sandbox.mu.html                 |  7 ++++---
 html/edit/006-sandbox-copy.mu.html            |  7 ++++---
 html/edit/007-sandbox-delete.mu.html          |  7 ++++---
 html/edit/008-sandbox-edit.mu.html            |  7 ++++---
 html/edit/009-sandbox-test.mu.html            |  7 ++++---
 html/edit/010-sandbox-trace.mu.html           |  7 ++++---
 html/edit/011-errors.mu.html                  |  7 ++++---
 html/edit/012-editor-undo.mu.html             |  7 ++++---
 html/example1.mu.html                         |  6 +++---
 html/factorial.mu.html                        |  7 ++++---
 html/filesystem.mu.html                       |  7 ++++---
 html/fork.mu.html                             |  7 ++++---
 html/global.mu.html                           |  7 ++++---
 html/http-client.mu.html                      |  7 ++++---
 html/http-server.mu.html                      |  7 ++++---
 html/immutable-error.mu.html                  |  7 ++++---
 html/lambda-to-mu.mu.html                     |  7 ++++---
 html/mutable.mu.html                          |  7 ++++---
 html/nqueens.mu.html                          |  7 ++++---
 html/real-files.mu.html                       |  7 ++++---
 html/screen.mu.html                           |  7 ++++---
 html/static-dispatch.mu.html                  |  7 ++++---
 html/tangle.mu.html                           |  7 ++++---
 html/x.mu.html                                |  7 ++++---
 update_html                                   | 14 +++++++++-----
 120 files changed, 551 insertions(+), 429 deletions(-)

diff --git a/html/000organization.cc.html b/html/000organization.cc.html
index 1a24a0f1..ba660385 100644
--- a/html/000organization.cc.html
+++ b/html/000organization.cc.html
@@ -10,17 +10,18 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .PreProc { color: #800080; }
 -->
 </style>
diff --git a/html/001help.cc.html b/html/001help.cc.html
index 287e556f..55001a58 100644
--- a/html/001help.cc.html
+++ b/html/001help.cc.html
@@ -10,19 +10,20 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .PreProc { color: #800080; }
 .CommentedCode { color: #6c6c6c; }
 .cSpecial { color: #008000; }
diff --git a/html/002test.cc.html b/html/002test.cc.html
index 02db677f..e2ec2aff 100644
--- a/html/002test.cc.html
+++ b/html/002test.cc.html
@@ -10,18 +10,19 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .PreProc { color: #800080; }
 .CommentedCode { color: #6c6c6c; }
 .cSpecial { color: #008000; }
diff --git a/html/003trace.cc.html b/html/003trace.cc.html
index 21005a48..fdb88d45 100644
--- a/html/003trace.cc.html
+++ b/html/003trace.cc.html
@@ -10,18 +10,19 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .PreProc { color: #800080; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/003trace.test.cc.html b/html/003trace.test.cc.html
index c413346f..5c6423de 100644
--- a/html/003trace.test.cc.html
+++ b/html/003trace.test.cc.html
@@ -10,16 +10,17 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 -->
 </style>
diff --git a/html/010vm.cc.html b/html/010vm.cc.html
index 72c39b11..9b80d3ee 100644
--- a/html/010vm.cc.html
+++ b/html/010vm.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .PreProc { color: #800080; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .muRecipe { color: #ff8700; }
 .CommentedCode { color: #6c6c6c; }
 .cSpecial { color: #008000; }
diff --git a/html/011load.cc.html b/html/011load.cc.html
index 3c89e1a6..b2bf3015 100644
--- a/html/011load.cc.html
+++ b/html/011load.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .traceAbsent { color: #c00000; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/012transform.cc.html b/html/012transform.cc.html
index 708abaaa..c22f076a 100644
--- a/html/012transform.cc.html
+++ b/html/012transform.cc.html
@@ -10,18 +10,19 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 -->
 </style>
 
diff --git a/html/013update_operation.cc.html b/html/013update_operation.cc.html
index 42d3fb79..044050ad 100644
--- a/html/013update_operation.cc.html
+++ b/html/013update_operation.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .CommentedCode { color: #6c6c6c; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .muRecipe { color: #ff8700; }
 .Identifier { color: #c0a020; }
 .cSpecial { color: #008000; }
diff --git a/html/014literal_string.cc.html b/html/014literal_string.cc.html
index 189126ed..9648d69b 100644
--- a/html/014literal_string.cc.html
+++ b/html/014literal_string.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/015literal_noninteger.cc.html b/html/015literal_noninteger.cc.html
index 6a0fc6a5..f4efa035 100644
--- a/html/015literal_noninteger.cc.html
+++ b/html/015literal_noninteger.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/016dilated_reagent.cc.html b/html/016dilated_reagent.cc.html
index 79c1c9d7..df1b8ee5 100644
--- a/html/016dilated_reagent.cc.html
+++ b/html/016dilated_reagent.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,12 +21,13 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
 .Error { color: #ffffff; background-color: #ff6060; padding-bottom: 1px; }
 .PreProc { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .traceContains { color: #008000; }
 -->
 </style>
diff --git a/html/017parse_tree.cc.html b/html/017parse_tree.cc.html
index 0a4630be..adfb24b3 100644
--- a/html/017parse_tree.cc.html
+++ b/html/017parse_tree.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .muData { color: #ffff00; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/018type_abbreviations.cc.html b/html/018type_abbreviations.cc.html
index 2df2762f..7a686942 100644
--- a/html/018type_abbreviations.cc.html
+++ b/html/018type_abbreviations.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .traceContains { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/020run.cc.html b/html/020run.cc.html
index 1e4a93a2..093f069a 100644
--- a/html/020run.cc.html
+++ b/html/020run.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -22,10 +22,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html
index 011ea0a7..60edd3e7 100644
--- a/html/021check_instruction.cc.html
+++ b/html/021check_instruction.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .muRecipe { color: #ff8700; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/022arithmetic.cc.html b/html/022arithmetic.cc.html
index e2d7083c..6ce05a81 100644
--- a/html/022arithmetic.cc.html
+++ b/html/022arithmetic.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Special { color: #c00000; }
 .PreProc { color: #800080; }
 .cSpecial { color: #008000; }
diff --git a/html/023boolean.cc.html b/html/023boolean.cc.html
index 4fcfa930..90ea4bc6 100644
--- a/html/023boolean.cc.html
+++ b/html/023boolean.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Special { color: #c00000; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/024jump.cc.html b/html/024jump.cc.html
index 93f81698..52ac4c73 100644
--- a/html/024jump.cc.html
+++ b/html/024jump.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,11 +20,12 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
 .traceAbsent { color: #c00000; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/025compare.cc.html b/html/025compare.cc.html
index 5a647d15..8480dce6 100644
--- a/html/025compare.cc.html
+++ b/html/025compare.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Special { color: #c00000; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/026call.cc.html b/html/026call.cc.html
index fe120753..bb0dcfcd 100644
--- a/html/026call.cc.html
+++ b/html/026call.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .SalientComment { color: #00ffff; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/027call_ingredient.cc.html b/html/027call_ingredient.cc.html
index d94e91e1..10e2a158 100644
--- a/html/027call_ingredient.cc.html
+++ b/html/027call_ingredient.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/028call_return.cc.html b/html/028call_return.cc.html
index 7431dbdf..d6353a9a 100644
--- a/html/028call_return.cc.html
+++ b/html/028call_return.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/029tools.cc.html b/html/029tools.cc.html
index c6378911..910587b9 100644
--- a/html/029tools.cc.html
+++ b/html/029tools.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .SalientComment { color: #00ffff; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .CommentedCode { color: #6c6c6c; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
diff --git a/html/030container.cc.html b/html/030container.cc.html
index 3c01da4b..74f18505 100644
--- a/html/030container.cc.html
+++ b/html/030container.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -23,10 +23,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/031merge.cc.html b/html/031merge.cc.html
index dba2759f..6b6c0206 100644
--- a/html/031merge.cc.html
+++ b/html/031merge.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Special { color: #c00000; }
 .cSpecial { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .traceContains { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
diff --git a/html/032array.cc.html b/html/032array.cc.html
index d95b2a46..11582655 100644
--- a/html/032array.cc.html
+++ b/html/032array.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .traceContains { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/033exclusive_container.cc.html b/html/033exclusive_container.cc.html
index 96f2c6fd..bd69c42b 100644
--- a/html/033exclusive_container.cc.html
+++ b/html/033exclusive_container.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .traceContains { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/034address.cc.html b/html/034address.cc.html
index a7924cd6..36424d9e 100644
--- a/html/034address.cc.html
+++ b/html/034address.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .CommentedCode { color: #6c6c6c; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
diff --git a/html/035lookup.cc.html b/html/035lookup.cc.html
index 7ba368f8..3ce352c8 100644
--- a/html/035lookup.cc.html
+++ b/html/035lookup.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,11 +21,12 @@ a:hover { text-decoration: underline; }
 .SalientComment { color: #00ffff; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
 .traceAbsent { color: #c00000; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/036refcount.cc.html b/html/036refcount.cc.html
index 7b01af8a..1ef47a04 100644
--- a/html/036refcount.cc.html
+++ b/html/036refcount.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .traceContains { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/037abandon.cc.html b/html/037abandon.cc.html
index 78af3348..b862337f 100644
--- a/html/037abandon.cc.html
+++ b/html/037abandon.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .CommentedCode { color: #6c6c6c; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .traceContains { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/038new_text.cc.html b/html/038new_text.cc.html
index f980c835..f676f23c 100644
--- a/html/038new_text.cc.html
+++ b/html/038new_text.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .SalientComment { color: #00ffff; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .CommentedCode { color: #6c6c6c; }
 .traceContains { color: #008000; }
diff --git a/html/039location_array.cc.html b/html/039location_array.cc.html
index e1d9eb02..2637ca25 100644
--- a/html/039location_array.cc.html
+++ b/html/039location_array.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,8 +20,9 @@ a:hover { text-decoration: underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .cSpecial { color: #008000; }
 -->
 </style>
diff --git a/html/040brace.cc.html b/html/040brace.cc.html
index 3befa819..762bf34f 100644
--- a/html/040brace.cc.html
+++ b/html/040brace.cc.html
@@ -10,20 +10,21 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
 .Constant { color: #00a0a0; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/041jump_target.cc.html b/html/041jump_target.cc.html
index 456e497b..2ca57608 100644
--- a/html/041jump_target.cc.html
+++ b/html/041jump_target.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .traceContains { color: #008000; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/042name.cc.html b/html/042name.cc.html
index 00e5267b..3cbcfc56 100644
--- a/html/042name.cc.html
+++ b/html/042name.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/043space.cc.html b/html/043space.cc.html
index 4f122dc0..f07896ac 100644
--- a/html/043space.cc.html
+++ b/html/043space.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -22,10 +22,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/044space_surround.cc.html b/html/044space_surround.cc.html
index a6d7f82e..8001606b 100644
--- a/html/044space_surround.cc.html
+++ b/html/044space_surround.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/045closure_name.cc.html b/html/045closure_name.cc.html
index b400cdd3..f3afa306 100644
--- a/html/045closure_name.cc.html
+++ b/html/045closure_name.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .cSpecial { color: #008000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Constant { color: #00a0a0; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/046global.cc.html b/html/046global.cc.html
index 000b647a..9737ee56 100644
--- a/html/046global.cc.html
+++ b/html/046global.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/047check_type_by_name.cc.html b/html/047check_type_by_name.cc.html
index 0aec2954..c6bc8a75 100644
--- a/html/047check_type_by_name.cc.html
+++ b/html/047check_type_by_name.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .traceAbsent { color: #c00000; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/050scenario.cc.html b/html/050scenario.cc.html
index 5a6caf90..491d1a4d 100644
--- a/html/050scenario.cc.html
+++ b/html/050scenario.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -23,10 +23,11 @@ a:hover { text-decoration: underline; }
 .cSpecial { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .traceContains { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/051scenario_test.mu.html b/html/051scenario_test.mu.html
index cea59dd8..f4f9b2dd 100644
--- a/html/051scenario_test.mu.html
+++ b/html/051scenario_test.mu.html
@@ -10,15 +10,16 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
 .muScenario { color: #00af00; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/052tangle.cc.html b/html/052tangle.cc.html
index 7cab85a1..8217fcfa 100644
--- a/html/052tangle.cc.html
+++ b/html/052tangle.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .traceAbsent { color: #c00000; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/053recipe_header.cc.html b/html/053recipe_header.cc.html
index 84300629..6108ae31 100644
--- a/html/053recipe_header.cc.html
+++ b/html/053recipe_header.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .Error { color: #ffffff; background-color: #ff6060; padding-bottom: 1px; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/054static_dispatch.cc.html b/html/054static_dispatch.cc.html
index 6479384a..6ea8804d 100644
--- a/html/054static_dispatch.cc.html
+++ b/html/054static_dispatch.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/055shape_shifting_container.cc.html b/html/055shape_shifting_container.cc.html
index 3b76abcd..c6fcd7de 100644
--- a/html/055shape_shifting_container.cc.html
+++ b/html/055shape_shifting_container.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -22,10 +22,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .cSpecial { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .traceContains { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/056shape_shifting_recipe.cc.html b/html/056shape_shifting_recipe.cc.html
index 27dea8ee..22182a06 100644
--- a/html/056shape_shifting_recipe.cc.html
+++ b/html/056shape_shifting_recipe.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -22,10 +22,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .traceContains { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/057immutable.cc.html b/html/057immutable.cc.html
index ae7eee7b..308bba2a 100644
--- a/html/057immutable.cc.html
+++ b/html/057immutable.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .cSpecial { color: #008000; }
 .muData { color: #ffff00; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Constant { color: #00a0a0; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/058to_text.cc.html b/html/058to_text.cc.html
index 7d4ba1b7..7d2b2bdb 100644
--- a/html/058to_text.cc.html
+++ b/html/058to_text.cc.html
@@ -10,18 +10,19 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 -->
 </style>
diff --git a/html/059to_text.mu.html b/html/059to_text.mu.html
index 43d5e7f4..3f4f0307 100644
--- a/html/059to_text.mu.html
+++ b/html/059to_text.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Special { color: #c00000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/060rewrite_literal_string.cc.html b/html/060rewrite_literal_string.cc.html
index 50d77e90..a7bccb19 100644
--- a/html/060rewrite_literal_string.cc.html
+++ b/html/060rewrite_literal_string.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .traceContains { color: #008000; }
 -->
 </style>
diff --git a/html/061text.mu.html b/html/061text.mu.html
index 8e4df968..82032cc6 100644
--- a/html/061text.mu.html
+++ b/html/061text.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,6 +21,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/062convert_ingredients_to_text.cc.html b/html/062convert_ingredients_to_text.cc.html
index 798631f9..87f06288 100644
--- a/html/062convert_ingredients_to_text.cc.html
+++ b/html/062convert_ingredients_to_text.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .muData { color: #ffff00; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Constant { color: #00a0a0; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/063array.mu.html b/html/063array.mu.html
index 7dc35c5a..f4c97ebb 100644
--- a/html/063array.mu.html
+++ b/html/063array.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 -->
 </style>
 
diff --git a/html/064list.mu.html b/html/064list.mu.html
index e0cd961c..7369d305 100644
--- a/html/064list.mu.html
+++ b/html/064list.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,6 +21,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/065duplex_list.mu.html b/html/065duplex_list.mu.html
index 360a37f3..6b0ecab7 100644
--- a/html/065duplex_list.mu.html
+++ b/html/065duplex_list.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,6 +21,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/066stream.mu.html b/html/066stream.mu.html
index 3a5268c5..07a62110 100644
--- a/html/066stream.mu.html
+++ b/html/066stream.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/067random.cc.html b/html/067random.cc.html
index abda18e5..ff23e721 100644
--- a/html/067random.cc.html
+++ b/html/067random.cc.html
@@ -10,17 +10,18 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 -->
 </style>
 
diff --git a/html/068random.mu.html b/html/068random.mu.html
index 1518a617..a1d75f32 100644
--- a/html/068random.mu.html
+++ b/html/068random.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 -->
 </style>
 
diff --git a/html/069hash.cc.html b/html/069hash.cc.html
index 38bfc900..b3d4fbd7 100644
--- a/html/069hash.cc.html
+++ b/html/069hash.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .CommentedCode { color: #6c6c6c; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .Special { color: #c00000; }
 .cSpecial { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .traceContains { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
diff --git a/html/070table.mu.html b/html/070table.mu.html
index 8733c855..2a7ee07f 100644
--- a/html/070table.mu.html
+++ b/html/070table.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Special { color: #c00000; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
diff --git a/html/071recipe.cc.html b/html/071recipe.cc.html
index 91074b81..abc13fff 100644
--- a/html/071recipe.cc.html
+++ b/html/071recipe.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .SalientComment { color: #00ffff; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/072scheduler.cc.html b/html/072scheduler.cc.html
index 378ed639..f63cfae0 100644
--- a/html/072scheduler.cc.html
+++ b/html/072scheduler.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/073wait.cc.html b/html/073wait.cc.html
index 22a488c2..713aa669 100644
--- a/html/073wait.cc.html
+++ b/html/073wait.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .traceContains { color: #008000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/074deep_copy.cc.html b/html/074deep_copy.cc.html
index 5d3b52f8..603c0a38 100644
--- a/html/074deep_copy.cc.html
+++ b/html/074deep_copy.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .cSpecial { color: #008000; }
 .muData { color: #ffff00; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Constant { color: #00a0a0; }
 .traceContains { color: #008000; }
 -->
diff --git a/html/075channel.mu.html b/html/075channel.mu.html
index a0493e7e..8b3f86f2 100644
--- a/html/075channel.mu.html
+++ b/html/075channel.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -21,6 +21,7 @@ a:hover { text-decoration: underline; }
 .Delimiter { color: #800080; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
diff --git a/html/080display.cc.html b/html/080display.cc.html
index 4c2c5e74..a91b2c3d 100644
--- a/html/080display.cc.html
+++ b/html/080display.cc.html
@@ -10,19 +10,20 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .PreProc { color: #800080; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/081print.mu.html b/html/081print.mu.html
index 6796ccbc..5b50242e 100644
--- a/html/081print.mu.html
+++ b/html/081print.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,6 +21,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/082scenario_screen.cc.html b/html/082scenario_screen.cc.html
index 0a66066b..cd05186d 100644
--- a/html/082scenario_screen.cc.html
+++ b/html/082scenario_screen.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,10 +21,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .traceAbsent { color: #c00000; }
 .Delimiter { color: #800080; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
 .Identifier { color: #c0a020; }
diff --git a/html/083scenario_screen_test.mu.html b/html/083scenario_screen_test.mu.html
index 917110d4..645a88c6 100644
--- a/html/083scenario_screen_test.mu.html
+++ b/html/083scenario_screen_test.mu.html
@@ -10,15 +10,16 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
 .muScenario { color: #00af00; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/084console.mu.html b/html/084console.mu.html
index de92f8f6..49937f4c 100644
--- a/html/084console.mu.html
+++ b/html/084console.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/085scenario_console.cc.html b/html/085scenario_console.cc.html
index a287499b..37861dba 100644
--- a/html/085scenario_console.cc.html
+++ b/html/085scenario_console.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .muScenario { color: #00af00; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 -->
 </style>
diff --git a/html/086scenario_console_test.mu.html b/html/086scenario_console_test.mu.html
index 3171d80d..9045b45b 100644
--- a/html/086scenario_console_test.mu.html
+++ b/html/086scenario_console_test.mu.html
@@ -10,15 +10,16 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
 .muScenario { color: #00af00; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/087file.cc.html b/html/087file.cc.html
index db5bacb8..7dee6f67 100644
--- a/html/087file.cc.html
+++ b/html/087file.cc.html
@@ -10,18 +10,19 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .PreProc { color: #800080; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/088file.mu.html b/html/088file.mu.html
index 30eaf372..388b57a5 100644
--- a/html/088file.mu.html
+++ b/html/088file.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/089scenario_filesystem.cc.html b/html/089scenario_filesystem.cc.html
index 1bf75454..01978be0 100644
--- a/html/089scenario_filesystem.cc.html
+++ b/html/089scenario_filesystem.cc.html
@@ -10,19 +10,20 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .muScenario { color: #00af00; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/090scenario_filesystem_test.mu.html b/html/090scenario_filesystem_test.mu.html
index e0a8ba7f..1fb26361 100644
--- a/html/090scenario_filesystem_test.mu.html
+++ b/html/090scenario_filesystem_test.mu.html
@@ -10,15 +10,16 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
 .muScenario { color: #00af00; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/091socket.cc.html b/html/091socket.cc.html
index 58e0c90a..58500b27 100644
--- a/html/091socket.cc.html
+++ b/html/091socket.cc.html
@@ -10,18 +10,19 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
 .CommentedCode { color: #6c6c6c; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .PreProc { color: #800080; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/092socket.mu.html b/html/092socket.mu.html
index 04b81c38..fa91f366 100644
--- a/html/092socket.mu.html
+++ b/html/092socket.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Special { color: #c00000; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
diff --git a/html/099hardware_checks.cc.html b/html/099hardware_checks.cc.html
index 494433e2..bc35d917 100644
--- a/html/099hardware_checks.cc.html
+++ b/html/099hardware_checks.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .traceContains { color: #008000; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .muRecipe { color: #ff8700; }
 .cSpecial { color: #008000; }
 -->
diff --git a/html/100trace_browser.cc.html b/html/100trace_browser.cc.html
index ea42981c..d7f1dfcd 100644
--- a/html/100trace_browser.cc.html
+++ b/html/100trace_browser.cc.html
@@ -10,18 +10,19 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .cSpecial { color: #008000; }
 -->
 </style>
diff --git a/html/101run_sandboxed.cc.html b/html/101run_sandboxed.cc.html
index d5016d3f..1c6f24d4 100644
--- a/html/101run_sandboxed.cc.html
+++ b/html/101run_sandboxed.cc.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
@@ -20,10 +20,11 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Identifier { color: #c0a020; }
-.Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; }
+.Normal { color: #aaaaaa; background-color: #080808; padding-bottom: 1px; }
 .CommentedCode { color: #6c6c6c; }
 .cSpecial { color: #008000; }
 .traceContains { color: #008000; }
diff --git a/html/998check_type_pointers.cc.html b/html/998check_type_pointers.cc.html
index 0f5b95a4..0c26fe83 100644
--- a/html/998check_type_pointers.cc.html
+++ b/html/998check_type_pointers.cc.html
@@ -10,12 +10,13 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .LineNr { color: #444444; }
 .CommentedCode { color: #6c6c6c; }
 -->
diff --git a/html/999spaces.cc.html b/html/999spaces.cc.html
index 9d3d5b67..5569e943 100644
--- a/html/999spaces.cc.html
+++ b/html/999spaces.cc.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/channel.mu.html b/html/channel.mu.html
index acae203d..bc5b1141 100644
--- a/html/channel.mu.html
+++ b/html/channel.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html
index 264a3607..79fec0c5 100644
--- a/html/chessboard.mu.html
+++ b/html/chessboard.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,6 +21,7 @@ a:hover { text-decoration: underline; }
 .Delimiter { color: #800080; }
 .SalientComment { color: #00ffff; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/console.mu.html b/html/console.mu.html
index 11cae6ee..46e4284e 100644
--- a/html/console.mu.html
+++ b/html/console.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Delimiter { color: #800080; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/counters.mu.html b/html/counters.mu.html
index 83bd44ce..6e9d80a1 100644
--- a/html/counters.mu.html
+++ b/html/counters.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/display.mu.html b/html/display.mu.html
index 47bf1892..b02e14a1 100644
--- a/html/display.mu.html
+++ b/html/display.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html
index 1355cf75..a0d43300 100644
--- a/html/edit/001-editor.mu.html
+++ b/html/edit/001-editor.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 -->
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html
index 3c8b89ae..78c9971d 100644
--- a/html/edit/002-typing.mu.html
+++ b/html/edit/002-typing.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 -->
diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html
index 2220376e..dfac13b1 100644
--- a/html/edit/003-shortcuts.mu.html
+++ b/html/edit/003-shortcuts.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 -->
 </style>
diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html
index 350af5ac..69694356 100644
--- a/html/edit/004-programming-environment.mu.html
+++ b/html/edit/004-programming-environment.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 -->
diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html
index 1e77e54e..8a7b3986 100644
--- a/html/edit/005-sandbox.mu.html
+++ b/html/edit/005-sandbox.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 -->
diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html
index 3ece6b06..bc8aebb2 100644
--- a/html/edit/006-sandbox-copy.mu.html
+++ b/html/edit/006-sandbox-copy.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 -->
 </style>
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html
index f9371d93..27a07309 100644
--- a/html/edit/007-sandbox-delete.mu.html
+++ b/html/edit/007-sandbox-delete.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 -->
 </style>
diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html
index e1a3ecc6..6b13bd12 100644
--- a/html/edit/008-sandbox-edit.mu.html
+++ b/html/edit/008-sandbox-edit.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 -->
 </style>
diff --git a/html/edit/009-sandbox-test.mu.html b/html/edit/009-sandbox-test.mu.html
index 40dd1013..93625606 100644
--- a/html/edit/009-sandbox-test.mu.html
+++ b/html/edit/009-sandbox-test.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 -->
diff --git a/html/edit/010-sandbox-trace.mu.html b/html/edit/010-sandbox-trace.mu.html
index 99709a40..2cf2dc0f 100644
--- a/html/edit/010-sandbox-trace.mu.html
+++ b/html/edit/010-sandbox-trace.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 -->
diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html
index 5a15e5ff..8c7c0a38 100644
--- a/html/edit/011-errors.mu.html
+++ b/html/edit/011-errors.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muData { color: #ffff00; }
 -->
diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html
index 39255865..b54e485e 100644
--- a/html/edit/012-editor-undo.mu.html
+++ b/html/edit/012-editor-undo.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -23,6 +23,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .muScenario { color: #00af00; }
 .muData { color: #ffff00; }
diff --git a/html/example1.mu.html b/html/example1.mu.html
index 518f3e79..2ff1fd66 100644
--- a/html/example1.mu.html
+++ b/html/example1.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
diff --git a/html/factorial.mu.html b/html/factorial.mu.html
index 04253954..db134e8f 100644
--- a/html/factorial.mu.html
+++ b/html/factorial.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -21,6 +21,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html
index b4613166..72a4745f 100644
--- a/html/filesystem.mu.html
+++ b/html/filesystem.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/fork.mu.html b/html/fork.mu.html
index 713ad57d..08224504 100644
--- a/html/fork.mu.html
+++ b/html/fork.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Conceal { color: #4e4e4e; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Delimiter { color: #800080; }
 .LineNr { color: #444444; }
 .Constant { color: #00a0a0; }
diff --git a/html/global.mu.html b/html/global.mu.html
index e2f71850..f2c662b7 100644
--- a/html/global.mu.html
+++ b/html/global.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/http-client.mu.html b/html/http-client.mu.html
index a72c1795..9c628da2 100644
--- a/html/http-client.mu.html
+++ b/html/http-client.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/http-server.mu.html b/html/http-server.mu.html
index aa2048bd..f1e97cc7 100644
--- a/html/http-server.mu.html
+++ b/html/http-server.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/immutable-error.mu.html b/html/immutable-error.mu.html
index 32ffa485..07457b69 100644
--- a/html/immutable-error.mu.html
+++ b/html/immutable-error.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html
index 92edd7c5..4327de62 100644
--- a/html/lambda-to-mu.mu.html
+++ b/html/lambda-to-mu.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Conceal { color: #4e4e4e; }
@@ -24,6 +24,7 @@ a:hover { text-decoration: underline; }
 .LineNr { color: #444444; }
 .muRecipe { color: #ff8700; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .muControl { color: #c0a020; }
 .CommentedCode { color: #6c6c6c; }
 .muData { color: #ffff00; }
diff --git a/html/mutable.mu.html b/html/mutable.mu.html
index 4a0a1166..22ab4368 100644
--- a/html/mutable.mu.html
+++ b/html/mutable.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/nqueens.mu.html b/html/nqueens.mu.html
index e541430a..1c89c974 100644
--- a/html/nqueens.mu.html
+++ b/html/nqueens.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Conceal { color: #4e4e4e; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/real-files.mu.html b/html/real-files.mu.html
index 3f4ca3f7..6b1d9130 100644
--- a/html/real-files.mu.html
+++ b/html/real-files.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/screen.mu.html b/html/screen.mu.html
index 6bcadc01..0792a657 100644
--- a/html/screen.mu.html
+++ b/html/screen.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/html/static-dispatch.mu.html b/html/static-dispatch.mu.html
index 7efbdaeb..f6ed7309 100644
--- a/html/static-dispatch.mu.html
+++ b/html/static-dispatch.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 -->
 </style>
 
diff --git a/html/tangle.mu.html b/html/tangle.mu.html
index 2a3f057f..8f405380 100644
--- a/html/tangle.mu.html
+++ b/html/tangle.mu.html
@@ -10,9 +10,9 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
@@ -20,6 +20,7 @@ a:hover { text-decoration: underline; }
 .Delimiter { color: #800080; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 .muControl { color: #c0a020; }
diff --git a/html/x.mu.html b/html/x.mu.html
index 27d98acc..2581c401 100644
--- a/html/x.mu.html
+++ b/html/x.mu.html
@@ -10,14 +10,15 @@
 <meta name="colorscheme" content="minimal">
 <style type="text/css">
 <!--
-pre { white-space: pre-wrap; font-family: monospace; color: #eeeeee; background-color: #080808; }
-body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
-a { text-decoration: none; }
+pre { white-space: pre-wrap; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+body { font-size: 12pt; font-family: monospace; color: #aaaaaa; background-color: #080808; }
+a { color:#eeeeee; text-decoration: none; }
 a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muRecipe { color: #ff8700; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
+.Comment a { color:#0000ee; text-decoration:underline; }
 .Constant { color: #00a0a0; }
 .LineNr { color: #444444; }
 -->
diff --git a/update_html b/update_html
index 897a6e6e..835a9320 100755
--- a/update_html
+++ b/update_html
@@ -10,14 +10,18 @@ process() {
   sed -i 's,\.html</title>,</title>,' $1.html
   sed -i 's/^\* { \(.*\) }/* { font-size: 12pt; \1 }/g' $1.html
   sed -i 's/^body { \(.*\) }/body { font-size: 12pt; \1 }/g' $1.html
-  sed -i 's/^\.LineNr .*/.LineNr { color: #444444; }/' $1.html  # line numbers
-  # make links less salient since we may have a lot of cross-links
+  # turn most code grey
+  sed -i 's/#eeeeee/#aaaaaa/g' $1.html
+  # ..so that we can use white for cross-links (underlining only on hover)
   sed -i '/^body {/ a  a:hover { text-decoration: underline; }' $1.html
-  sed -i '/^body {/ a  a { text-decoration: none; }' $1.html
-  # tweak contrast
+  sed -i '/^body {/ a  a { color:#eeeeee; text-decoration: none; }' $1.html
+  # line numbers are darker still
+  sed -i 's/^\.LineNr .*/.LineNr { color: #444444; }/' $1.html  # line numbers
+  # tweak contrast for remaining colors
   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
+  # real links in comments continue to be the usual blue
+  sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }\n.Comment a { color:#0000ee; text-decoration:underline; }/' $1.html
   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: #c0a020; }/' $1.html  # same as muControl
-- 
cgit 1.4.1-2-gfad0