Miscellaneous minor formatting improvements.

This commit is contained in:
2025-07-17 16:43:00 -05:00
parent f29789d87a
commit 2cc5f76adb
6 changed files with 52 additions and 47 deletions

View File

@@ -46,9 +46,9 @@
]
%#endregion
\newcommand{\objref}[1]{{\textbf{#1}}}
%\textsf
\newcommand{\serif}[1]{\textrm{#1}}
%\newcommand{\sans}[1]{\textsf{#1}}
\newcommand{\sans}[1]{\textsf{#1}}
\newcommand{\mono}[1]{\texttt{#1}}
\newcommand{\slab}[1]{{\sbfamily{}#1}}
\newcommand{\slab}[1]{{\sbfamily{}#1}}
\newcommand{\objref}[1]{{\sans{\strong{#1}}}}