From ce2c1efc41470764126e9a1a7f4e0cfec4213587 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sun, 14 Jul 2019 09:42:36 -0700 Subject: . --- html/subx/001help.cc.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'html/subx/001help.cc.html') diff --git a/html/subx/001help.cc.html b/html/subx/001help.cc.html index 85db4952..a84f7b27 100644 --- a/html/subx/001help.cc.html +++ b/html/subx/001help.cc.html @@ -3,8 +3,8 @@ Mu - subx/001help.cc - - + + @@ -15,14 +15,14 @@ body { font-size:12pt; font-family: monospace; color: #000000; background-color: a { color:inherit; } * { font-size:12pt; font-size: 1em; } .CommentedCode { color: #8a8a8a; } -.PreProc { color: #c000c0; } .LineNr { } .Constant { color: #008787; } +.Comment { color: #005faf; } .Delimiter { color: #c000c0; } .Special { color: #d70000; } .Identifier { color: #af5f00; } .Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; } -.Comment { color: #005faf; } +.PreProc { color: #c000c0; } .cSpecial { color: #008000; } --> @@ -40,7 +40,7 @@ function JumpToLine() if (lineNum.indexOf('L') == -1) { lineNum = 'L'+lineNum; } - lineElem = document.getElementById(lineNum); + var lineElem = document.getElementById(lineNum); /* Always jump to new location even if the line was hidden inside a fold, or * we corrected the raw number to a line ID. */ -- cgit 1.4.1-2-gfad0