diff options
95 files changed, 245 insertions, 242 deletions
diff --git a/html/000organization.cc.html b/html/000organization.cc.html index 3d5c9b08..118a1eeb 100644 --- a/html/000organization.cc.html +++ b/html/000organization.cc.html @@ -10,12 +10,12 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } -.Delimiter { color: #a04060; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } +.Delimiter { color: #800080; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.PreProc { color: #c000c0; } +.PreProc { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/001help.cc.html b/html/001help.cc.html index 073d1c85..c3456ec6 100644 --- a/html/001help.cc.html +++ b/html/001help.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.PreProc { color: #c000c0; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.PreProc { color: #800080; } .SalientComment { color: #00ffff; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/002test.cc.html b/html/002test.cc.html index f08cde28..6799ec20 100644 --- a/html/002test.cc.html +++ b/html/002test.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .CommentedCode { color: #6c6c6c; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Constant { color: #00a0a0; } -.PreProc { color: #c000c0; } +.PreProc { color: #800080; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/003trace.cc.html b/html/003trace.cc.html index c2dd0cb1..2a666948 100644 --- a/html/003trace.cc.html +++ b/html/003trace.cc.html @@ -10,13 +10,13 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.PreProc { color: #c000c0; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.PreProc { color: #800080; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/003trace.test.cc.html b/html/003trace.test.cc.html index 4d03ea92..110a548c 100644 --- a/html/003trace.test.cc.html +++ b/html/003trace.test.cc.html @@ -10,11 +10,11 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } .Comment { color: #9090ff; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Normal { color: #eeeeee; background-color: #080808; } --> </style> diff --git a/html/010vm.cc.html b/html/010vm.cc.html index dcde494a..6814a1be 100644 --- a/html/010vm.cc.html +++ b/html/010vm.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.PreProc { color: #c000c0; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.PreProc { color: #800080; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .SalientComment { color: #00ffff; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/011load.cc.html b/html/011load.cc.html index 7bb6974e..226154d7 100644 --- a/html/011load.cc.html +++ b/html/011load.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/012transform.cc.html b/html/012transform.cc.html index f85e715e..052df113 100644 --- a/html/012transform.cc.html +++ b/html/012transform.cc.html @@ -10,12 +10,12 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } .CommentedCode { color: #6c6c6c; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/013update_operation.cc.html b/html/013update_operation.cc.html index 8c2780cb..3dc72146 100644 --- a/html/013update_operation.cc.html +++ b/html/013update_operation.cc.html @@ -10,13 +10,13 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .CommentedCode { color: #6c6c6c; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/014literal_string.cc.html b/html/014literal_string.cc.html index 5dd9d17b..c9f820fe 100644 --- a/html/014literal_string.cc.html +++ b/html/014literal_string.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/015literal_noninteger.cc.html b/html/015literal_noninteger.cc.html index e2aa9d4e..a89ba0c6 100644 --- a/html/015literal_noninteger.cc.html +++ b/html/015literal_noninteger.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/020run.cc.html b/html/020run.cc.html index a1b357e2..927c22fc 100644 --- a/html/020run.cc.html +++ b/html/020run.cc.html @@ -10,18 +10,18 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } -.PreProc { color: #c000c0; } +.PreProc { color: #800080; } .CommentedCode { color: #6c6c6c; } .SalientComment { color: #00ffff; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/021check_instruction.cc.html b/html/021check_instruction.cc.html index cdaff0ea..87a40acb 100644 --- a/html/021check_instruction.cc.html +++ b/html/021check_instruction.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .CommentedCode { color: #6c6c6c; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/022arithmetic.cc.html b/html/022arithmetic.cc.html index 149b4915..60a4e500 100644 --- a/html/022arithmetic.cc.html +++ b/html/022arithmetic.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/023boolean.cc.html b/html/023boolean.cc.html index 5558fd03..ba3b33bd 100644 --- a/html/023boolean.cc.html +++ b/html/023boolean.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/024jump.cc.html b/html/024jump.cc.html index a6ae68a9..4b1fa49d 100644 --- a/html/024jump.cc.html +++ b/html/024jump.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/025compare.cc.html b/html/025compare.cc.html index 060286ea..3a989627 100644 --- a/html/025compare.cc.html +++ b/html/025compare.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/029tools.cc.html b/html/029tools.cc.html index 4e55ef90..50c9f619 100644 --- a/html/029tools.cc.html +++ b/html/029tools.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .CommentedCode { color: #6c6c6c; } .SalientComment { color: #00ffff; } .Special { color: #ff6060; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/030container.cc.html b/html/030container.cc.html index 72a6bd2c..c31241d6 100644 --- a/html/030container.cc.html +++ b/html/030container.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.PreProc { color: #c000c0; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.PreProc { color: #800080; } .SalientComment { color: #00ffff; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/031address.cc.html b/html/031address.cc.html index 1bd6632d..72c8f87c 100644 --- a/html/031address.cc.html +++ b/html/031address.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .SalientComment { color: #00ffff; } .traceAbsent { color: #c00000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/032array.cc.html b/html/032array.cc.html index eb55fd61..8a58bcf2 100644 --- a/html/032array.cc.html +++ b/html/032array.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .SalientComment { color: #00ffff; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/033exclusive_container.cc.html b/html/033exclusive_container.cc.html index 46340112..8955df77 100644 --- a/html/033exclusive_container.cc.html +++ b/html/033exclusive_container.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } .SalientComment { color: #00ffff; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/034call.cc.html b/html/034call.cc.html index fdc90a3d..841fbd98 100644 --- a/html/034call.cc.html +++ b/html/034call.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } .SalientComment { color: #00ffff; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/035call_ingredient.cc.html b/html/035call_ingredient.cc.html index bbfef56a..6c0ab211 100644 --- a/html/035call_ingredient.cc.html +++ b/html/035call_ingredient.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/036call_reply.cc.html b/html/036call_reply.cc.html index 6d0f92db..7c1c8654 100644 --- a/html/036call_reply.cc.html +++ b/html/036call_reply.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/037new.cc.html b/html/037new.cc.html index 3aeb207b..6585818a 100644 --- a/html/037new.cc.html +++ b/html/037new.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .CommentedCode { color: #6c6c6c; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .SalientComment { color: #00ffff; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/038location_array.cc.html b/html/038location_array.cc.html index 1f568a4c..a1b0c5ee 100644 --- a/html/038location_array.cc.html +++ b/html/038location_array.cc.html @@ -10,13 +10,13 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } --> </style> </head> diff --git a/html/040brace.cc.html b/html/040brace.cc.html index 49afa366..b16745e0 100644 --- a/html/040brace.cc.html +++ b/html/040brace.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } .CommentedCode { color: #6c6c6c; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Identifier { color: #804000; } -.Delimiter { color: #a04060; } +.Identifier { color: #fcb165; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/041jump_target.cc.html b/html/041jump_target.cc.html index 76766b30..e730c12d 100644 --- a/html/041jump_target.cc.html +++ b/html/041jump_target.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/042name.cc.html b/html/042name.cc.html index 4b1b072f..b387f651 100644 --- a/html/042name.cc.html +++ b/html/042name.cc.html @@ -10,17 +10,17 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .SalientComment { color: #00ffff; } .traceAbsent { color: #c00000; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .CommentedCode { color: #6c6c6c; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/043space.cc.html b/html/043space.cc.html index e5a91e90..e342590c 100644 --- a/html/043space.cc.html +++ b/html/043space.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .traceAbsent { color: #c00000; } .SalientComment { color: #00ffff; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/044space_surround.cc.html b/html/044space_surround.cc.html index 7f1a4723..ef45fe86 100644 --- a/html/044space_surround.cc.html +++ b/html/044space_surround.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/045closure_name.cc.html b/html/045closure_name.cc.html index a7de6275..17cce446 100644 --- a/html/045closure_name.cc.html +++ b/html/045closure_name.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } .CommentedCode { color: #6c6c6c; } .traceContains { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/046global.cc.html b/html/046global.cc.html index 152b0d97..de291697 100644 --- a/html/046global.cc.html +++ b/html/046global.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/047check_type_by_name.cc.html b/html/047check_type_by_name.cc.html index 0f2efe84..71edfe66 100644 --- a/html/047check_type_by_name.cc.html +++ b/html/047check_type_by_name.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Constant { color: #00a0a0; } .Special { color: #ff6060; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/050scenario.cc.html b/html/050scenario.cc.html index 3bd78220..6c4ee02f 100644 --- a/html/050scenario.cc.html +++ b/html/050scenario.cc.html @@ -10,17 +10,17 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } .CommentedCode { color: #6c6c6c; } .traceContains { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .SalientComment { color: #00ffff; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/051scenario_test.mu.html b/html/051scenario_test.mu.html index 5dc86bee..3c3366c5 100644 --- a/html/051scenario_test.mu.html +++ b/html/051scenario_test.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/052tangle.cc.html b/html/052tangle.cc.html index fd51f57f..8ac1ab67 100644 --- a/html/052tangle.cc.html +++ b/html/052tangle.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/053rewrite_stash.cc.html b/html/053rewrite_stash.cc.html index 46eabbd0..23278083 100644 --- a/html/053rewrite_stash.cc.html +++ b/html/053rewrite_stash.cc.html @@ -10,11 +10,11 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/054dilated_reagent.cc.html b/html/054dilated_reagent.cc.html index e704e99b..07ac732c 100644 --- a/html/054dilated_reagent.cc.html +++ b/html/054dilated_reagent.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .Error { color: #ffffff; background-color: #ff6060; } -.PreProc { color: #c000c0; } +.PreProc { color: #800080; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/055parse_tree.cc.html b/html/055parse_tree.cc.html index f582bf8d..b2107ee3 100644 --- a/html/055parse_tree.cc.html +++ b/html/055parse_tree.cc.html @@ -10,13 +10,13 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/056recipe_header.cc.html b/html/056recipe_header.cc.html index aba5f0b9..fd64a4c8 100644 --- a/html/056recipe_header.cc.html +++ b/html/056recipe_header.cc.html @@ -10,17 +10,17 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .SalientComment { color: #00ffff; } .traceAbsent { color: #c00000; } .Error { color: #ffffff; background-color: #ff6060; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/057static_dispatch.cc.html b/html/057static_dispatch.cc.html index 9f7fa7b6..679dcf38 100644 --- a/html/057static_dispatch.cc.html +++ b/html/057static_dispatch.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/058shape_shifting_container.cc.html b/html/058shape_shifting_container.cc.html index 184a747c..d7e172b0 100644 --- a/html/058shape_shifting_container.cc.html +++ b/html/058shape_shifting_container.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .SalientComment { color: #00ffff; } --> </style> diff --git a/html/059shape_shifting_recipe.cc.html b/html/059shape_shifting_recipe.cc.html index 255f487a..b1bb3c93 100644 --- a/html/059shape_shifting_recipe.cc.html +++ b/html/059shape_shifting_recipe.cc.html @@ -10,17 +10,17 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Todo { color: #000000; background-color: #ffff00; } .cSpecial { color: #008000; } .CommentedCode { color: #6c6c6c; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Comment { color: #9090ff; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .SalientComment { color: #00ffff; } --> </style> diff --git a/html/060immutable.cc.html b/html/060immutable.cc.html index 894576c8..9fb6916c 100644 --- a/html/060immutable.cc.html +++ b/html/060immutable.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } .Todo { color: #000000; background-color: #ffff00; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .traceContains { color: #008000; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/061recipe.cc.html b/html/061recipe.cc.html index 625614a4..dc477ab2 100644 --- a/html/061recipe.cc.html +++ b/html/061recipe.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .SalientComment { color: #00ffff; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/062scheduler.cc.html b/html/062scheduler.cc.html index 1a7a6a8b..74fa125b 100644 --- a/html/062scheduler.cc.html +++ b/html/062scheduler.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceAbsent { color: #c00000; } .cSpecial { color: #008000; } .SalientComment { color: #00ffff; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/063wait.cc.html b/html/063wait.cc.html index bfb27103..bfaa81ec 100644 --- a/html/063wait.cc.html +++ b/html/063wait.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/070text.mu.html b/html/070text.mu.html index 0c1caa24..e001fedf 100644 --- a/html/070text.mu.html +++ b/html/070text.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muData { color: #ffff00; } .muScenario { color: #00af00; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muControl { color: #c0a020; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } diff --git a/html/071channel.mu.html b/html/071channel.mu.html index b5b80e82..2c8dd680 100644 --- a/html/071channel.mu.html +++ b/html/071channel.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .SalientComment { color: #00ffff; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } .Special { color: #ff6060; } diff --git a/html/072array.mu.html b/html/072array.mu.html index 1526eb6e..156e0aa0 100644 --- a/html/072array.mu.html +++ b/html/072array.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } .Special { color: #ff6060; } diff --git a/html/073list.mu.html b/html/073list.mu.html index f24828b9..45bf624a 100644 --- a/html/073list.mu.html +++ b/html/073list.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/074random.cc.html b/html/074random.cc.html index 5c01b4cf..cfaa48e5 100644 --- a/html/074random.cc.html +++ b/html/074random.cc.html @@ -10,16 +10,16 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.PreProc { color: #c000c0; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.PreProc { color: #800080; } .traceContains { color: #008000; } .Special { color: #ff6060; } .cSpecial { color: #008000; } .Comment { color: #9090ff; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } --> </style> </head> diff --git a/html/075duplex_list.mu.html b/html/075duplex_list.mu.html index a9b67035..17566472 100644 --- a/html/075duplex_list.mu.html +++ b/html/075duplex_list.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/076stream.mu.html b/html/076stream.mu.html index bcd3ef6d..d3b4b130 100644 --- a/html/076stream.mu.html +++ b/html/076stream.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/077hash.cc.html b/html/077hash.cc.html index fb69c7ac..aae3fda3 100644 --- a/html/077hash.cc.html +++ b/html/077hash.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .CommentedCode { color: #6c6c6c; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/078table.mu.html b/html/078table.mu.html index c6ecdaca..7f45d9be 100644 --- a/html/078table.mu.html +++ b/html/078table.mu.html @@ -10,11 +10,11 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/080display.cc.html b/html/080display.cc.html index 608a0a41..33fb161d 100644 --- a/html/080display.cc.html +++ b/html/080display.cc.html @@ -10,12 +10,12 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Constant { color: #00a0a0; } .Normal { color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .SalientComment { color: #00ffff; } .Comment { color: #9090ff; } --> diff --git a/html/081print.mu.html b/html/081print.mu.html index d4f3f655..6cbb324c 100644 --- a/html/081print.mu.html +++ b/html/081print.mu.html @@ -10,11 +10,11 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/082scenario_screen.cc.html b/html/082scenario_screen.cc.html index 6fd0a250..d37e406a 100644 --- a/html/082scenario_screen.cc.html +++ b/html/082scenario_screen.cc.html @@ -10,15 +10,15 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } .traceAbsent { color: #c00000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .traceContains { color: #008000; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/083scenario_screen_test.mu.html b/html/083scenario_screen_test.mu.html index 60f47e5e..89433473 100644 --- a/html/083scenario_screen_test.mu.html +++ b/html/083scenario_screen_test.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/084console.mu.html b/html/084console.mu.html index a0c606bd..f0f6bf07 100644 --- a/html/084console.mu.html +++ b/html/084console.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/085scenario_console.cc.html b/html/085scenario_console.cc.html index 1f8a48f7..a1f4efef 100644 --- a/html/085scenario_console.cc.html +++ b/html/085scenario_console.cc.html @@ -10,13 +10,13 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/086scenario_console_test.mu.html b/html/086scenario_console_test.mu.html index 5d8c67f9..ae4d608b 100644 --- a/html/086scenario_console_test.mu.html +++ b/html/086scenario_console_test.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muScenario { color: #00af00; } diff --git a/html/090trace_browser.cc.html b/html/090trace_browser.cc.html index 6680a912..8677b9d2 100644 --- a/html/090trace_browser.cc.html +++ b/html/090trace_browser.cc.html @@ -10,12 +10,12 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .cSpecial { color: #008000; } -.Identifier { color: #804000; } +.Identifier { color: #fcb165; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/091run_interactive.cc.html b/html/091run_interactive.cc.html index 915cb510..6ce38c76 100644 --- a/html/091run_interactive.cc.html +++ b/html/091run_interactive.cc.html @@ -10,14 +10,14 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .traceContains { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/092persist.cc.html b/html/092persist.cc.html index d231f0c4..96158666 100644 --- a/html/092persist.cc.html +++ b/html/092persist.cc.html @@ -10,12 +10,12 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Identifier { color: #804000; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Identifier { color: #fcb165; } .cSpecial { color: #008000; } .Normal { color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Comment { color: #9090ff; } --> </style> diff --git a/html/998check_type_pointers.cc.html b/html/998check_type_pointers.cc.html index 215343a7..4db30d6c 100644 --- a/html/998check_type_pointers.cc.html +++ b/html/998check_type_pointers.cc.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .CommentedCode { color: #6c6c6c; } .Comment { color: #9090ff; } --> diff --git a/html/999spaces.cc.html b/html/999spaces.cc.html index 19081fe1..1513e987 100644 --- a/html/999spaces.cc.html +++ b/html/999spaces.cc.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .SalientComment { color: #00ffff; } .Comment { color: #9090ff; } --> diff --git a/html/channel.mu.html b/html/channel.mu.html index 405dd291..4496975f 100644 --- a/html/channel.mu.html +++ b/html/channel.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/chessboard.mu.html b/html/chessboard.mu.html index eabb8274..250da96b 100644 --- a/html/chessboard.mu.html +++ b/html/chessboard.mu.html @@ -10,11 +10,11 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muData { color: #ffff00; } .CommentedCode { color: #6c6c6c; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .muScenario { color: #00af00; } .SalientComment { color: #00ffff; } diff --git a/html/console.mu.html b/html/console.mu.html index 8332dc23..dfb00923 100644 --- a/html/console.mu.html +++ b/html/console.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } .Special { color: #ff6060; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/counters.mu.html b/html/counters.mu.html index 5d419207..7cf5295f 100644 --- a/html/counters.mu.html +++ b/html/counters.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/display.mu.html b/html/display.mu.html index d3c143fd..f7a7365c 100644 --- a/html/display.mu.html +++ b/html/display.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html index 4ca8b427..54f91eb8 100644 --- a/html/edit/001-editor.mu.html +++ b/html/edit/001-editor.mu.html @@ -10,8 +10,8 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Delimiter { color: #800080; } .muControl { color: #c0a020; } .muData { color: #ffff00; } .Special { color: #ff6060; } diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index 5b7d7872..4de14e9b 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -10,11 +10,11 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muData { color: #ffff00; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html index ee6c44bc..dc1a56b1 100644 --- a/html/edit/003-shortcuts.mu.html +++ b/html/edit/003-shortcuts.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html index 4fd659fd..b6c6da7d 100644 --- a/html/edit/004-programming-environment.mu.html +++ b/html/edit/004-programming-environment.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muData { color: #ffff00; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index 9dcb6ff3..d94d105d 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muScenario { color: #00af00; } .muData { color: #ffff00; } .Special { color: #ff6060; } diff --git a/html/edit/006-sandbox-edit.mu.html b/html/edit/006-sandbox-edit.mu.html index f6a737b2..1da28638 100644 --- a/html/edit/006-sandbox-edit.mu.html +++ b/html/edit/006-sandbox-edit.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .Special { color: #ff6060; } .Comment { color: #9090ff; } diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html index a41e9466..dfe5cea6 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .Special { color: #ff6060; } .Comment { color: #9090ff; } diff --git a/html/edit/008-sandbox-test.mu.html b/html/edit/008-sandbox-test.mu.html index 208636a5..c4876e9c 100644 --- a/html/edit/008-sandbox-test.mu.html +++ b/html/edit/008-sandbox-test.mu.html @@ -10,9 +10,9 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } .Special { color: #ff6060; } diff --git a/html/edit/009-sandbox-trace.mu.html b/html/edit/009-sandbox-trace.mu.html index 7a88ee9e..454d4f84 100644 --- a/html/edit/009-sandbox-trace.mu.html +++ b/html/edit/009-sandbox-trace.mu.html @@ -10,8 +10,8 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } -.Delimiter { color: #a04060; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } .muControl { color: #c0a020; } diff --git a/html/edit/010-errors.mu.html b/html/edit/010-errors.mu.html index aff63491..ce0194d4 100644 --- a/html/edit/010-errors.mu.html +++ b/html/edit/010-errors.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/edit/011-editor-undo.mu.html b/html/edit/011-editor-undo.mu.html index 78005789..00f15a79 100644 --- a/html/edit/011-editor-undo.mu.html +++ b/html/edit/011-editor-undo.mu.html @@ -10,11 +10,11 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } .Special { color: #ff6060; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .muData { color: #ffff00; } diff --git a/html/example1.mu.html b/html/example1.mu.html index f3466dec..5be843b9 100644 --- a/html/example1.mu.html +++ b/html/example1.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/factorial.mu.html b/html/factorial.mu.html index c0e930a7..47a20cd5 100644 --- a/html/factorial.mu.html +++ b/html/factorial.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muScenario { color: #00af00; } .muControl { color: #c0a020; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/fork.mu.html b/html/fork.mu.html index c2ea7b19..dc427385 100644 --- a/html/fork.mu.html +++ b/html/fork.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } .Constant { color: #00a0a0; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } --> diff --git a/html/global.mu.html b/html/global.mu.html index eef09bb1..6dd90acd 100644 --- a/html/global.mu.html +++ b/html/global.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/screen.mu.html b/html/screen.mu.html index 97432e2c..ecb82cbf 100644 --- a/html/screen.mu.html +++ b/html/screen.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/html/static_dispatch.mu.html b/html/static_dispatch.mu.html index e499fb8f..ae9c4e60 100644 --- a/html/static_dispatch.mu.html +++ b/html/static_dispatch.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Comment { color: #9090ff; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } diff --git a/html/tangle.mu.html b/html/tangle.mu.html index 7157ed39..505e91db 100644 --- a/html/tangle.mu.html +++ b/html/tangle.mu.html @@ -10,10 +10,10 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .muControl { color: #c0a020; } .Special { color: #ff6060; } -.Delimiter { color: #a04060; } +.Delimiter { color: #800080; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } .Comment { color: #9090ff; } diff --git a/html/x.mu.html b/html/x.mu.html index 55cb392d..0a92794e 100644 --- a/html/x.mu.html +++ b/html/x.mu.html @@ -10,7 +10,7 @@ <style type="text/css"> <!-- pre { font-family: monospace; color: #eeeeee; background-color: #080808; } -body { font-family: monospace; color: #eeeeee; background-color: #080808; } +body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; } .Special { color: #ff6060; } .Constant { color: #00a0a0; } .muRecipe { color: #ff8700; } diff --git a/update_html b/update_html index 68441e28..4e5ce473 100755 --- a/update_html +++ b/update_html @@ -8,12 +8,15 @@ process() { sed -i 's,<title>\~/mu/,<title>Mu - ,' $1.html sed -i 's,\.html</title>,</title>,' $1.html - sed -i 's/^\*.*/* { font-size: 1.05em; }/g' $1.html + sed -i 's/^\* { \(.*\) }/* { font-size: 12pt; \1 }/g' $1.html + sed -i 's/^body { \(.*\) }/body { font-size: 12pt; \1 }/g' $1.html # tweak contrast 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 - sed -i 's/^\.Delimiter .*/.Delimiter { color: #a04060; }/' $1.html # not meant to be read/ can be lower-contrast + sed -i 's/^\.Delimiter .*/.Delimiter { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast + sed -i 's/^\.PreProc .*/.PreProc { color: #800080; }/' $1.html # not meant to be read; can be lower-contrast + sed -i 's/^\.Identifier .*/.Identifier { color: #fcb165; }/' $1.html mv -i $1.html html/`dirname $1` } |