1
0
mirror of https://github.com/oceanprotocol/docs.git synced 2024-11-26 19:49:26 +01:00

Merge pull request #130 from oceanprotocol/fix/code-style

fix aggressive prims.js syntax styles for inline code
This commit is contained in:
Matthias Kretschmann 2019-01-30 12:00:12 +01:00 committed by GitHub
commit 25f73cbc3e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 56 additions and 26 deletions

View File

@ -27,6 +27,36 @@
word-wrap: normal; word-wrap: normal;
word-break: normal; word-break: normal;
} }
:not(pre) > code {
background: darken($brand-white, 5%);
color: $brand-grey-dark;
display: inline-block;
padding-left: .3rem;
padding-right: .3rem;
}
pre {
display: block;
margin-bottom: $spacer;
padding: 0;
background: $brand-black;
// make 'em scrollable
overflow: auto;
-webkit-overflow-scrolling: touch;
code {
padding: $spacer;
white-space: pre;
display: block;
color: $brand-grey-lighter;
overflow-wrap: normal;
word-wrap: normal;
word-break: normal;
overflow: auto;
}
}
} }
.empty { .empty {

View File

@ -282,35 +282,35 @@ samp {
} }
} }
:not(pre) > code { // :not(pre) > code {
background: darken($brand-white, 5%); // background: darken($brand-white, 5%);
color: $brand-grey-dark; // color: $brand-grey-dark;
display: inline-block; // display: inline-block;
padding-left: .3rem; // padding-left: .3rem;
padding-right: .3rem; // padding-right: .3rem;
} // }
pre { // pre {
display: block; // display: block;
margin-bottom: $spacer !important; // margin-bottom: $spacer;
padding: 0 !important; // padding: 0;
background: $brand-black !important; // background: $brand-black;
// make 'em scrollable // // make 'em scrollable
overflow: auto; // overflow: auto;
-webkit-overflow-scrolling: touch; // -webkit-overflow-scrolling: touch;
code { // code {
padding: $spacer; // padding: $spacer;
white-space: pre; // white-space: pre;
display: block; // display: block;
color: $brand-grey-lighter !important; // color: $brand-grey-lighter;
overflow-wrap: normal; // overflow-wrap: normal;
word-wrap: normal; // word-wrap: normal;
word-break: normal; // word-break: normal;
overflow: auto; // overflow: auto;
} // }
} // }
// Selection // Selection
///////////////////////////////////// /////////////////////////////////////