##// END OF EJS Templates
Backport PR #5534: cleanup some `pre` css inheritance...
Backport PR #5534: cleanup some `pre` css inheritance We had various overrides of the bootstrap defaults for font-size and line-height every time we made a pre tag, and then some overrides of our overrides when we wanted something slightly different. This moves the most basic overrides to apply to all pre tags, reducing the number of downstream changes we need. Should hopefully replace the CSS changes in #5488

File last commit:

r14877:eb598772
r16675:4a6cc50c
Show More
renderedhtml.less
86 lines | 2.6 KiB | text/x-less | LessCssLexer
.rendered_html {
color: @textColor;
em {font-style: italic;}
strong {font-weight: bold;}
u {text-decoration: underline;}
:link {text-decoration: underline;}
:visited {text-decoration: underline;}
// For a 14px base font size this goes as:
// font-size = 26, 22, 18, 14, 12, 12
// margin-top = 14, 14, 14, 14, 8, 8
h1 {font-size: 185.7%; margin: 1.08em 0 0 0; font-weight: bold; line-height: 1.0;}
h2 {font-size: 157.1%; margin: 1.27em 0 0 0; font-weight: bold; line-height: 1.0;}
h3 {font-size: 128.6%; margin: 1.55em 0 0 0; font-weight: bold; line-height: 1.0;}
h4 {font-size: 100%; margin: 2em 0 0 0; font-weight: bold; line-height: 1.0;}
h5 {font-size: 100%; margin: 2em 0 0 0; font-weight: bold; line-height: 1.0; font-style: italic;}
h6 {font-size: 100%; margin: 2em 0 0 0; font-weight: bold; line-height: 1.0; font-style: italic;}
// Reduce the top margins by 14px compared to above
h1:first-child {margin-top: 0.538em;}
h2:first-child {margin-top: 0.636em;}
h3:first-child {margin-top: 0.777em;}
h4:first-child {margin-top: 1em;}
h5:first-child {margin-top: 1em;}
h6:first-child {margin-top: 1em;}
ul {list-style:disc; margin: 0em 2em;}
ul ul {list-style:square; margin: 0em 2em;}
ul ul ul {list-style:circle; margin: 0em 2em;}
ol {list-style:decimal; margin: 0em 2em;}
ol ol {list-style:upper-alpha; margin: 0em 2em;}
ol ol ol {list-style:lower-alpha; margin: 0em 2em;}
ol ol ol ol {list-style:lower-roman; margin: 0em 2em;}
/* any extras will just be numbers: */
ol ol ol ol ol {list-style:decimal; margin: 0em 2em;}
* + ul {margin-top: 1em;}
* + ol {margin-top: 1em;}
hr {
color: black;
background-color: black;
}
pre {margin: 1em 2em;}
pre, code {
border: 0;
background-color: @bodyBackground;
color: @textColor;
font-size: 100%;
padding: 0px;
}
blockquote {margin: 1em 2em;}
table {
margin-left: auto;
margin-right: auto;
border: 1px solid black;
border-collapse: collapse;
}
tr, th, td {
border: 1px solid black;
border-collapse: collapse;
margin: 1em 2em;
}
td, th {
text-align: left;
vertical-align: middle;
padding: 4px;
}
th {font-weight: bold;}
* + table {margin-top: 1em;}
p {text-align: justify;}
* + p {margin-top: 1em;}
img {
display: block;
margin-left: auto;
margin-right: auto;
}
* + img {margin-top: 1em;}
}