From 2f9244e90d7c9a4885abefa5a834fc6e152d3478 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Thu, 7 Dec 2023 20:28:04 +0100
Subject: [PATCH] style

---
 website/src/repl/panel/PatternsTab.jsx | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/website/src/repl/panel/PatternsTab.jsx b/website/src/repl/panel/PatternsTab.jsx
index d117efe1..1b19c8e0 100644
--- a/website/src/repl/panel/PatternsTab.jsx
+++ b/website/src/repl/panel/PatternsTab.jsx
@@ -20,10 +20,10 @@ export function PatternsTab({ context }) {
   return (
     <div className="px-4 w-full text-foreground space-y-4">
       <section>
-        <h2 className="text-xl mb-2">My Patterns</h2>
-        <div className="space-x-1">
+        <h2 className="text-xl mb-2">Pattern Collection</h2>
+        <div className="space-x-4 border-b border-foreground mb-1">
           <button
-            className="underline"
+            className="hover:opacity-50"
             onClick={() => {
               const name = newUserPattern();
               const { code } = getUserPattern(name);
@@ -32,16 +32,16 @@ export function PatternsTab({ context }) {
           >
             new
           </button>
-          <button className="underline" onClick={() => duplicateActivePattern()}>
+          <button className="hover:opacity-50" onClick={() => duplicateActivePattern()}>
             duplicate
           </button>
-          <button className="underline" onClick={() => renameActivePattern()}>
+          <button className="hover:opacity-50" onClick={() => renameActivePattern()}>
             rename
           </button>
-          <button className="underline" onClick={() => deleteActivePattern()}>
+          <button className="hover:opacity-50" onClick={() => deleteActivePattern()}>
             delete
           </button>
-          <button className="underline" onClick={() => clearUserPatterns()}>
+          <button className="hover:opacity-50" onClick={() => clearUserPatterns()}>
             clear
           </button>
         </div>