Set the dollar sign of code snippets to non-selectable
This commit is contained in:
parent
797450174d
commit
961ebb545b
1 changed files with 27 additions and 17 deletions
|
@ -63,6 +63,28 @@ div > pre {
|
||||||
}
|
}
|
||||||
|
|
||||||
overflow: auto;
|
overflow: auto;
|
||||||
|
|
||||||
|
pre {
|
||||||
|
margin-bottom: 0;
|
||||||
|
font-size: $code-font-size;
|
||||||
|
line-height: 1.4rem;
|
||||||
|
word-wrap: normal; /* Fixed Safari overflow-x */
|
||||||
|
}
|
||||||
|
|
||||||
|
table {
|
||||||
|
padding: 0;
|
||||||
|
border: 0;
|
||||||
|
td pre {
|
||||||
|
overflow: visible; /* Fixed iOS safari overflow-x */
|
||||||
|
word-break: normal; /* Fixed iOS safari linenos code break */
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
td {
|
||||||
|
padding: 0;
|
||||||
|
border: 0;
|
||||||
|
}
|
||||||
|
|
||||||
.lineno {
|
.lineno {
|
||||||
margin-left: 0.2rem;
|
margin-left: 0.2rem;
|
||||||
padding-right: 0.5rem;
|
padding-right: 0.5rem;
|
||||||
|
@ -77,24 +99,12 @@ div > pre {
|
||||||
-o-user-select: none;
|
-o-user-select: none;
|
||||||
user-select: none;
|
user-select: none;
|
||||||
}
|
}
|
||||||
pre {
|
|
||||||
margin-bottom: 0;
|
/* set the dollar sign to non-selectable */
|
||||||
font-size: $code-font-size;
|
.gp {
|
||||||
line-height: 1.4rem;
|
user-select: none;
|
||||||
word-wrap: normal; /* Fixed Safari overflow-x */
|
|
||||||
}
|
|
||||||
table {
|
|
||||||
padding: 0;
|
|
||||||
border: 0;
|
|
||||||
td pre {
|
|
||||||
overflow: visible; /* Fixed iOS safari overflow-x */
|
|
||||||
word-break: normal; /* Fixed iOS safari linenos code break */
|
|
||||||
}
|
|
||||||
}
|
|
||||||
td {
|
|
||||||
padding: 0;
|
|
||||||
border: 0;
|
|
||||||
}
|
}
|
||||||
|
|
||||||
} //.highlight
|
} //.highlight
|
||||||
|
|
||||||
code {
|
code {
|
||||||
|
|
Loading…
Reference in a new issue