styles/style.sty
changeset 493 f7c84bfa3cee
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/styles/style.sty	Mon Nov 10 11:04:33 2025 +0000
@@ -0,0 +1,61 @@
+\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{\hv}[1]{\href{#1}{\faFilm}}
+\newcommand{\hr}[1]{\href{#1}{\faHandPointRight[regular]}}
+\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}
+