1/*
2 * $Id: style.css 18 2017-06-19 15:22:35Z denis $
3 * @author    DenisVS <deniswebcomm@gmail.com>
4 * source plugin extension - style additions
5 * @based on Source Plugin by  Chris Smith <chris@jalakai.co.uk>
6 * @link    https://www.dokuwiki.org/plugin:src
7 */
8/* source plugin extensions */
9
10/* layout */
11div.source {
12  width: 92%;
13  margin: 1em auto;
14  border: 1px solid;
15  padding: 4px;
16}
17
18div.source p {
19  font-size: 90%;
20  margin: 0;
21  padding: 2px;
22}
23
24div.source p span {
25  font-weight: normal;
26}
27
28div.source pre.code {
29  margin: 4px 0 0 0;
30}
31
32/* colours */
33div.source {
34  border-color:  #bdb;
35  background: #e4f8f2;
36}
37
38div.source p {
39  background: #c4e4d4;
40}
41
42div.source pre.code {
43  border: 1px dashed #9c9;
44  background: #ecfaf6;
45}
46