blob: e6452ad90a676dc79216ddf778e6d6cca79568b3 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
|
; Please see http://www.php.net/manual/en/function.parse-ini-file.php
; for limitations of the ini format used here
; Define the stylesheets your template uses here. The second value
; defines for which output media the style should be loaded. Currently
; print, screen and rtl are supported. rtl styles are loaded additionally
; to screen styles if a right-to-left language is selected (eg. hebrew)
[stylesheets]
layout.css = screen
design.css = screen
style.css = screen
rtl.css = rtl
print.css = print
; This section 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.
[replacements]
; 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"
|