minor improvements

gsantner · Sep 4, 2024 · e0253ff · e0253ff
1 parent d0b8783
commit e0253ff
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 6 deletions.
diff --git a/app/src/main/java/net/gsantner/markor/frontend/MarkorDialogFactory.java b/app/src/main/java/net/gsantner/markor/frontend/MarkorDialogFactory.java
@@ -837,7 +837,9 @@ public static void showHeadlineDialog(
 
             TextViewUtils.selectLines(edit, line);
             final String jumpJs = "document.querySelector('[line=\"" + line + "\"]').scrollIntoView();";
-            webView.evaluateJavascript(jumpJs, null);
+            if (Build.VERSION.SDK_INT >= Build.VERSION_CODES.KITKAT) {
+                webView.evaluateJavascript(jumpJs, null);
+            }
         };
 
         dopt.neutralButtonText = R.string.filter;

diff --git a/app/thirdparty/assets/prism/plugins/toolbar/prism-toolbar.css b/app/thirdparty/assets/prism/plugins/toolbar/prism-toolbar.css
@@ -47,13 +47,13 @@ div.code-toolbar > .toolbar > .toolbar-item > span {
 	text-transform: none;
 	background: rgba(215, 215, 215, 0.4);
 	box-shadow: 0 2px 0 0 rgba(150,150,150,0.8);
-	border-radius: 0.4em;
+	border-radius: 0.5em;
 	display: inline-block;
 	min-width: 80%;
-	max-height: 1.8em;
-	padding-left: 0.5em;
-	padding-right: 0.5em;
-	padding-top: 0.2em;
+	max-height: 1.75em;
+	padding-left: 0.45em;
+	padding-right: 0.45em;
+	padding-top: 0.1em;
 	padding-bottom: 0.2em;
 }