Isolate directionality of a string from surrounding

9 years ago · 8ebc59336c
parent c807268e4c
commit 8ebc59336c
1 changed files with 3 additions and 0 deletions
--- a/notebook/static/notebook/less/highlight.less
+++ b/notebook/static/notebook/less/highlight.less
@ -27,6 +27,9 @@ Adapted from GitHub theme

 .highlight-string{
  color: #BA2121;
+  /* isolate strings unicode direction from surrounding text */
+  unicode-bidi: isolate;
+  unicode-bidi: -webkit-isolate;
 }

 .highlight-comment{