<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">% commands used in the docs.
\ProvidesPackage{mathsemantics-documentation-local}
\RequirePackage{fontawesome5}
% Load the metalogo package (which provides the \XeTeX command)
\RequirePackage{metalogo}

\RequirePackage{xcolor}
\RequirePackage{lineno}
\RequirePackage{scrdate}
\RequirePackage{lastpage}
\RequirePackage{scrlayer-scrpage}
\RequirePackage{stmaryrd}
\RequirePackage{enumitem}
\RequirePackage{ccicons}
\usepackage[useregional]{datetime2}
\RequirePackage{minted}
\usemintedstyle{vs}
% load fonts
\RequirePackage{microtype}
\RequirePackage[proportional]{libertine}
\RequirePackage[libertine,liby]{newtxmath}
\RequirePackage[scaled=0.95,varqu,varl]{inconsolata}

\RequirePackage{hyperref}
\RequirePackage[nameinlink,capitalize,noabbrev]{cleveref}
% Load Package - after minted
\RequirePackage[shortbb]{mathsemantics}

\definecolor{TolMutedBlue}{HTML}{332288}
\definecolor{TolMutedGreen}{HTML}{117733}
\definecolor{TolMutedWine}{HTML}{882255}

\crefformat{footnote}{#2\footnotemark[#1]#3}
\hypersetup{
  pdfpagemode=UseOutlines,
  colorlinks=true,
  linkcolor=TolMutedBlue,
  filecolor=TolMutedWine,
  urlcolor=TolMutedWine,
  citecolor=TolMutedGreen,
  plainpages=false,
  hypertexnames=false
}


% Set up the appearance of author, date, title, and section headings etc.
\renewcommand*{\sectfont}{\color{TolMutedBlue}\sffamily}
\setkomafont{author}{\large\normalfont\sffamily}
\setkomafont{date}{\large\normalfont\sffamily}
\setkomafont{title}{\color{TolMutedBlue}\normalfont\sffamily\scshape}
\addtokomafont{pageheadfoot}{\normalfont\sffamily\footnotesize}
\addtokomafont{section}{\scshape}
\addtokomafont{subsection}{\scshape}
\addtokomafont{subsubsection}{\scshape\itshape}
\pagestyle{scrheadings}
\KOMAoptions{headsepline=true}
\KOMAoptions{footsepline=true}
\KOMAoptions{plainfootsepline=true}

\rohead[]{mathsemantics.sty}
\lehead[]{R. Bergmann}
\refoot[]{\ISOToday}
\cofoot[]{\ccbysa}
\ofoot[page~\thepage~of~\pageref*{LastPage}]{page~\thepage~of~\pageref*{LastPage}}
\useosf

% Define a command which displays a command inline
\NewDocumentCommand\codeCommand{v}{\mintinline{LaTeX}|#1|}

% Define a command which displays code and renders its results
\NewDocumentCommand\codeExample{v}{%
  \faIcon{code}\hspace{.25cm}%
  \mintinline{LaTeX}{#1}
  \hspace{.5cm}\faEye[regular]\hspace{.25cm}%
  \scantokens{#1\noexpand}%
}

% Define a command which just renders the result but does not display the code
\NewDocumentCommand\justCodeExample{v}{%
  \faEye[regular]\hspace{.25cm}%
  \scantokens{#1\noexpand}%
}

% Define a command which displays code and renders its results in math mode
\NewDocumentCommand\mathCodeExample{v}{%
  \faIcon{code}$_{\hspace{-.5ex}\text{\color{TolMutedGreen}\faIcon{dollar-sign}}}$\hspace{.125cm}%
  \mintinline{LaTeX}{#1}
  \hspace{.5cm}
  \faEye[regular]\hspace{.125cm}\scantokens{$\displaystyle #1\noexpand$}%
}

\newcommand{\mathsemanticsWarning}{{ \color{TolVibrantOrange}\faIcon{exclamation-triangle}\ }}
\newcommand{\file}[1]{\nolinkurl{#1}}

% Define a command which displays colors
\NewDocumentCommand\colorExample{v}{%
  \faIcon{tint}%
  \hspace{.25cm}
  \makebox[.3\textwidth][l]{\textcolor{#1}{#1}}%
  \hspace{.5cm}%
  \colorbox{#1}{\textcolor{white}{\faIcon{fill}}\hspace{.25cm}#1\hspace{.25cm}}%
}

% Define a new description type list
\newenvironment{commandlist}{\begin{description}[style=multiline,leftmargin=.25\textwidth,font=\texttt]}{\end{description}}
\newenvironment{dictionarylist}{\begin{description}[style=multiline,leftmargin=.5\textwidth,font=\textbf, topsep=0pt,itemsep=-1.1ex,partopsep=1ex,parsep=1ex]}{\end{description}}
</pre></body></html>