diff options
Diffstat (limited to 'debian/missing-sources/wyrm/sass/wyrm_addons/pygments/_pygments.sass')
-rw-r--r-- | debian/missing-sources/wyrm/sass/wyrm_addons/pygments/_pygments.sass | 59 |
1 files changed, 59 insertions, 0 deletions
diff --git a/debian/missing-sources/wyrm/sass/wyrm_addons/pygments/_pygments.sass b/debian/missing-sources/wyrm/sass/wyrm_addons/pygments/_pygments.sass new file mode 100644 index 0000000..34a0ecc --- /dev/null +++ b/debian/missing-sources/wyrm/sass/wyrm_addons/pygments/_pygments.sass @@ -0,0 +1,59 @@ +.codeblock-example + border: 1px solid $table-border-color + border-bottom: none + padding: $base-line-height + padding-top: $base-line-height * 2 + font-weight: 500 + background: $white + position: relative + &:after + content: "Example" + position: absolute + top: 0px + left: 0px + background: $purple + color: lighten(purple, 80%) + padding: $base-line-height / 4 $base-line-height / 2 + &.prettyprint-example-only + border: 1px solid $table-border-color + margin-bottom: $base-line-height + +.codeblock, div[class^='highlight'] + border: 1px solid $table-border-color + padding: 0px + overflow-x: auto + background: $white + // 1px hack otherwise border won't show. lame + margin: 1px 0 $base-line-height 0 + div[class^='highlight'] + border: none + background: none + margin: 0 +// Needs 100% width for line highlighting to work properly +div[class^='highlight'] td.code + width: 100% +.linenodiv pre + border-right: solid 1px lighten($table-border-color, 2%) + margin: 0 + padding: $base-line-height / 2 $base-line-height / 2 + font-family: $code-font-family + font-size: 12px + line-height: 1.5 + color: $text-lighter +div[class^='highlight'] pre + white-space: pre + margin: 0 + padding: $base-line-height / 2 $base-line-height / 2 + font-family: $code-font-family + font-size: 12px + line-height: 1.5 + display: block + overflow: auto + color: $text-color +pre.literal-block + @extend .codeblock + +@media print + .codeblock, div[class^='highlight'], div[class^='highlight'] pre + white-space: pre-wrap + |