| |
| |
| |
| |
| |
| |
| code, |
| pre { |
| font-family: $font-family-monospace; |
| } |
| |
| |
| code { |
| padding: 2px 4px; |
| font-size: 90%; |
| color: $code-color; |
| background-color: $code-bg; |
| white-space: nowrap; |
| border-radius: $border-radius-base; |
| } |
| |
| |
| pre { |
| display: block; |
| padding: (($line-height-computed - 1) / 2); |
| margin: 0 0 ($line-height-computed / 2); |
| font-size: ($font-size-base - 1); |
| line-height: $line-height-base; |
| word-break: break-all; |
| word-wrap: break-word; |
| color: $pre-color; |
| background-color: $pre-bg; |
| border: 1px solid $pre-border-color; |
| border-radius: $border-radius-base; |
| |
| |
| &.prettyprint { |
| margin-bottom: $line-height-computed; |
| } |
| |
| |
| code { |
| padding: 0; |
| font-size: inherit; |
| color: inherit; |
| white-space: pre-wrap; |
| background-color: transparent; |
| border: 0; |
| } |
| } |
| |
| |
| .pre-scrollable { |
| max-height: $pre-scrollable-max-height; |
| overflow-y: scroll; |
| } |