117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
|
-
+
-
+
|
sideboxUsed = 0;
}
/*
** append a reference to command line to a web page
** and generate the footer
*/
void style_footer_cmdref( const char * const zCmd ){
void style_footer_cmdref( const char * const zCmd, const char * const zSubCmd ){
@ <div class="cmdref">See also command line help:
@ <a href="help?cmd=%s(zCmd)">%s(zCmd)</a>
@ <a href="help?cmd=%s(zCmd)">%s(zCmd)</a> %s(zSubCmd?zSubCmd:"")
@ </div>
style_footer();
}
/*
** Draw the footer at the bottom of the page.
*/
|
745
746
747
748
749
750
751
752
753
754
755
756
757
758
|
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
|
+
+
+
+
+
+
+
|
@ color: blue;
},
{ "a.hidden",
"format for links, that should not be very visible",
@ font-size: xx-small;
@ color: #aaaaaa;
},
{ "div.cmdhelp",
"format for single command display on the gui help page",
@ font-family: monospace;
@ padding-left: 4em;
@ padding-bottom: 1em;
@ white-space: pre;
},
{ "div.cmdref",
"format for references to command line help entries the actual gui page."
"set \"display\" to \"none\" to suppress the display",
@ font-size: small;
@ text-align: right;
@ font-family: monospace;
@ color: #777777;
|