From 5465e4ff8db2c9031c12412e1df22b0155307147 Mon Sep 17 00:00:00 2001 From: Mike Taylor Date: Wed, 18 Dec 2013 17:32:12 +0000 Subject: [PATCH] Finish classifying examples. --- tools/htdocs/index.html | 38 ++++++++++++++++++++++---------------- 1 file changed, 22 insertions(+), 16 deletions(-) diff --git a/tools/htdocs/index.html b/tools/htdocs/index.html index d87d1cf..b2e2d6a 100644 --- a/tools/htdocs/index.html +++ b/tools/htdocs/index.html @@ -6,7 +6,7 @@ body { font-family: Gill Sans, "Gillius ADF", Gillius, GilliusADF, Sans-Serif; } - h1 { font-weight: normal; color: #606060 } + h1, h3 { font-weight: normal; color: #606060 } .pane { padding: 0em 1em; margin: 0.75em; border: 0.5em solid #eee; border-radius: 1em; @@ -39,7 +39,7 @@
-

Example

+

A minimal example

Here is a completely functional (though ugly) MKWS-based searching application: @@ -156,15 +156,9 @@ -

Intermediate examples

+

Advanced examples

+ +

Non-standard interfaces

+
-- 1.7.10.4