diff --git a/style/page.css b/style/page.css
index 8be0f5f..712ffb4 100644
--- a/style/page.css
+++ b/style/page.css
@@ -402,3 +402,4 @@ aside {
.maude .cf { color: hsl(276deg, 75%, 35%); font-weight: 500; }
.maude .op { color: hsl(220deg, 10%, 28%); }
.maude .co { color: hsl(221deg, 10%, 39%); font-style: italic; }
+.maude :is(.st, .fl, .dv, .sc) { color: hsl(143deg, 100%, 20%); }
diff --git a/syntax/maude.xml b/syntax/maude.xml
index 2608f28..ecd6df1 100644
--- a/syntax/maude.xml
+++ b/syntax/maude.xml
@@ -7,8 +7,10 @@
- mod
- endm
- is
- fmod
- endfm
+ - smod
- endsm
- th
- endth
- fth
- endfth
+ - sth
- endsth
- view
- endv
- from
- to
@@ -24,12 +26,14 @@
- subsort
- subsorts
- - op
- ops
- - var
- vars
- - eq
- ceq
- - rl
- crl
- - mb
- cmb
- - if
+ - op
- ops
+ - var
- vars
+ - eq
- ceq
+ - rl
- crl
+ - mb
- cmb
+ - strat
- strats
+ - sd
- csd
+ - if
@@ -46,26 +50,31 @@
+ String="(?<=^|\s)(?::[:=]?|->|<-|=>|=(?:=|/=)?|@)(?=\s|$)" />
-
-
+
+
+
+
+
-
-
+
+
@@ -86,14 +95,16 @@
+
+
-
+