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.html2
-rw-r--r--html/edit/002-typing.mu.html2
-rw-r--r--html/edit/003-shortcuts.mu.html2
-rw-r--r--html/edit/004-programming-environment.mu.html2
-rw-r--r--html/edit/005-sandbox.mu.html2
-rw-r--r--html/edit/006-sandbox-copy.mu.html2
-rw-r--r--html/edit/007-sandbox-delete.mu.html2
-rw-r--r--html/edit/008-sandbox-edit.mu.html2
-rw-r--r--html/edit/009-sandbox-test.mu.html2
-rw-r--r--html/edit/010-sandbox-trace.mu.html2
-rw-r--r--html/edit/011-errors.mu.html2
-rw-r--r--html/edit/012-editor-undo.mu.html2
12 files changed, 24 insertions, 0 deletions
diff --git a/html/edit/001-editor.mu.html b/html/edit/001-editor.mu.html
index e9523e13..63919b99 100644
--- a/html/edit/001-editor.mu.html
+++ b/html/edit/001-editor.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html
index 26f60cb4..9d883a7e 100644
--- a/html/edit/002-typing.mu.html
+++ b/html/edit/002-typing.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/003-shortcuts.mu.html b/html/edit/003-shortcuts.mu.html
index 3cbade2a..77446c2a 100644
--- a/html/edit/003-shortcuts.mu.html
+++ b/html/edit/003-shortcuts.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html
index 04ef7e45..2ae4fb29 100644
--- a/html/edit/004-programming-environment.mu.html
+++ b/html/edit/004-programming-environment.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/005-sandbox.mu.html b/html/edit/005-sandbox.mu.html
index 624f0322..14e49d55 100644
--- a/html/edit/005-sandbox.mu.html
+++ b/html/edit/005-sandbox.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/006-sandbox-copy.mu.html b/html/edit/006-sandbox-copy.mu.html
index 43baf39f..dec7b976 100644
--- a/html/edit/006-sandbox-copy.mu.html
+++ b/html/edit/006-sandbox-copy.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/007-sandbox-delete.mu.html b/html/edit/007-sandbox-delete.mu.html
index b2c9dcd5..6da7f3da 100644
--- a/html/edit/007-sandbox-delete.mu.html
+++ b/html/edit/007-sandbox-delete.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/008-sandbox-edit.mu.html b/html/edit/008-sandbox-edit.mu.html
index 4f4281a1..014c939e 100644
--- a/html/edit/008-sandbox-edit.mu.html
+++ b/html/edit/008-sandbox-edit.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .Delimiter { color: #800080; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/009-sandbox-test.mu.html b/html/edit/009-sandbox-test.mu.html
index d376f209..e0edd9a7 100644
--- a/html/edit/009-sandbox-test.mu.html
+++ b/html/edit/009-sandbox-test.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/010-sandbox-trace.mu.html b/html/edit/010-sandbox-trace.mu.html
index fdc6f188..39f7c7b8 100644
--- a/html/edit/010-sandbox-trace.mu.html
+++ b/html/edit/010-sandbox-trace.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/011-errors.mu.html b/html/edit/011-errors.mu.html
index e38feeea..cd2cf200 100644
--- a/html/edit/011-errors.mu.html
+++ b/html/edit/011-errors.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }
diff --git a/html/edit/012-editor-undo.mu.html b/html/edit/012-editor-undo.mu.html
index ad378ce0..452c9809 100644
--- a/html/edit/012-editor-undo.mu.html
+++ b/html/edit/012-editor-undo.mu.html
@@ -12,6 +12,8 @@
 <!--
 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; }
+a:hover { text-decoration: underline; }
 * { font-size: 12pt; font-size: 1em; }
 .muData { color: #ffff00; }
 .muControl { color: #c0a020; }