summaryrefslogtreecommitdiff
path: root/tex/context/base/mkiv/context-help.lmx
diff options
context:
space:
mode:
authorContext Git Mirror Bot <phg42.2a@gmail.com>2016-04-19 17:28:27 +0200
committerContext Git Mirror Bot <phg42.2a@gmail.com>2016-04-19 17:28:27 +0200
commit0bc04866afcb280678aec47daed0716a2a4d17c7 (patch)
tree41892fb3437ba1512fcf8b3a8f0badb3caa9bc78 /tex/context/base/mkiv/context-help.lmx
parentd4edb7402ca3c02612ab4d74aab47c17e384d512 (diff)
downloadcontext-0bc04866afcb280678aec47daed0716a2a4d17c7.tar.gz
2016-04-19 17:20:00
Diffstat (limited to 'tex/context/base/mkiv/context-help.lmx')
-rw-r--r--tex/context/base/mkiv/context-help.lmx41
1 files changed, 33 insertions, 8 deletions
diff --git a/tex/context/base/mkiv/context-help.lmx b/tex/context/base/mkiv/context-help.lmx
index 7d54fca4d..962cd3c32 100644
--- a/tex/context/base/mkiv/context-help.lmx
+++ b/tex/context/base/mkiv/context-help.lmx
@@ -65,9 +65,29 @@
background-color: #C0C0C0 ;
color: black;
}
+ a.setupmenuurl {
+ color: #FFFFFF ;
+ text-decoration: none ;
+ font-weight: bold ;
+ }
+ a.setupmenucmd {
+ color: #FFFFFF ;
+ text-decoration: none ;
+ font-weight: bold ;
+ font-style: italic ;
+ }
a.setuplisturl {
color: #000000 ;
- text-decoration: underline ;
+ text-decoration: none ;
+ font-weight: bold ;
+ }
+ .setupmenugroup {
+ text-decoration: none ;
+ }
+ .setupmenucategory {
+ font-weight: bold ;
+ font-size: 2.5ex ;
+ margin-bottom: 1ex ;
}
<?lua
if utilities and utilities.scite and utilities.scite.css then
@@ -78,25 +98,30 @@ p(utilities.scite.css())
</head>
<body>
<div id="top"><div id="top-one"><div id="top-two">
- <?lua pv('title') ?>
+<?lua pv('title') ?>
</div></div></div>
<div id="left"><div id="left-one"><div id="left-two">
- <!-- empty -->
+<!-- empty -->
</div></div></div>
<div id="right"><div id="right-safari"><div id="right-one"><div id="right-two"><div id="right-three"><div id="right-four"><div id="right-five">
- <?lua pv('interfaces') ?>
+<?lua pv('interfaces') ?>
</div></div></div></div></div></div></div>
<div id="main"><div id='main-settings'>
<div id="main-left"><div id="main-common-settings">
- <h1><?lua pv('maintitle') ?></h1>
- <?lua pv('maintext') ?>
+<h1><?lua pv('maintitle') ?></h1>
+<?lua pv('maintext') ?>
</div></div>
<div id="main-right"><div id="main-common-settings">
- <?lua pv('names') ?>
+<?lua pv('names') ?>
+<script type='text/javascript'>
+ <!--
+ document.getElementById("#current").scrollIntoView();
+ -->
+</script>
</div></div>
</div></div>
<div id="bottom"><div id="bottom-one"><div id="bottom-two">
- <?lua pv('extra') ?>
+<?lua pv('extra') ?>
</div></div></div>
</body>
</html>