From e5c11a5137d538b7713dd8708ca767c208824c06 Mon Sep 17 00:00:00 2001 From: "Kartik K. Agaram" Date: Mon, 26 Dec 2016 01:17:01 -0800 Subject: 3709 - line numbers in html Each line number also gets an anchor name, but I'm not hyperlinking them for now because I don't want to encourage bookmarking these links just yet. They aren't permalinks because every revision may change what's at any given line number. --- html/example1.mu.html | 40 ++++++++++++++++++++++++++++++++-------- 1 file changed, 32 insertions(+), 8 deletions(-) (limited to 'html/example1.mu.html') diff --git a/html/example1.mu.html b/html/example1.mu.html index eeeaf4b8..cc19427f 100644 --- a/html/example1.mu.html +++ b/html/example1.mu.html @@ -6,15 +6,16 @@ - + @@ -22,16 +23,39 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color - +

-def example1 [
-  local-scope
-  a:num <- add 2, 2
-  a <- multiply a, 3
-]
+1 def example1 [
+2   local-scope
+3   a:num <- add 2, 2
+4   a <- multiply a, 3
+5 ]

-- cgit 1.4.1-2-gfad0