File: phpwiki.css

package info (click to toggle)
phpwiki 1.3.12p3-5etch1
  • links: PTS
  • area: main
  • in suites: etch
  • size: 16,956 kB
  • ctags: 21,608
  • sloc: php: 82,335; xml: 3,840; sh: 1,522; sql: 1,198; perl: 625; makefile: 562; awk: 28
file content (38 lines) | stat: -rw-r--r-- 693 bytes parent folder | download | duplicates (3) 
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
 
/**
 * $Id: phpwiki.css,v 1.3 2005/06/22 05:20:47 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: #fffff0;
  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% }

/* For emacs users
 *
 * Local Variables:
 * mode: c
 * c-file-style: cc-mode
 * End:
 */