From 00223558c3fd03bda438b174dfd454619f0b5ea2 Mon Sep 17 00:00:00 2001
From: Romain Guy <romainguy@curious-creature.com>
Date: Thu, 5 Sep 2024 14:48:32 -0700
Subject: [PATCH] Tweak scrollbars

---
 .../dev/romainguy/kotlin/explorer/KotlinExplorer.kt       | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/jvmMain/kotlin/dev/romainguy/kotlin/explorer/KotlinExplorer.kt b/src/jvmMain/kotlin/dev/romainguy/kotlin/explorer/KotlinExplorer.kt
index ff494462..d7744933 100644
--- a/src/jvmMain/kotlin/dev/romainguy/kotlin/explorer/KotlinExplorer.kt
+++ b/src/jvmMain/kotlin/dev/romainguy/kotlin/explorer/KotlinExplorer.kt
@@ -304,7 +304,7 @@ private fun DocumentationPanel(markdownBlocks: List<MarkdownBlock>) {
                 .fillMaxSize()
                 .background(Color.White)
                 .border(1.dp, JewelTheme.globalColors.borders.normal)
-                .padding(8.dp)
+                .padding(8.dp, 2.dp, 4.dp, 2.dp)
             ) {
                 Box(Modifier
                     .fillMaxSize()
@@ -315,7 +315,7 @@ private fun DocumentationPanel(markdownBlocks: List<MarkdownBlock>) {
                         "",  // TODO: we should pass the raw Markdown
                         Modifier
                             .fillMaxSize()
-                            .padding(end = 12.dp)
+                            .padding(0.dp, 6.dp, 6.dp, 8.dp)
                             .focusable(false),
                         selectable = true,
                         onUrlClick = { url -> Desktop.getDesktop().browse(URI.create(url)) }
@@ -341,7 +341,7 @@ private fun LogsPanel(logs: AnnotatedString) {
             .fillMaxSize()
             .background(Color.White)
             .border(1.dp, JewelTheme.globalColors.borders.normal)
-            .padding(8.dp)
+            .padding(8.dp, 2.dp, 4.dp, 2.dp)
         ) {
             Box(Modifier
                 .fillMaxSize()
@@ -354,7 +354,7 @@ private fun LogsPanel(logs: AnnotatedString) {
                         fontSize = 12.sp,
                         modifier = Modifier
                             .fillMaxSize()
-                            .padding(end = 12.dp)
+                            .padding(0.dp, 6.dp, 6.dp, 8.dp)
                             .focusable(false)
                     )
                 }