diff -r 19b75e899d37 -r 9c03b5e89a2a style.sty
--- a/style.sty	Fri Apr 26 17:29:30 2024 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,59 +0,0 @@
-\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}
-