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