diff options
44 files changed, 47 insertions, 47 deletions
diff --git a/html/002test.cc.html b/html/002test.cc.html index 65b63a5a..c37f136f 100644 --- a/html/002test.cc.html +++ b/html/002test.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .PreProc { color: #c000c0; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/003trace.cc.html b/html/003trace.cc.html index b0fd9266..80552b36 100644 --- a/html/003trace.cc.html +++ b/html/003trace.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .PreProc { color: #c000c0; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/010vm.cc.html b/html/010vm.cc.html index 5f40619e..eea4faf3 100644 --- a/html/010vm.cc.html +++ b/html/010vm.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .SalientComment { color: #00ffff; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/011load.cc.html b/html/011load.cc.html index fe74ef6e..3259becc 100644 --- a/html/011load.cc.html +++ b/html/011load.cc.html @@ -20,7 +20,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/012transform.cc.html b/html/012transform.cc.html index a03c39c2..fd16c8d7 100644 --- a/html/012transform.cc.html +++ b/html/012transform.cc.html @@ -16,7 +16,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/013literal_string.cc.html b/html/013literal_string.cc.html index fae6a0f2..3a95434d 100644 --- a/html/013literal_string.cc.html +++ b/html/013literal_string.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/020run.cc.html b/html/020run.cc.html index c9b0fa2e..5d65fa9f 100644 --- a/html/020run.cc.html +++ b/html/020run.cc.html @@ -21,7 +21,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/023jump.cc.html b/html/023jump.cc.html index 9a8206a8..8d2f6d54 100644 --- a/html/023jump.cc.html +++ b/html/023jump.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/027debug.cc.html b/html/027debug.cc.html index 994729c2..40a4a513 100644 --- a/html/027debug.cc.html +++ b/html/027debug.cc.html @@ -17,7 +17,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/030container.cc.html b/html/030container.cc.html index 4531e5da..15a0c8ab 100644 --- a/html/030container.cc.html +++ b/html/030container.cc.html @@ -22,7 +22,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/031address.cc.html b/html/031address.cc.html index 04ee869d..05819ec5 100644 --- a/html/031address.cc.html +++ b/html/031address.cc.html @@ -20,7 +20,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/032array.cc.html b/html/032array.cc.html index 27cef879..f3579a43 100644 --- a/html/032array.cc.html +++ b/html/032array.cc.html @@ -21,7 +21,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/034exclusive_container.cc.html b/html/034exclusive_container.cc.html index cc6a0316..55d8a331 100644 --- a/html/034exclusive_container.cc.html +++ b/html/034exclusive_container.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/035call.cc.html b/html/035call.cc.html index 9cab8e21..9b729fe1 100644 --- a/html/035call.cc.html +++ b/html/035call.cc.html @@ -22,7 +22,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Identifier { color: #804000; } .PreProc { color: #c000c0; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/037call_reply.cc.html b/html/037call_reply.cc.html index 82517f08..80199b4b 100644 --- a/html/037call_reply.cc.html +++ b/html/037call_reply.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/038scheduler.cc.html b/html/038scheduler.cc.html index 80316b38..973a8712 100644 --- a/html/038scheduler.cc.html +++ b/html/038scheduler.cc.html @@ -21,7 +21,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/039wait.cc.html b/html/039wait.cc.html index 57dd3e75..c9f72f72 100644 --- a/html/039wait.cc.html +++ b/html/039wait.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/040brace.cc.html b/html/040brace.cc.html index eb7f66a9..12122f75 100644 --- a/html/040brace.cc.html +++ b/html/040brace.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/041name.cc.html b/html/041name.cc.html index 5dd8195e..36e19a86 100644 --- a/html/041name.cc.html +++ b/html/041name.cc.html @@ -22,7 +22,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/042new.cc.html b/html/042new.cc.html index aaa6f2bf..ca62a658 100644 --- a/html/042new.cc.html +++ b/html/042new.cc.html @@ -20,7 +20,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/043space.cc.html b/html/043space.cc.html index df051ab3..e0e8910d 100644 --- a/html/043space.cc.html +++ b/html/043space.cc.html @@ -22,7 +22,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/044space_surround.cc.html b/html/044space_surround.cc.html index 575f33bb..d39091d9 100644 --- a/html/044space_surround.cc.html +++ b/html/044space_surround.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/045closure_name.cc.html b/html/045closure_name.cc.html index 30ed6538..85686258 100644 --- a/html/045closure_name.cc.html +++ b/html/045closure_name.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/046tangle.cc.html b/html/046tangle.cc.html index 2bf8d51c..b863b80c 100644 --- a/html/046tangle.cc.html +++ b/html/046tangle.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/047jump_label.cc.html b/html/047jump_label.cc.html index 2c53c4d8..df4ed5ad 100644 --- a/html/047jump_label.cc.html +++ b/html/047jump_label.cc.html @@ -20,7 +20,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/048call_variable.cc.html b/html/048call_variable.cc.html index 6bbbc545..225ee513 100644 --- a/html/048call_variable.cc.html +++ b/html/048call_variable.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/049continuation.cc.html b/html/049continuation.cc.html index bb7b0f14..cc734e78 100644 --- a/html/049continuation.cc.html +++ b/html/049continuation.cc.html @@ -21,7 +21,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/050scenario.cc.html b/html/050scenario.cc.html index ae05aa68..43054dff 100644 --- a/html/050scenario.cc.html +++ b/html/050scenario.cc.html @@ -21,7 +21,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/060string.mu.html b/html/060string.mu.html index 06164424..d917c926 100644 --- a/html/060string.mu.html +++ b/html/060string.mu.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/061channel.mu.html b/html/061channel.mu.html index 42ffdada..009ae701 100644 --- a/html/061channel.mu.html +++ b/html/061channel.mu.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/063list.mu.html b/html/063list.mu.html index fa128a0b..796cf4f0 100644 --- a/html/063list.mu.html +++ b/html/063list.mu.html @@ -17,7 +17,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/065duplex_list.mu.html b/html/065duplex_list.mu.html index 6f81c5fa..4a573e6e 100644 --- a/html/065duplex_list.mu.html +++ b/html/065duplex_list.mu.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/070display.cc.html b/html/070display.cc.html index 24b460f0..4dee20e2 100644 --- a/html/070display.cc.html +++ b/html/070display.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .SalientComment { color: #00ffff; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/071print.mu.html b/html/071print.mu.html index b9a67840..033d0d4f 100644 --- a/html/071print.mu.html +++ b/html/071print.mu.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/072scenario_screen.cc.html b/html/072scenario_screen.cc.html index e14ae7de..e436cfe6 100644 --- a/html/072scenario_screen.cc.html +++ b/html/072scenario_screen.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/074keyboard.mu.html b/html/074keyboard.mu.html index 9769da2e..a34bc859 100644 --- a/html/074keyboard.mu.html +++ b/html/074keyboard.mu.html @@ -17,7 +17,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/075scenario_console.cc.html b/html/075scenario_console.cc.html index 65499aa9..c131ed57 100644 --- a/html/075scenario_console.cc.html +++ b/html/075scenario_console.cc.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Delimiter { color: #a04060; } .Special { color: #ff6060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/080trace_browser.cc.html b/html/080trace_browser.cc.html index 7659e81a..efb5e428 100644 --- a/html/080trace_browser.cc.html +++ b/html/080trace_browser.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .Identifier { color: #804000; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } --> </style> diff --git a/html/081run_interactive.cc.html b/html/081run_interactive.cc.html index 35ce1476..cdd3a5b7 100644 --- a/html/081run_interactive.cc.html +++ b/html/081run_interactive.cc.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Delimiter { color: #a04060; } .SalientComment { color: #00ffff; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .Identifier { color: #804000; } --> </style> diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html index ad6d9e2d..7de573ec 100644 --- a/html/chessboard.mu.html +++ b/html/chessboard.mu.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/display.mu.html b/html/display.mu.html index 2137d471..6d3cd7a9 100644 --- a/html/display.mu.html +++ b/html/display.mu.html @@ -16,7 +16,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muRecipe { color: #ff8700; } --> </style> diff --git a/html/edit.mu.html b/html/edit.mu.html index 574c5281..157998e3 100644 --- a/html/edit.mu.html +++ b/html/edit.mu.html @@ -19,7 +19,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/html/repl.mu.html b/html/repl.mu.html index 87daf87b..4a0f2c21 100644 --- a/html/repl.mu.html +++ b/html/repl.mu.html @@ -18,7 +18,7 @@ body { font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Comment { color: #9090ff; } +.CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } --> diff --git a/update_html b/update_html index d374774c..14bd8ed5 100755 --- a/update_html +++ b/update_html @@ -10,7 +10,7 @@ sed -i 's,<title>\~/Desktop/s/mu/,<title>Mu - ,' html/* sed -i 's,\.html</title>,</title>,' html/* sed -i 's/^\*.*/* { font-size: 1.05em; }/g' html/* # tweak contrast -sed -i 's/^\.Constant.*/.Constant { color: #00a0a0; }/' html/* -sed -i 's/^\.muControl.*/.muControl { color: #c0a020; }/' html/* -sed -i 's/^\.Comment.*/.Comment { color: #9090ff; }/' html/* -sed -i 's/^\.Delimiter.*/.Delimiter { color: #a04060; }/' html/* # not meant to be read/ can be lower-contrast +sed -i 's/^\.Constant .*/.Constant { color: #00a0a0; }/' html/* +sed -i 's/^\.muControl .*/.muControl { color: #c0a020; }/' html/* +sed -i 's/^\.Comment .*/.Comment { color: #9090ff; }/' html/* +sed -i 's/^\.Delimiter .*/.Delimiter { color: #a04060; }/' html/* # not meant to be read/ can be lower-contrast |