diff options
119 files changed, 240 insertions, 2 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; } diff --git a/update_html b/update_html index fdd29ef2..7a9b2ca6 100755 --- a/update_html +++ b/update_html @@ -3,13 +3,15 @@ process() { vim -c "set number" -c TOhtml -c write -c qall $1 - # per-line anchors - sed -i 's/^\.LineNr .*/.LineNr { color: #444444; }/' $1.html sed -i 's,<title>\~/mu/,<title>Mu - ,' $1.html 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 + 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 's/^\.Constant .*/.Constant { color: #00a0a0; }/' $1.html sed -i 's/^\.muControl .*/.muControl { color: #c0a020; }/' $1.html |