CSS replacement support

Template authors now can use placeholders in their stylesheets which will
be replaced by the central CSS dispatcher. Placeholders and their replacements
are defined in a style.ini file in the Template directory.

This makes changing a colorset very easy.

darcs-hash:20051030193321-7ad00-bc66f405fd2e2b18cfcc5dc28feef04671eb6558.gz

1 files changed, 28 insertions, 0 deletions

diff --git a/lib/tpl/default/style.ini b/lib/tpl/default/style.ini
new file mode 100644
index 000000000..f5f10d0a4
--- /dev/null
+++ b/lib/tpl/default/style.ini
@@ -0,0 +1,28 @@
+; This file is used to configure some placeholder values used in
+; the stylesheets. Changing this file is the simplest method to
+; give your wiki a new look.
+;
+; Please see http://www.php.net/manual/en/function.parse-ini-file.php
+; for limitations of the ini format used here
+
+; various shades of gray, mainly used for backgrounds and texts
+__white__      = "#fff"
+__lightgray__  = "#f5f5f5"
+__mediumgray__ = "#ccc"
+__darkgray__   = "#666"
+__black__      = "#000"
+
+; these are the shades of blue
+__lighter__   = "#f7f9fa"
+__light__     = "#eef3f8"
+__medium__    = "#dee7ec"
+__dark__      = "#8cacbb"
+__darker__    = "#638c9c"
+
+; these are used for links
+__extern__    = "#436976"
+__existing__  = "#090"
+__missing__   = "#f30"
+
+; highlighting search snippets
+__highlight__ = "#ff9"