From ce2c1efc41470764126e9a1a7f4e0cfec4213587 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sun, 14 Jul 2019 09:42:36 -0700 Subject: . --- html/subx/038---literal_strings.cc.html | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'html/subx/038---literal_strings.cc.html') diff --git a/html/subx/038---literal_strings.cc.html b/html/subx/038---literal_strings.cc.html index b74c47db..01c4a0ca 100644 --- a/html/subx/038---literal_strings.cc.html +++ b/html/subx/038---literal_strings.cc.html @@ -3,8 +3,8 @@ Mu - subx/038---literal_strings.cc - - + + @@ -16,11 +16,11 @@ a { color:inherit; } * { font-size:12pt; font-size: 1em; } .LineNr { } .Constant { color: #008787; } -.Delimiter { color: #c000c0; } +.Comment { color: #005faf; } +.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; } .Special { color: #d70000; } .Identifier { color: #af5f00; } -.Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; } -.Comment { color: #005faf; } +.Delimiter { color: #c000c0; } .cSpecial { color: #008000; } --> @@ -38,7 +38,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