changeset 1293:007ceb8dcf89

minor
author Franklin Schmidt <fschmidt@gmail.com>
date Sun, 06 Jan 2019 14:09:24 -0700
parents a6892dcf5659
children 2555154ad19f
files src/luan/modules/http/tools/Run.luan src/luan/modules/http/tools/Shell.luan website/src/fschmidt/stopwatch.html
diffstat 3 files changed, 8 insertions(+), 21 deletions(-) [+]
line wrap: on
line diff
diff -r a6892dcf5659 -r 007ceb8dcf89 src/luan/modules/http/tools/Run.luan
--- a/src/luan/modules/http/tools/Run.luan	Thu Jan 03 15:01:36 2019 -0700
+++ b/src/luan/modules/http/tools/Run.luan	Sun Jan 06 14:09:24 2019 -0700
@@ -34,18 +34,11 @@
 		<title>Run Luan Code</title>
 		<style>
 			body {
-				font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
+				font-family: sans-serif;
 				text-align: center;
-				margin-top: 1em;
-			}
-			h2 {
-				margin-bottom: .3em;
-				font-weight: normal;
 			}
 			textarea {
 				font: inherit;
-				border-radius: 4px;
-				padding: .5em .8em;
 			}
 			input[type="submit"] {
 				margin-top: .3em;
@@ -55,9 +48,7 @@
 				font: inherit;
 				padding: .5em;
 				border-radius: 4px;
-			}
-			input[type="submit"]:hover {
-				background: #236aa7 !important;
+				cursor: pointer;
 			}
 		</style>
 	</head>
@@ -66,7 +57,7 @@
 		<form method="post">
 			<input type="hidden" name="content_type" value="text/plain; charset=utf-8" />
 			<div>
-				<textarea name="code" rows="20" cols="90" wrap="off" autofocus></textarea>
+				<textarea name="code" rows="20" cols="90" autofocus></textarea>
 			</div>
 			<div>
 				<input type="submit" value="Execute Luan Code"/>
@@ -91,16 +82,16 @@
 		function()
 			local run = load(code,"<web_run>")
 			run()
-		end;
+		end
 		catch = function(e)
 			Http.response.reset()
 			Http.response.headers["content-type"] = "text/plain; charset=utf-8"
 			Io.stdout = Http.response.text_writer()
 			print(e)
-			print""
-			print""
+			print()
+			print()
 			print_with_line_numbers(code)
-		end;
+		end
 	}
 end
 
diff -r a6892dcf5659 -r 007ceb8dcf89 src/luan/modules/http/tools/Shell.luan
--- a/src/luan/modules/http/tools/Shell.luan	Thu Jan 03 15:01:36 2019 -0700
+++ b/src/luan/modules/http/tools/Shell.luan	Sun Jan 06 14:09:24 2019 -0700
@@ -1,6 +1,5 @@
 local Luan = require "luan:Luan.luan"
 local error = Luan.error
-local ipairs = Luan.ipairs or error()
 local load = Luan.load or error()
 local to_string = Luan.to_string or error()
 local try = Luan.try or error()
@@ -103,7 +102,7 @@
 		<title>Luan Shell</title>
 		<style>
 			body {
-				font-family: "Helvetica Neue", Helvetica, Arial, sans-serif;
+				font-family: sans-serif;
 				margin: 2em 5% 0 5%;
 			}
 			pre {
diff -r a6892dcf5659 -r 007ceb8dcf89 website/src/fschmidt/stopwatch.html
--- a/website/src/fschmidt/stopwatch.html	Thu Jan 03 15:01:36 2019 -0700
+++ b/website/src/fschmidt/stopwatch.html	Sun Jan 06 14:09:24 2019 -0700
@@ -12,9 +12,6 @@
 				border-radius: 6px;
 				display: none;
 			}
-			button:focus {
-				outline: inherit;
-			}
 		</style>
 		<script>