From b2915aa514af07dbe2effc18d560f83a46143b8f Mon Sep 17 00:00:00 2001
From: Julian Berman <Julian@GrayVines.com>
Date: Mon, 30 Dec 2024 12:12:15 -0500
Subject: [PATCH] Minor highlight tweaks.

---
 queries/lean/highlights.scm | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

diff --git a/queries/lean/highlights.scm b/queries/lean/highlights.scm
index 6c3d8f52..3677e347 100644
--- a/queries/lean/highlights.scm
+++ b/queries/lean/highlights.scm
@@ -163,7 +163,7 @@
   "private"
   "protected"
   "unsafe"
-] @keyword
+] @keyword.modifier
 
 [
   "apply"
@@ -196,7 +196,7 @@
 [(true) (false)] @boolean
 
 (number) @number
-(float) @float
+(float) @number.float
 
 (comment) @comment
 (char) @character
@@ -211,7 +211,12 @@
   "{" @punctuation.special
   "}" @punctuation.special)
 
-["(" ")" "[" "]" "{" "}" "⟨" "⟩"] @punctuation.bracket
+[
+  "(" ")"
+  "[" "]"
+  "{" "}"
+  "⟨" "⟩"
+] @punctuation.bracket
 
 ["|" "," "." ":" ";"] @punctuation.delimiter