summaryrefslogtreecommitdiff
path: root/support/ite/manual.css
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/ite/manual.css
Initial commit
Diffstat (limited to 'support/ite/manual.css')
-rw-r--r--support/ite/manual.css15
1 files changed, 15 insertions, 0 deletions
diff --git a/support/ite/manual.css b/support/ite/manual.css
new file mode 100644
index 0000000000..beaf9ad6e4
--- /dev/null
+++ b/support/ite/manual.css
@@ -0,0 +1,15 @@
+p { }
+
+body { background-color:#fffff0; }
+
+span.ite { font-weight:bold }
+
+pre { background-color:#fff0ff; }
+
+.command {
+ font-size:large;
+ background-color:#f0ffff; border-bottom-style:solid; border-left-style:solid;
+ border-width:1pt; margin-top:24pt;
+}
+
+td.menu { background-color:lightblue; }