1/*
2 * source plugin extension - style additions
3 *
4 * @author  Christopher Smith  chris@jalakai.co.uk
5 * @link    http://wiki.jalakai.co.uk/dokuwiki/doku.php/tutorials/codeplugin
6 */
7/* source plugin extensions */
8
9/* layout */
10div.source {
11  width: 92%;
12  margin: 1em auto;
13  border: 1px solid;
14  padding: 4px;
15}
16
17div.source p {
18  font-size: 90%;
19  margin: 0;
20  padding: 2px;
21}
22
23div.source p span {
24  font-weight: normal;
25}
26
27div.source pre.code {
28  margin: 4px 0 0 0;
29}
30
31/* colours */
32div.source {
33  border-color:  #bdb;
34  background: #e4f8f2;
35}
36
37div.source p {
38  background: #c4e4d4;
39}
40
41div.source pre.code {
42  border: 1px dashed #9c9;
43  background: #ecfaf6;
44}
45