Minor highlight tweaks.

Julian · Dec 30, 2024 · b2915aa · b2915aa
1 parent 7a78fb4
commit b2915aa
Showing 1 changed file with 8 additions and 3 deletions.
diff --git 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