diff options
Diffstat (limited to 'html/edit')
-rw-r--r-- | html/edit/001-editor.mu.html | 1 | ||||
-rw-r--r-- | html/edit/002-typing.mu.html | 1 | ||||
-rw-r--r-- | html/edit/003-shortcuts.mu.html | 1 | ||||
-rw-r--r-- | html/edit/004-programming-environment.mu.html | 1 | ||||
-rw-r--r-- | html/edit/005-sandbox.mu.html | 1 | ||||
-rw-r--r-- | html/edit/006-sandbox-copy.mu.html | 1 | ||||
-rw-r--r-- | html/edit/007-sandbox-delete.mu.html | 1 | ||||
-rw-r--r-- | html/edit/008-sandbox-edit.mu.html | 1 | ||||
-rw-r--r-- | html/edit/009-sandbox-test.mu.html | 1 | ||||
-rw-r--r-- | html/edit/010-sandbox-trace.mu.html | 1 | ||||
-rw-r--r-- | html/edit/011-errors.mu.html | 1 | ||||
-rw-r--r-- | html/edit/012-editor-undo.mu.html | 1 |
12 files changed, 12 insertions, 0 deletions
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html index 55d657c3..bafdade1 100644 --- a/html/edit/001-editor.mu.html +++ b/html/edit/001-editor.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index b1d91e07..39422b93 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html index 4381f107..ec4096b6 100644 --- a/html/edit/003-shortcuts.mu.html +++ b/html/edit/003-shortcuts.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html index c46650db..4d0ff1c3 100644 --- a/html/edit/004-programming-environment.mu.html +++ b/html/edit/004-programming-environment.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html index 7e484efe..f082c7b1 100644 --- a/html/edit/005-sandbox.mu.html +++ b/html/edit/005-sandbox.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html index 0feafeef..9fc7e6f4 100644 --- a/html/edit/006-sandbox-copy.mu.html +++ b/html/edit/006-sandbox-copy.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html index 588c2b8e..26f46332 100644 --- a/html/edit/007-sandbox-delete.mu.html +++ b/html/edit/007-sandbox-delete.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html index d20780a9..ab672c78 100644 --- a/html/edit/008-sandbox-edit.mu.html +++ b/html/edit/008-sandbox-edit.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/009-sandbox-test.mu.html b/html/edit/009-sandbox-test.mu.html index cd853990..199d554f 100644 --- a/html/edit/009-sandbox-test.mu.html +++ b/html/edit/009-sandbox-test.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/010-sandbox-trace.mu.html b/html/edit/010-sandbox-trace.mu.html index 45fa21e9..62144117 100644 --- a/html/edit/010-sandbox-trace.mu.html +++ b/html/edit/010-sandbox-trace.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html index 7a265f32..d840f7f9 100644 --- a/html/edit/011-errors.mu.html +++ b/html/edit/011-errors.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html index fc29d146..3b663e19 100644 --- a/html/edit/012-editor-undo.mu.html +++ b/html/edit/012-editor-undo.mu.html @@ -12,6 +12,7 @@ <!-- pre { white-space: pre-wrap; font-family: monospace; color: #000000; background-color: #c6c6c6; } body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } +a { color:inherit; } * { font-size:12pt; font-size: 1em; } .muControl { color: #804000; } .muRecipe { color: #ff8700; } |