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