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
41
42
|
/**
* $Id: phpwiki.css,v 1.6 2006/09/06 06:13:50 rurban Exp $
* We have two possibilities to override the default:
* 1. import is ns4 incompatible
* 2. add a 2nd css in themeinfo.php
*/
@import url(../default/phpwiki.css);
/**
* Wiki
*/
body {
/* ivory #ffe #fffff0*/
background: #dddddd;
/* background: #000099; */
font-family: Arial, Helvetica, sans-serif;
font-size: 80%; /* The default is too large. But enlarge monospace below */
/*margin: 1.5ex 1em; */
}
/**
* Link styles
*/
/*
.wiki, .named-wiki {
text-decoration: none;
font-weight: normal;
}
*/
h1 { margin: 0; font-size: 140% }
pre { font-size: 110% }
td { font-size: 80% }
/* For emacs users
*
* Local Variables:
* mode: c
* c-file-style: cc-mode
* End:
*/
|
