about summary refs log tree commit diff stats
path: root/html/edit
diff options
context:
space:
mode:
Diffstat (limited to 'html/edit')
-rw-r--r--html/edit/001-editor.mu.html7
-rw-r--r--html/edit/002-typing.mu.html7
-rw-r--r--html/edit/003-shortcuts.mu.html7
-rw-r--r--html/edit/004-programming-environment.mu.html7
-rw-r--r--html/edit/005-sandbox.mu.html7
-rw-r--r--html/edit/006-sandbox-copy.mu.html7
-rw-r--r--html/edit/007-sandbox-delete.mu.html7
-rw-r--r--html/edit/008-sandbox-edit.mu.html7
-rw-r--r--html/edit/009-sandbox-test.mu.html7
-rw-r--r--html/edit/010-sandbox-trace.mu.html7
-rw-r--r--html/edit/011-errors.mu.html7
-rw-r--r--html/edit/012-editor-undo.mu.html7
12 files changed, 48 insertions, 36 deletions
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; }