adding styles for preformatted text not covered by highlight.js
This commit is contained in:
parent
fe80e02b75
commit
99fb7b74b0
|
@ -55,7 +55,7 @@ dd {
|
||||||
|
|
||||||
|
|
||||||
.cooked ul, .cooked ol, .cooked dd {
|
.cooked ul, .cooked ol, .cooked dd {
|
||||||
clear: both;
|
clear: both;
|
||||||
}
|
}
|
||||||
|
|
||||||
li {
|
li {
|
||||||
|
|
|
@ -218,7 +218,16 @@ a:hover.reply-new {
|
||||||
code,kbd,pre,samp{
|
code,kbd,pre,samp{
|
||||||
font-family:monospace, serif; font-size:1em;
|
font-family:monospace, serif; font-size:1em;
|
||||||
}
|
}
|
||||||
pre { white-space:pre-wrap;}
|
pre {
|
||||||
|
code {
|
||||||
|
white-space:pre-wrap;
|
||||||
|
display: block;
|
||||||
|
padding: 5px 10px;
|
||||||
|
color: $primary_text_color;
|
||||||
|
background: lighten($secondary_background_color, 76%);
|
||||||
|
max-height: 500px;
|
||||||
|
}
|
||||||
|
}
|
||||||
q{ quotes:"\201C" "\201D" "\2018" "\2019"; }
|
q{ quotes:"\201C" "\201D" "\2018" "\2019"; }
|
||||||
small{ font-size:80%; }
|
small{ font-size:80%; }
|
||||||
sub,sup{
|
sub,sup{
|
||||||
|
|
Loading…
Reference in New Issue