Appearance
Insert Definition/Theorem/Proof Environments
Enunciation blocks are text-mode environments for theorem-like structures such as Theorem, Lemma, Corollary, Proposition, and Proof.
Insert enunciation blocks

Insert via
Insert->Enunciationin the menu or from the mode toolbar. If text is selected, it can be converted into an enunciation block directly.
Advanced formatting
Add section-based numbering prefix

In focus toolbar preferences (wrench), enable
Prefix by section number.
Add framed style and floating title box

Add border styling for the block and title box.
European-style numbering mode

In preferences, disable
Prefix by section numberto use a global counter.
Custom visual design
You can create custom enunciation styles. For detailed walkthroughs, see the official Bilibili channel: LiiiSTEM Studio.