style.sty
author Christian Urban <christian.urban@kcl.ac.uk>
Thu, 10 Nov 2022 19:41:04 +0000
changeset 442 c86e7dd198bf
parent 344 a2ac7e3fa330
permissions -rw-r--r--
updated

\usepackage{xcolor}
%%\usepackage{fontspec}
\usepackage[sc]{mathpazo}
\usepackage{fontspec}
\setmainfont[Ligatures=TeX]{Palatino Linotype}
\usepackage{amssymb}
\usepackage{amsmath}
\definecolor{darkblue}{rgb}{0,0,0.6}
\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
\usepackage{marginnote}
\usepackage{fontawesome5}

%% does not work after the last upgrade
%%\usepackage{menukeys}

%%% for regular expressions and values
\newcommand{\ZERO}{\mbox{\bf 0}}
\newcommand{\ONE}{\mbox{\bf 1}}
\newcommand{\Left}{\textit{Left}}
\newcommand{\Der}{\textit{Der}}
\newcommand{\der}{\textit{der}}
\newcommand{\Ders}{\textit{Ders}}
\newcommand{\ders}{\textit{ders}}

%%% for trees
%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf


%%% url pointers
\newcommand{\here}[1]{\marginnote{\href{#1}{\faHandPointRight[regular]}}}
\newcommand{\video}[1]{\marginnote{\href{#1}{\faFilm}}}
\newcommand{\alert}{\reversemarginpar\marginpar{\mbox{}\hfill\textcolor{red}{\faExclamationTriangle}}}

\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
\newcommand{\defn}[1]{\textit{\textbf{#1}}}
\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}

\definecolor{codegray}{gray}{0.9}

\makeatletter
\def\fnote{\gdef\@thefnmark{}\@footnotetext}
\makeatother

% CW deadlines
\def\cwSIX{20 November}
\def\cwSIXa{15 January}

\def\cwSEVEN{27 November}
\def\cwSEVENa{15 January}

\def\cwEIGHT{4 December}
\def\cwEIGHTa{15 January}

\def\cwNINE{11 December}
\def\cwNINEa{15 January}

\def\cwTEN{15 January}
\def\cwTENa{15 January}