diff options
Diffstat (limited to 'html/edit')
-rw-r--r-- | html/edit/001-editor.mu.html | 4 | ||||
-rw-r--r-- | html/edit/002-typing.mu.html | 4 | ||||
-rw-r--r-- | html/edit/003-shortcuts.mu.html | 4 | ||||
-rw-r--r-- | html/edit/004-programming-environment.mu.html | 4 | ||||
-rw-r--r-- | html/edit/005-sandbox.mu.html | 4 | ||||
-rw-r--r-- | html/edit/006-sandbox-edit.mu.html | 4 | ||||
-rw-r--r-- | html/edit/007-sandbox-delete.mu.html | 4 | ||||
-rw-r--r-- | html/edit/008-sandbox-test.mu.html | 4 | ||||
-rw-r--r-- | html/edit/009-sandbox-trace.mu.html | 4 | ||||
-rw-r--r-- | html/edit/010-errors.mu.html | 4 | ||||
-rw-r--r-- | html/edit/011-editor-undo.mu.html | 4 |
11 files changed, 22 insertions, 22 deletions
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; } |