From b4d5b58959f9d416976910609f46733ee91bacb0 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Sun, 9 Oct 2016 00:24:24 -0700 Subject: 3491 Update the html, proving that commit 3490 worked. The only changes are from other recent commits. --- html/edit/002-typing.mu.html | 2 +- html/edit/004-programming-environment.mu.html | 6 +++--- 2 files changed, 4 insertions(+), 4 deletions(-) (limited to 'html/edit') diff --git a/html/edit/002-typing.mu.html b/html/edit/002-typing.mu.html index 8dd0fd48..256f1805 100644 --- a/html/edit/002-typing.mu.html +++ b/html/edit/002-typing.mu.html @@ -310,7 +310,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color row:num, column:num <- render screen, editor clear-line-until screen, right row <- add row, 1 - draw-horizontal screen, row, left, right, 9548/horizontal-dashed + draw-horizontal screen, row, left, right, 9480/horizontal-dotted row <- add row, 1 clear-screen-from screen, row, left, left, right ] diff --git a/html/edit/004-programming-environment.mu.html b/html/edit/004-programming-environment.mu.html index 72fb4000..155ac14d 100644 --- a/html/edit/004-programming-environment.mu.html +++ b/html/edit/004-programming-environment.mu.html @@ -71,7 +71,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color print screen, [ run (F4) ], 255/white, 161/reddish # dotted line down the middle divider:num, _ <- divide-with-remainder width, 2 - draw-vertical screen, divider, 1/top, height, 9550/vertical-dashed + draw-vertical screen, divider, 1/top, height, 9482/vertical-dotted # recipe editor on the left recipes:&:editor <- new-editor initial-recipe-contents, screen, 0/left, divider/right # sandbox editor on the right @@ -505,7 +505,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color trace 11, [app], [render divider] divider:num, _ <- divide-with-remainder width, 2 height:num <- screen-height screen - draw-vertical screen, divider, 1/top, height, 9550/vertical-dashed + draw-vertical screen, divider, 1/top, height, 9482/vertical-dotted # screen <- render-recipes screen, env, render-editor screen <- render-sandbox-side screen, env, render-editor @@ -532,7 +532,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color row <- add row, 1 <render-recipe-components-end> # draw dotted line after recipes - draw-horizontal screen, row, left, right, 9548/horizontal-dashed + draw-horizontal screen, row, left, right, 9480/horizontal-dotted row <- add row, 1 clear-screen-from screen, row, left, left, right ] -- cgit 1.4.1-2-gfad0