diff options
79 files changed, 79 insertions, 78 deletions
diff --git a/html/011load.cc.html b/html/011load.cc.html index 226154d7..6a28f8b5 100644 --- a/html/011load.cc.html +++ b/html/011load.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; } .Identifier { color: #fcb165; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/014literal_string.cc.html b/html/014literal_string.cc.html index c9f820fe..1a98bd39 100644 --- a/html/014literal_string.cc.html +++ b/html/014literal_string.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/015literal_noninteger.cc.html b/html/015literal_noninteger.cc.html index a89ba0c6..8f38cb27 100644 --- a/html/015literal_noninteger.cc.html +++ b/html/015literal_noninteger.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/020run.cc.html b/html/020run.cc.html index 927c22fc..6f24364a 100644 --- a/html/020run.cc.html +++ b/html/020run.cc.html @@ -19,7 +19,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html index 87a40acb..f8e5aad6 100644 --- a/html/021check_instruction.cc.html +++ b/html/021check_instruction.cc.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .cSpecial { color: #008000; } .Identifier { color: #fcb165; } .CommentedCode { color: #6c6c6c; } diff --git a/html/022arithmetic.cc.html b/html/022arithmetic.cc.html index 60a4e500..8c15c291 100644 --- a/html/022arithmetic.cc.html +++ b/html/022arithmetic.cc.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } diff --git a/html/023boolean.cc.html b/html/023boolean.cc.html index ba3b33bd..1d9b4bdd 100644 --- a/html/023boolean.cc.html +++ b/html/023boolean.cc.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } diff --git a/html/024jump.cc.html b/html/024jump.cc.html index 4b1fa49d..9ff53434 100644 --- a/html/024jump.cc.html +++ b/html/024jump.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/025compare.cc.html b/html/025compare.cc.html index 3a989627..301da39d 100644 --- a/html/025compare.cc.html +++ b/html/025compare.cc.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } diff --git a/html/029tools.cc.html b/html/029tools.cc.html index 50c9f619..6e245746 100644 --- a/html/029tools.cc.html +++ b/html/029tools.cc.html @@ -13,7 +13,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .CommentedCode { color: #6c6c6c; } .SalientComment { color: #00ffff; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Identifier { color: #fcb165; } .cSpecial { color: #008000; } .traceContains { color: #008000; } diff --git a/html/030container.cc.html b/html/030container.cc.html index c31241d6..5f494caa 100644 --- a/html/030container.cc.html +++ b/html/030container.cc.html @@ -17,7 +17,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/031address.cc.html b/html/031address.cc.html index 72c8f87c..abcd5945 100644 --- a/html/031address.cc.html +++ b/html/031address.cc.html @@ -17,7 +17,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/032array.cc.html b/html/032array.cc.html index 8a58bcf2..d7409028 100644 --- a/html/032array.cc.html +++ b/html/032array.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/033exclusive_container.cc.html b/html/033exclusive_container.cc.html index 8955df77..ea287b64 100644 --- a/html/033exclusive_container.cc.html +++ b/html/033exclusive_container.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/034call.cc.html b/html/034call.cc.html index 841fbd98..bf98e18e 100644 --- a/html/034call.cc.html +++ b/html/034call.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/035call_ingredient.cc.html b/html/035call_ingredient.cc.html index 6c0ab211..6e2aa88a 100644 --- a/html/035call_ingredient.cc.html +++ b/html/035call_ingredient.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/036call_reply.cc.html b/html/036call_reply.cc.html index 7c1c8654..2160c6b7 100644 --- a/html/036call_reply.cc.html +++ b/html/036call_reply.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/037new.cc.html b/html/037new.cc.html index 6585818a..4f181562 100644 --- a/html/037new.cc.html +++ b/html/037new.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .SalientComment { color: #00ffff; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } diff --git a/html/040brace.cc.html b/html/040brace.cc.html index b16745e0..a56b2e8d 100644 --- a/html/040brace.cc.html +++ b/html/040brace.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .CommentedCode { color: #6c6c6c; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Identifier { color: #fcb165; } .Delimiter { color: #800080; } diff --git a/html/041jump_target.cc.html b/html/041jump_target.cc.html index e730c12d..6fb67d0a 100644 --- a/html/041jump_target.cc.html +++ b/html/041jump_target.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/042name.cc.html b/html/042name.cc.html index b387f651..a8ff796e 100644 --- a/html/042name.cc.html +++ b/html/042name.cc.html @@ -19,7 +19,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Constant { color: #00a0a0; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } --> diff --git a/html/043space.cc.html b/html/043space.cc.html index e342590c..ab2144de 100644 --- a/html/043space.cc.html +++ b/html/043space.cc.html @@ -17,7 +17,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .SalientComment { color: #00ffff; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/044space_surround.cc.html b/html/044space_surround.cc.html index ef45fe86..fbd6b3ea 100644 --- a/html/044space_surround.cc.html +++ b/html/044space_surround.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/045closure_name.cc.html b/html/045closure_name.cc.html index 17cce446..944b31b5 100644 --- a/html/045closure_name.cc.html +++ b/html/045closure_name.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .traceContains { color: #008000; } .Identifier { color: #fcb165; } .Constant { color: #00a0a0; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Normal { color: #eeeeee; background-color: #080808; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/046global.cc.html b/html/046global.cc.html index de291697..c92132a0 100644 --- a/html/046global.cc.html +++ b/html/046global.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/047check_type_by_name.cc.html b/html/047check_type_by_name.cc.html index 71edfe66..0c69601e 100644 --- a/html/047check_type_by_name.cc.html +++ b/html/047check_type_by_name.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Constant { color: #00a0a0; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } --> diff --git a/html/050scenario.cc.html b/html/050scenario.cc.html index 6c4ee02f..397186c9 100644 --- a/html/050scenario.cc.html +++ b/html/050scenario.cc.html @@ -18,7 +18,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .SalientComment { color: #00ffff; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/051scenario_test.mu.html b/html/051scenario_test.mu.html index 3c3366c5..387a9fd7 100644 --- a/html/051scenario_test.mu.html +++ b/html/051scenario_test.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } .Comment { color: #9090ff; } diff --git a/html/052tangle.cc.html b/html/052tangle.cc.html index 8ac1ab67..f698a972 100644 --- a/html/052tangle.cc.html +++ b/html/052tangle.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/054dilated_reagent.cc.html b/html/054dilated_reagent.cc.html index 07ac732c..c7124c12 100644 --- a/html/054dilated_reagent.cc.html +++ b/html/054dilated_reagent.cc.html @@ -17,7 +17,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Error { color: #ffffff; background-color: #ff6060; } .PreProc { color: #800080; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/055parse_tree.cc.html b/html/055parse_tree.cc.html index b2107ee3..a9f6091d 100644 --- a/html/055parse_tree.cc.html +++ b/html/055parse_tree.cc.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/056recipe_header.cc.html b/html/056recipe_header.cc.html index fd64a4c8..259f06c3 100644 --- a/html/056recipe_header.cc.html +++ b/html/056recipe_header.cc.html @@ -18,7 +18,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Identifier { color: #fcb165; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/057static_dispatch.cc.html b/html/057static_dispatch.cc.html index 679dcf38..e1e9c603 100644 --- a/html/057static_dispatch.cc.html +++ b/html/057static_dispatch.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/058shape_shifting_container.cc.html b/html/058shape_shifting_container.cc.html index d7e172b0..d11c40fc 100644 --- a/html/058shape_shifting_container.cc.html +++ b/html/058shape_shifting_container.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .SalientComment { color: #00ffff; } diff --git a/html/059shape_shifting_recipe.cc.html b/html/059shape_shifting_recipe.cc.html index b1bb3c93..52b5ec4b 100644 --- a/html/059shape_shifting_recipe.cc.html +++ b/html/059shape_shifting_recipe.cc.html @@ -18,7 +18,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Comment { color: #9090ff; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .SalientComment { color: #00ffff; } diff --git a/html/060immutable.cc.html b/html/060immutable.cc.html index 9fb6916c..3c476b3c 100644 --- a/html/060immutable.cc.html +++ b/html/060immutable.cc.html @@ -17,7 +17,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .traceContains { color: #008000; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } --> diff --git a/html/061recipe.cc.html b/html/061recipe.cc.html index dc477ab2..46e47107 100644 --- a/html/061recipe.cc.html +++ b/html/061recipe.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/062scheduler.cc.html b/html/062scheduler.cc.html index 74fa125b..a81f8841 100644 --- a/html/062scheduler.cc.html +++ b/html/062scheduler.cc.html @@ -17,7 +17,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/063wait.cc.html b/html/063wait.cc.html index bfaa81ec..4dcffd9b 100644 --- a/html/063wait.cc.html +++ b/html/063wait.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/070text.mu.html b/html/070text.mu.html index e001fedf..8c648a96 100644 --- a/html/070text.mu.html +++ b/html/070text.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muScenario { color: #00af00; } .Delimiter { color: #800080; } .muControl { color: #c0a020; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/071channel.mu.html b/html/071channel.mu.html index 2c8dd680..3c5bbc04 100644 --- a/html/071channel.mu.html +++ b/html/071channel.mu.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } .Comment { color: #9090ff; } diff --git a/html/072array.mu.html b/html/072array.mu.html index 156e0aa0..e97ceeac 100644 --- a/html/072array.mu.html +++ b/html/072array.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } --> diff --git a/html/073list.mu.html b/html/073list.mu.html index 45bf624a..edb8aac8 100644 --- a/html/073list.mu.html +++ b/html/073list.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muScenario { color: #00af00; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } diff --git a/html/074random.cc.html b/html/074random.cc.html index cfaa48e5..e92c6895 100644 --- a/html/074random.cc.html +++ b/html/074random.cc.html @@ -13,7 +13,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .PreProc { color: #800080; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .cSpecial { color: #008000; } .Comment { color: #9090ff; } .Identifier { color: #fcb165; } diff --git a/html/075duplex_list.mu.html b/html/075duplex_list.mu.html index 17566472..c88f2335 100644 --- a/html/075duplex_list.mu.html +++ b/html/075duplex_list.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muScenario { color: #00af00; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } diff --git a/html/076stream.mu.html b/html/076stream.mu.html index d3b4b130..18041177 100644 --- a/html/076stream.mu.html +++ b/html/076stream.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } diff --git a/html/077hash.cc.html b/html/077hash.cc.html index aae3fda3..f158257c 100644 --- a/html/077hash.cc.html +++ b/html/077hash.cc.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .CommentedCode { color: #6c6c6c; } .Identifier { color: #fcb165; } .cSpecial { color: #008000; } diff --git a/html/078table.mu.html b/html/078table.mu.html index 7f45d9be..00505480 100644 --- a/html/078table.mu.html +++ b/html/078table.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muRecipe { color: #ff8700; } .muData { color: #ffff00; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } .Comment { color: #9090ff; } diff --git a/html/081print.mu.html b/html/081print.mu.html index 6cbb324c..27196aa8 100644 --- a/html/081print.mu.html +++ b/html/081print.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } diff --git a/html/082scenario_screen.cc.html b/html/082scenario_screen.cc.html index d37e406a..4bc94f75 100644 --- a/html/082scenario_screen.cc.html +++ b/html/082scenario_screen.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/083scenario_screen_test.mu.html b/html/083scenario_screen_test.mu.html index 89433473..a829f738 100644 --- a/html/083scenario_screen_test.mu.html +++ b/html/083scenario_screen_test.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } .Comment { color: #9090ff; } diff --git a/html/084console.mu.html b/html/084console.mu.html index f0f6bf07..c93444a7 100644 --- a/html/084console.mu.html +++ b/html/084console.mu.html @@ -13,7 +13,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } diff --git a/html/085scenario_console.cc.html b/html/085scenario_console.cc.html index a1f4efef..3cbbfe16 100644 --- a/html/085scenario_console.cc.html +++ b/html/085scenario_console.cc.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/086scenario_console_test.mu.html b/html/086scenario_console_test.mu.html index ae4d608b..d195dc69 100644 --- a/html/086scenario_console_test.mu.html +++ b/html/086scenario_console_test.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } .Comment { color: #9090ff; } diff --git a/html/091run_interactive.cc.html b/html/091run_interactive.cc.html index 6ce38c76..c75f2931 100644 --- a/html/091run_interactive.cc.html +++ b/html/091run_interactive.cc.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .cSpecial { color: #008000; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .Delimiter { color: #800080; } .Comment { color: #9090ff; } diff --git a/html/channel.mu.html b/html/channel.mu.html index 4496975f..afacb437 100644 --- a/html/channel.mu.html +++ b/html/channel.mu.html @@ -13,7 +13,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html index 250da96b..e0042eaf 100644 --- a/html/chessboard.mu.html +++ b/html/chessboard.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .muScenario { color: #00af00; } .SalientComment { color: #00ffff; } .Constant { color: #00a0a0; } diff --git a/html/console.mu.html b/html/console.mu.html index dfb00923..66e75380 100644 --- a/html/console.mu.html +++ b/html/console.mu.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Delimiter { color: #800080; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/counters.mu.html b/html/counters.mu.html index 7cf5295f..6b5dd5d4 100644 --- a/html/counters.mu.html +++ b/html/counters.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/display.mu.html b/html/display.mu.html index f7a7365c..e260f143 100644 --- a/html/display.mu.html +++ b/html/display.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html index 54f91eb8..94eedbe3 100644 --- a/html/edit/001-editor.mu.html +++ b/html/edit/001-editor.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Delimiter { color: #800080; } .muControl { color: #c0a020; } .muData { color: #ffff00; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .muScenario { color: #00af00; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index 4de14e9b..b3f60287 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muScenario { color: #00af00; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html index dc1a56b1..ad5f74b2 100644 --- a/html/edit/003-shortcuts.mu.html +++ b/html/edit/003-shortcuts.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muControl { color: #c0a020; } .Delimiter { color: #800080; } .muRecipe { color: #ff8700; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } .Comment { color: #9090ff; } diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html index b6c6da7d..582d5f40 100644 --- a/html/edit/004-programming-environment.mu.html +++ b/html/edit/004-programming-environment.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muControl { color: #c0a020; } .Delimiter { color: #800080; } .muData { color: #ffff00; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index d94d105d..55e666cb 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Delimiter { color: #800080; } .muScenario { color: #00af00; } .muData { color: #ffff00; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/edit/006-sandbox-edit.mu.html b/html/edit/006-sandbox-edit.mu.html index 1da28638..aaccb0f2 100644 --- a/html/edit/006-sandbox-edit.mu.html +++ b/html/edit/006-sandbox-edit.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muControl { color: #c0a020; } .Delimiter { color: #800080; } .muRecipe { color: #ff8700; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html index dfe5cea6..60ef1edb 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muControl { color: #c0a020; } .Delimiter { color: #800080; } .muRecipe { color: #ff8700; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/edit/008-sandbox-test.mu.html b/html/edit/008-sandbox-test.mu.html index c4876e9c..150fbb18 100644 --- a/html/edit/008-sandbox-test.mu.html +++ b/html/edit/008-sandbox-test.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/edit/009-sandbox-trace.mu.html b/html/edit/009-sandbox-trace.mu.html index 454d4f84..fb91079e 100644 --- a/html/edit/009-sandbox-trace.mu.html +++ b/html/edit/009-sandbox-trace.mu.html @@ -15,7 +15,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muRecipe { color: #ff8700; } .muData { color: #ffff00; } .muControl { color: #c0a020; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/edit/010-errors.mu.html b/html/edit/010-errors.mu.html index ce0194d4..d65f5c05 100644 --- a/html/edit/010-errors.mu.html +++ b/html/edit/010-errors.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muScenario { color: #00af00; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/edit/011-editor-undo.mu.html b/html/edit/011-editor-undo.mu.html index 00f15a79..87160bb0 100644 --- a/html/edit/011-editor-undo.mu.html +++ b/html/edit/011-editor-undo.mu.html @@ -13,7 +13,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Delimiter { color: #800080; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/example1.mu.html b/html/example1.mu.html index 5be843b9..7fb5e965 100644 --- a/html/example1.mu.html +++ b/html/example1.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } --> diff --git a/html/factorial.mu.html b/html/factorial.mu.html index 47a20cd5..0d7ae988 100644 --- a/html/factorial.mu.html +++ b/html/factorial.mu.html @@ -14,7 +14,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .muScenario { color: #00af00; } .muControl { color: #c0a020; } .Delimiter { color: #800080; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/global.mu.html b/html/global.mu.html index 6dd90acd..5958e523 100644 --- a/html/global.mu.html +++ b/html/global.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/screen.mu.html b/html/screen.mu.html index ecb82cbf..fd4f68ca 100644 --- a/html/screen.mu.html +++ b/html/screen.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/static_dispatch.mu.html b/html/static_dispatch.mu.html index ae9c4e60..1bf21604 100644 --- a/html/static_dispatch.mu.html +++ b/html/static_dispatch.mu.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } --> diff --git a/html/tangle.mu.html b/html/tangle.mu.html index 505e91db..e7c23458 100644 --- a/html/tangle.mu.html +++ b/html/tangle.mu.html @@ -12,7 +12,7 @@ pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Delimiter { color: #800080; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/x.mu.html b/html/x.mu.html index 0a92794e..08091fed 100644 --- a/html/x.mu.html +++ b/html/x.mu.html @@ -11,7 +11,7 @@ <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } -.Special { color: #ff6060; } +.Special { color: #c00000; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/update_html b/update_html index 4e5ce473..58a69ab3 100755 --- a/update_html +++ b/update_html @@ -17,6 +17,7 @@ process() { sed -i 's/^\.Delimiter .*/.Delimiter { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast sed -i 's/^\.PreProc .*/.PreProc { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast sed -i 's/^\.Identifier .*/.Identifier { color: #fcb165; }/' $1.html + sed -i 's/^\.Special .*/.Special { color: #c00000; }/' $1.html # same as traceAbsent.. mv -i $1.html html/`dirname $1` } |