From ce2c1efc41470764126e9a1a7f4e0cfec4213587 Mon Sep 17 00:00:00 2001 From: Kartik Agaram Date: Sun, 14 Jul 2019 09:42:36 -0700 Subject: . --- html/subx/000organization.cc.html | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'html/subx/000organization.cc.html') diff --git a/html/subx/000organization.cc.html b/html/subx/000organization.cc.html index d586451d..87c51792 100644 --- a/html/subx/000organization.cc.html +++ b/html/subx/000organization.cc.html @@ -3,8 +3,8 @@ Mu - subx/000organization.cc - - + + @@ -14,12 +14,12 @@ pre { white-space: pre-wrap; font-family: monospace; color: #000000; background- body { font-size:12pt; font-family: monospace; color: #000000; background-color: #c6c6c6; } a { color:inherit; } * { font-size:12pt; font-size: 1em; } -.LineNr { } .Delimiter { color: #c000c0; } +.LineNr { } +.Comment { color: #005faf; } .Constant { color: #008787; } .Identifier { color: #af5f00; } .Normal { color: #000000; background-color: #c6c6c6; padding-bottom: 1px; } -.Comment { color: #005faf; } .PreProc { color: #c000c0; } --> @@ -37,7 +37,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