dokuwiki-source-plugin – Diff between revs 1 and 2
?pathlinks?
Rev 1 | Rev 2 | |||
---|---|---|---|---|
Line 1... | Line 1... | |||
1 | /* |
1 | /* |
|
2 | * source plugin extension - style additions |
2 | * source plugin extension - style additions |
|
3 | * |
3 | * |
|
- | 4 | * @author Wizardry and Steamworks office@grimore.org |
||
4 | * @author Christopher Smith chris@jalakai.co.uk |
5 | * original: Christopher Smith chris@jalakai.co.uk |
|
- | 6 | * @link http://grimore.org/dokuwiki/plugins/source |
||
5 | * @link http://wiki.jalakai.co.uk/dokuwiki/doku.php/tutorials/codeplugin |
7 | * original: http://wiki.jalakai.co.uk/dokuwiki/doku.php/tutorials/codeplugin |
|
6 | */ |
8 | */ |
|
7 | /* source plugin extensions */ |
9 | /* source plugin extensions */ |
|
Line 8... | Line 10... | |||
8 | |
10 | |
|
9 | /* layout */ |
11 | /* layout */ |
|
- | 12 | div.source { |
||
10 | div.source { |
13 | /* |
|
11 | width: 92%; |
14 | width: 92%; |
|
12 | margin: 1em auto; |
15 | margin: 1em auto; |
|
13 | border: 1px solid; |
16 | border: 1px solid; |
|
- | 17 | padding: 4px; |
||
14 | padding: 4px; |
18 | */ |
|
Line 15... | Line 19... | |||
15 | } |
19 | } |
|
- | 20 | |
||
16 | |
21 | div.source p { |
|
17 | div.source p { |
22 | /* |
|
18 | font-size: 90%; |
23 | font-size: 90%; |
|
- | 24 | margin: 0; |
||
19 | margin: 0; |
25 | padding: 2px; |
|
Line 20... | Line 26... | |||
20 | padding: 2px; |
26 | */ |
|
- | 27 | } |
||
21 | } |
28 | |
|
- | 29 | div.source p span { |
||
22 | |
30 | /* |
|
Line 23... | Line 31... | |||
23 | div.source p span { |
31 | font-weight: normal; |
|
- | 32 | */ |
||
24 | font-weight: normal; |
33 | } |
|
- | 34 | |
||
25 | } |
35 | div.source pre.code { |
|
Line 26... | Line 36... | |||
26 | |
36 | /* |
|
27 | div.source pre.code { |
37 | margin: 4px 0 0 0; |
|
- | 38 | */ |
||
28 | margin: 4px 0 0 0; |
39 | } |
|
29 | } |
40 | |
|
- | 41 | /* colours */ |
||
30 | |
42 | div.source { |
|
Line 31... | Line 43... | |||
31 | /* colours */ |
43 | /* |
|
- | 44 | border-color: #bdb; |
||
32 | div.source { |
45 | background: #e4f8f2; |
|
- | 46 | */ |
||
33 | border-color: #bdb; |
47 | } |
|
Line 34... | Line 48... | |||
34 | background: #e4f8f2; |
48 | |
|
- | 49 | div.source p { |
||
35 | } |
50 | /* |
|
36 | |
51 | background: #c4e4d4; |
|
- | 52 | */ |
||
- | 53 | } |
||
- | 54 | |
||
- | 55 | div.source pre.code { |
||
- | 56 | /* |
||
37 | div.source p { |
57 | border: 1px dashed #9c9; |