Bugfix: the new endShowHide failed in Edge and mobile browsers

Cleanup bootstrap less files
This commit is contained in:
djmaze 2020-09-02 21:30:23 +02:00
parent 7135cc38fe
commit 0e8bf13d5d
32 changed files with 167 additions and 663 deletions

View file

@ -7,10 +7,13 @@
code,
pre {
padding: 0 3px 2px;
#font > #family > .monospace;
font-family: @monoFontFamily;
font-size: @baseFontSize;
font-weight: normal;
line-height: @baseLineHeight;
font-size: @baseFontSize - 2;
color: @grayDark;
.border-radius(3px);
border-radius: 3px;
}
// Inline code
@ -33,9 +36,8 @@ pre {
white-space: pre;
white-space: pre-wrap;
background-color: #f5f5f5;
border: 1px solid #ccc; // fallback for IE7-8
border: 1px solid rgba(0,0,0,.15);
.border-radius(4px);
border-radius: 4px;
// Make prettyprint styles more spaced out for readability
&.prettyprint {
@ -55,4 +57,4 @@ pre {
.pre-scrollable {
max-height: 340px;
overflow-y: scroll;
}
}