3716

Make hyperlinks less salient in the rendered html since there's so many of them.

118 files changed, 236 insertions, 0 deletions

diff --git a/html/000organization.cc.html b/html/000organization.cc.html
index c04b46e2..1a24a0f1 100644
--- a/html/000organization.cc.html
+++ b/html/000organization.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .Comment { color: #9090ff; }
diff --git a/html/001help.cc.html b/html/001help.cc.html
index 3c853458..7a0d02f3 100644
--- a/html/001help.cc.html
+++ b/html/001help.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/002test.cc.html b/html/002test.cc.html
index 88e7053e..0ee68853 100644
--- a/html/002test.cc.html
+++ b/html/002test.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/003trace.cc.html b/html/003trace.cc.html
index aa24480e..5f642614 100644
--- a/html/003trace.cc.html
+++ b/html/003trace.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/003trace.test.cc.html b/html/003trace.test.cc.html
index e64cf44e..da34374e 100644
--- a/html/003trace.test.cc.html
+++ b/html/003trace.test.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/010vm.cc.html b/html/010vm.cc.html
index 6e49a61f..a02ee098 100644
--- a/html/010vm.cc.html
+++ b/html/010vm.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/011load.cc.html b/html/011load.cc.html
index 5a715d13..886a30c7 100644
--- a/html/011load.cc.html
+++ b/html/011load.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/012transform.cc.html b/html/012transform.cc.html
index f888d173..ae1c212f 100644
--- a/html/012transform.cc.html
+++ b/html/012transform.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Comment { color: #9090ff; }
diff --git a/html/013update_operation.cc.html b/html/013update_operation.cc.html
index 0ef4d597..85b04192 100644
--- a/html/013update_operation.cc.html
+++ b/html/013update_operation.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/014literal_string.cc.html b/html/014literal_string.cc.html
index aee55650..fbc0aa4d 100644
--- a/html/014literal_string.cc.html
+++ b/html/014literal_string.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/015literal_noninteger.cc.html b/html/015literal_noninteger.cc.html
index 56426f3d..16e2bbf5 100644
--- a/html/015literal_noninteger.cc.html
+++ b/html/015literal_noninteger.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/016dilated_reagent.cc.html b/html/016dilated_reagent.cc.html
index 1cafe6cf..1f550782 100644
--- a/html/016dilated_reagent.cc.html
+++ b/html/016dilated_reagent.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/017parse_tree.cc.html b/html/017parse_tree.cc.html
index af1ce670..3224e48a 100644
--- a/html/017parse_tree.cc.html
+++ b/html/017parse_tree.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/018type_abbreviations.cc.html b/html/018type_abbreviations.cc.html
index 526f81b6..495f9aed 100644
--- a/html/018type_abbreviations.cc.html
+++ b/html/018type_abbreviations.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .Special { color: #c00000; }
diff --git a/html/020run.cc.html b/html/020run.cc.html
index 9c977ae8..3e78d263 100644
--- a/html/020run.cc.html
+++ b/html/020run.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html
index 391f981c..34214dfc 100644
--- a/html/021check_instruction.cc.html
+++ b/html/021check_instruction.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/022arithmetic.cc.html b/html/022arithmetic.cc.html
index 63ec154e..e1e953a7 100644
--- a/html/022arithmetic.cc.html
+++ b/html/022arithmetic.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/023boolean.cc.html b/html/023boolean.cc.html
index 94c3edac..0946c6f1 100644
--- a/html/023boolean.cc.html
+++ b/html/023boolean.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/024jump.cc.html b/html/024jump.cc.html
index d833f1fd..4ccbae55 100644
--- a/html/024jump.cc.html
+++ b/html/024jump.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/025compare.cc.html b/html/025compare.cc.html
index f90f5aac..fb4c6b37 100644
--- a/html/025compare.cc.html
+++ b/html/025compare.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/026call.cc.html b/html/026call.cc.html
index 02184410..7532dfb8 100644
--- a/html/026call.cc.html
+++ b/html/026call.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/027call_ingredient.cc.html b/html/027call_ingredient.cc.html
index f3abc7ab..5c60f30d 100644
--- a/html/027call_ingredient.cc.html
+++ b/html/027call_ingredient.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/028call_return.cc.html b/html/028call_return.cc.html
index 80c6fc69..c6847dd7 100644
--- a/html/028call_return.cc.html
+++ b/html/028call_return.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/029tools.cc.html b/html/029tools.cc.html
index e4948edf..a355de01 100644
--- a/html/029tools.cc.html
+++ b/html/029tools.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/030container.cc.html b/html/030container.cc.html
index 2c4fe1d1..c7144cb7 100644
--- a/html/030container.cc.html
+++ b/html/030container.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/031merge.cc.html b/html/031merge.cc.html
index 208fd6f1..f6b3bb4e 100644
--- a/html/031merge.cc.html
+++ b/html/031merge.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .Special { color: #c00000; }
diff --git a/html/032array.cc.html b/html/032array.cc.html
index b87cd3f0..fe40d71e 100644
--- a/html/032array.cc.html
+++ b/html/032array.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/033exclusive_container.cc.html b/html/033exclusive_container.cc.html
index 3ee83490..af274e12 100644
--- a/html/033exclusive_container.cc.html
+++ b/html/033exclusive_container.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/034address.cc.html b/html/034address.cc.html
index b98e8286..7ebf5662 100644
--- a/html/034address.cc.html
+++ b/html/034address.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/035lookup.cc.html b/html/035lookup.cc.html
index b8cf1c35..ce6d0ed6 100644
--- a/html/035lookup.cc.html
+++ b/html/035lookup.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/036refcount.cc.html b/html/036refcount.cc.html
index 3d098b2d..f1dfae7d 100644
--- a/html/036refcount.cc.html
+++ b/html/036refcount.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/037abandon.cc.html b/html/037abandon.cc.html
index dd51f0f9..b1326186 100644
--- a/html/037abandon.cc.html
+++ b/html/037abandon.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/038new_text.cc.html b/html/038new_text.cc.html
index ff1d1b96..e883bc95 100644
--- a/html/038new_text.cc.html
+++ b/html/038new_text.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/039location_array.cc.html b/html/039location_array.cc.html
index a3d2a113..f71d3bbb 100644
--- a/html/039location_array.cc.html
+++ b/html/039location_array.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/040brace.cc.html b/html/040brace.cc.html
index 85f5b434..fb92c3da 100644
--- a/html/040brace.cc.html
+++ b/html/040brace.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/041jump_target.cc.html b/html/041jump_target.cc.html
index 62665f41..aa5ce74d 100644
--- a/html/041jump_target.cc.html
+++ b/html/041jump_target.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/042name.cc.html b/html/042name.cc.html
index f4d2b013..23a3ba8f 100644
--- a/html/042name.cc.html
+++ b/html/042name.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/043space.cc.html b/html/043space.cc.html
index 70eae581..efc582f4 100644
--- a/html/043space.cc.html
+++ b/html/043space.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
 .muRecipe { color: #ff8700; }
diff --git a/html/044space_surround.cc.html b/html/044space_surround.cc.html
index 6f8f6981..b6455877 100644
--- a/html/044space_surround.cc.html
+++ b/html/044space_surround.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/045closure_name.cc.html b/html/045closure_name.cc.html
index 950fe28e..7d769d25 100644
--- a/html/045closure_name.cc.html
+++ b/html/045closure_name.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/046global.cc.html b/html/046global.cc.html
index dc7a99f7..6556c730 100644
--- a/html/046global.cc.html
+++ b/html/046global.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/047check_type_by_name.cc.html b/html/047check_type_by_name.cc.html
index cc8a4678..dc78f0a7 100644
--- a/html/047check_type_by_name.cc.html
+++ b/html/047check_type_by_name.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/050scenario.cc.html b/html/050scenario.cc.html
index 71157ba9..a55c1e5a 100644
--- a/html/050scenario.cc.html
+++ b/html/050scenario.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/051scenario_test.mu.html b/html/051scenario_test.mu.html
index e4b4212b..21b5fd8f 100644
--- a/html/051scenario_test.mu.html
+++ b/html/051scenario_test.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/052tangle.cc.html b/html/052tangle.cc.html
index 48085f22..add6b6e7 100644
--- a/html/052tangle.cc.html
+++ b/html/052tangle.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/053recipe_header.cc.html b/html/053recipe_header.cc.html
index 07f94784..da12865f 100644
--- a/html/053recipe_header.cc.html
+++ b/html/053recipe_header.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
 .muRecipe { color: #ff8700; }
diff --git a/html/054static_dispatch.cc.html b/html/054static_dispatch.cc.html
index aa646652..b31daf29 100644
--- a/html/054static_dispatch.cc.html
+++ b/html/054static_dispatch.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/055shape_shifting_container.cc.html b/html/055shape_shifting_container.cc.html
index 40d5b834..c7d7842f 100644
--- a/html/055shape_shifting_container.cc.html
+++ b/html/055shape_shifting_container.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/056shape_shifting_recipe.cc.html b/html/056shape_shifting_recipe.cc.html
index 7210e0eb..fa91c1e5 100644
--- a/html/056shape_shifting_recipe.cc.html
+++ b/html/056shape_shifting_recipe.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .SalientComment { color: #00ffff; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/057immutable.cc.html b/html/057immutable.cc.html
index d3807446..94bbc350 100644
--- a/html/057immutable.cc.html
+++ b/html/057immutable.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/058to_text.cc.html b/html/058to_text.cc.html
index 582af589..d99af43d 100644
--- a/html/058to_text.cc.html
+++ b/html/058to_text.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/059to_text.mu.html b/html/059to_text.mu.html
index 449d2bd6..7cf81afe 100644
--- a/html/059to_text.mu.html
+++ b/html/059to_text.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/060rewrite_literal_string.cc.html b/html/060rewrite_literal_string.cc.html
index 6031311a..c4de9265 100644
--- a/html/060rewrite_literal_string.cc.html
+++ b/html/060rewrite_literal_string.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/061text.mu.html b/html/061text.mu.html
index ecae0b15..c000e927 100644
--- a/html/061text.mu.html
+++ b/html/061text.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/062convert_ingredients_to_text.cc.html b/html/062convert_ingredients_to_text.cc.html
index 30df5a69..9eae6173 100644
--- a/html/062convert_ingredients_to_text.cc.html
+++ b/html/062convert_ingredients_to_text.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/063array.mu.html b/html/063array.mu.html
index 55a44ac1..e94f78f2 100644
--- a/html/063array.mu.html
+++ b/html/063array.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/064list.mu.html b/html/064list.mu.html
index 1354d094..417280f5 100644
--- a/html/064list.mu.html
+++ b/html/064list.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/065duplex_list.mu.html b/html/065duplex_list.mu.html
index dcc74332..3beac519 100644
--- a/html/065duplex_list.mu.html
+++ b/html/065duplex_list.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/066stream.mu.html b/html/066stream.mu.html
index 0354fc0a..0a073cd1 100644
--- a/html/066stream.mu.html
+++ b/html/066stream.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/067random.cc.html b/html/067random.cc.html
index 6d712c10..abda18e5 100644
--- a/html/067random.cc.html
+++ b/html/067random.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Comment { color: #9090ff; }
diff --git a/html/068random.mu.html b/html/068random.mu.html
index daf2e458..1e6c0429 100644
--- a/html/068random.mu.html
+++ b/html/068random.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/069hash.cc.html b/html/069hash.cc.html
index 7dabd8cb..277f98e4 100644
--- a/html/069hash.cc.html
+++ b/html/069hash.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/070table.mu.html b/html/070table.mu.html
index 0c3af41e..786f72be 100644
--- a/html/070table.mu.html
+++ b/html/070table.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/071recipe.cc.html b/html/071recipe.cc.html
index e899e16f..5ecfdb46 100644
--- a/html/071recipe.cc.html
+++ b/html/071recipe.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/072scheduler.cc.html b/html/072scheduler.cc.html
index 811770b5..392eef4c 100644
--- a/html/072scheduler.cc.html
+++ b/html/072scheduler.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/073wait.cc.html b/html/073wait.cc.html
index a0dac113..b393adbe 100644
--- a/html/073wait.cc.html
+++ b/html/073wait.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/074deep_copy.cc.html b/html/074deep_copy.cc.html
index 858dc72c..89490db8 100644
--- a/html/074deep_copy.cc.html
+++ b/html/074deep_copy.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/075channel.mu.html b/html/075channel.mu.html
index fbc9f63b..6c83aeea 100644
--- a/html/075channel.mu.html
+++ b/html/075channel.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/080display.cc.html b/html/080display.cc.html
index 2d4c2767..a3eb3014 100644
--- a/html/080display.cc.html
+++ b/html/080display.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/081print.mu.html b/html/081print.mu.html
index 834666ac..cb658d20 100644
--- a/html/081print.mu.html
+++ b/html/081print.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/082scenario_screen.cc.html b/html/082scenario_screen.cc.html
index 8175bfdd..50abb903 100644
--- a/html/082scenario_screen.cc.html
+++ b/html/082scenario_screen.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .traceAbsent { color: #c00000; }
diff --git a/html/083scenario_screen_test.mu.html b/html/083scenario_screen_test.mu.html
index bcb91f8d..7b2bb361 100644
--- a/html/083scenario_screen_test.mu.html
+++ b/html/083scenario_screen_test.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/084console.mu.html b/html/084console.mu.html
index a9378fdf..1c344032 100644
--- a/html/084console.mu.html
+++ b/html/084console.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/085scenario_console.cc.html b/html/085scenario_console.cc.html
index ec4983a4..5b457884 100644
--- a/html/085scenario_console.cc.html
+++ b/html/085scenario_console.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/086scenario_console_test.mu.html b/html/086scenario_console_test.mu.html
index 9e2bc500..168959c4 100644
--- a/html/086scenario_console_test.mu.html
+++ b/html/086scenario_console_test.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/087file.cc.html b/html/087file.cc.html
index 56397ce4..d0b464fc 100644
--- a/html/087file.cc.html
+++ b/html/087file.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/088file.mu.html b/html/088file.mu.html
index 811fa5dc..21df9ccd 100644
--- a/html/088file.mu.html
+++ b/html/088file.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/089scenario_filesystem.cc.html b/html/089scenario_filesystem.cc.html
index 309007dd..42f50748 100644
--- a/html/089scenario_filesystem.cc.html
+++ b/html/089scenario_filesystem.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/090scenario_filesystem_test.mu.html b/html/090scenario_filesystem_test.mu.html
index 9595f8f4..94ec62a7 100644
--- a/html/090scenario_filesystem_test.mu.html
+++ b/html/090scenario_filesystem_test.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/091socket.cc.html b/html/091socket.cc.html
index 482a8b88..9220b2f1 100644
--- a/html/091socket.cc.html
+++ b/html/091socket.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .CommentedCode { color: #6c6c6c; }
diff --git a/html/092socket.mu.html b/html/092socket.mu.html
index a578d166..67ca0f17 100644
--- a/html/092socket.mu.html
+++ b/html/092socket.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/100trace_browser.cc.html b/html/100trace_browser.cc.html
index 815d3208..3e71925c 100644
--- a/html/100trace_browser.cc.html
+++ b/html/100trace_browser.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .cSpecial { color: #008000; }
diff --git a/html/101run_sandboxed.cc.html b/html/101run_sandboxed.cc.html
index 047418bf..58c7aac2 100644
--- a/html/101run_sandboxed.cc.html
+++ b/html/101run_sandboxed.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .Special { color: #c00000; }
diff --git a/html/998check_type_pointers.cc.html b/html/998check_type_pointers.cc.html
index 343eb13c..0f5b95a4 100644
--- a/html/998check_type_pointers.cc.html
+++ b/html/998check_type_pointers.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Comment { color: #9090ff; }
 .LineNr { color: #444444; }
diff --git a/html/999spaces.cc.html b/html/999spaces.cc.html
index f590e1a9..548f3257 100644
--- a/html/999spaces.cc.html
+++ b/html/999spaces.cc.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .SalientComment { color: #00ffff; }
diff --git a/html/channel.mu.html b/html/channel.mu.html
index 428e1b8b..c620c3f2 100644
--- a/html/channel.mu.html
+++ b/html/channel.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html
index 3e4b09c8..b4bb9426 100644
--- a/html/chessboard.mu.html
+++ b/html/chessboard.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/console.mu.html b/html/console.mu.html
index d7b98b0b..ad8ec7c8 100644
--- a/html/console.mu.html
+++ b/html/console.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/counters.mu.html b/html/counters.mu.html
index 5d734383..6736fb72 100644
--- a/html/counters.mu.html
+++ b/html/counters.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/display.mu.html b/html/display.mu.html
index f9972712..ce910c73 100644
--- a/html/display.mu.html
+++ b/html/display.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html
index e9523e13..63919b99 100644
--- a/html/edit/001-editor.mu.html
+++ b/html/edit/001-editor.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html
index 26f60cb4..9d883a7e 100644
--- a/html/edit/002-typing.mu.html
+++ b/html/edit/002-typing.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html
index 3cbade2a..77446c2a 100644
--- a/html/edit/003-shortcuts.mu.html
+++ b/html/edit/003-shortcuts.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html
index 04ef7e45..2ae4fb29 100644
--- a/html/edit/004-programming-environment.mu.html
+++ b/html/edit/004-programming-environment.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html
index 624f0322..14e49d55 100644
--- a/html/edit/005-sandbox.mu.html
+++ b/html/edit/005-sandbox.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html
index 43baf39f..dec7b976 100644
--- a/html/edit/006-sandbox-copy.mu.html
+++ b/html/edit/006-sandbox-copy.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html
index b2c9dcd5..6da7f3da 100644
--- a/html/edit/007-sandbox-delete.mu.html
+++ b/html/edit/007-sandbox-delete.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html
index 4f4281a1..014c939e 100644
--- a/html/edit/008-sandbox-edit.mu.html
+++ b/html/edit/008-sandbox-edit.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/009-sandbox-test.mu.html b/html/edit/009-sandbox-test.mu.html
index d376f209..e0edd9a7 100644
--- a/html/edit/009-sandbox-test.mu.html
+++ b/html/edit/009-sandbox-test.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/010-sandbox-trace.mu.html b/html/edit/010-sandbox-trace.mu.html
index fdc6f188..39f7c7b8 100644
--- a/html/edit/010-sandbox-trace.mu.html
+++ b/html/edit/010-sandbox-trace.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html
index e38feeea..cd2cf200 100644
--- a/html/edit/011-errors.mu.html
+++ b/html/edit/011-errors.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html
index ad378ce0..452c9809 100644
--- a/html/edit/012-editor-undo.mu.html
+++ b/html/edit/012-editor-undo.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/example1.mu.html b/html/example1.mu.html
index 4bf187ac..87a34370 100644
--- a/html/example1.mu.html
+++ b/html/example1.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Constant { color: #00a0a0; }
diff --git a/html/factorial.mu.html b/html/factorial.mu.html
index 9e398979..04ab8228 100644
--- a/html/factorial.mu.html
+++ b/html/factorial.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/filesystem.mu.html b/html/filesystem.mu.html
index 802fde4e..30b55ee2 100644
--- a/html/filesystem.mu.html
+++ b/html/filesystem.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/fork.mu.html b/html/fork.mu.html
index ad87e5a5..3aa13f4e 100644
--- a/html/fork.mu.html
+++ b/html/fork.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Constant { color: #00a0a0; }
 .muControl { color: #c0a020; }
diff --git a/html/global.mu.html b/html/global.mu.html
index fdc63011..0e1ac277 100644
--- a/html/global.mu.html
+++ b/html/global.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/http-client.mu.html b/html/http-client.mu.html
index cd71e1ac..29f1a72b 100644
--- a/html/http-client.mu.html
+++ b/html/http-client.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/http-server.mu.html b/html/http-server.mu.html
index 5b4dab4a..7a42603a 100644
--- a/html/http-server.mu.html
+++ b/html/http-server.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muControl { color: #c0a020; }
 .Special { color: #c00000; }
diff --git a/html/immutable-error.mu.html b/html/immutable-error.mu.html
index e80a996f..cbd3d349 100644
--- a/html/immutable-error.mu.html
+++ b/html/immutable-error.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/lambda-to-mu.mu.html b/html/lambda-to-mu.mu.html
index 2e0feb74..4d79fcb3 100644
--- a/html/lambda-to-mu.mu.html
+++ b/html/lambda-to-mu.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/mutable.mu.html b/html/mutable.mu.html
index ecfd00e8..d608970e 100644
--- a/html/mutable.mu.html
+++ b/html/mutable.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/nqueens.mu.html b/html/nqueens.mu.html
index a8015e25..e0c4da82 100644
--- a/html/nqueens.mu.html
+++ b/html/nqueens.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/real-files.mu.html b/html/real-files.mu.html
index b53070db..fe3f0ce3 100644
--- a/html/real-files.mu.html
+++ b/html/real-files.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/screen.mu.html b/html/screen.mu.html
index 2853d77c..4b485314 100644
--- a/html/screen.mu.html
+++ b/html/screen.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }
diff --git a/html/static-dispatch.mu.html b/html/static-dispatch.mu.html
index bfeb8179..58512b91 100644
--- a/html/static-dispatch.mu.html
+++ b/html/static-dispatch.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Constant { color: #00a0a0; }
diff --git a/html/tangle.mu.html b/html/tangle.mu.html
index da976f78..97fe9307 100644
--- a/html/tangle.mu.html
+++ b/html/tangle.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/x.mu.html b/html/x.mu.html
index 9c2868c2..66d39b59 100644
--- a/html/x.mu.html
+++ b/html/x.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Special { color: #c00000; }
 .Comment { color: #9090ff; }