Some proposed CSS fixes for divs from Allen.

(imported from commit 88dc527c67dacaca930b6dd38bfe3340134d726a)
This commit is contained in:
Tim Abbott
2013-12-20 10:31:11 -05:00
parent 63810131e3
commit c7ce0547f4

View File

@@ -255,6 +255,19 @@ code {
font-size: 0.857em; font-size: 0.857em;
} }
.codehilite {
display: block !important;
border: none !important;
background: none !important;
}
.codehilite pre {
width: 100%;
margin-left: -5000px;
position: relative;
left: 5000px;
}
pre { pre {
/* 12/14 em, so bootstrap's default 12 px, /* 12/14 em, so bootstrap's default 12 px,
when body is the default 14 px */ when body is the default 14 px */