pep-material: styles/style.sty@ef37fb04a343 (annotated)

493 f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	1	\usepackage{xcolor}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	2	%%\usepackage{fontspec}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	3	\usepackage[sc]{mathpazo}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	4	\usepackage{fontspec}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	5	\setmainfont[Ligatures=TeX]{Palatino Linotype}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	6	\usepackage{amssymb}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	7	\usepackage{amsmath}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	8	\definecolor{darkblue}{rgb}{0,0,0.6}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	9	\usepackage[colorlinks=true,urlcolor=darkblue,linkcolor=darkblue]{hyperref}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	10	\usepackage{marginnote}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	11	\usepackage{fontawesome5}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	12
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	13	%% does not work after the last upgrade
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	14	%%\usepackage{menukeys}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	15
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	16	%%% for regular expressions and values
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	17	\newcommand{\ZERO}{\mbox{\bf 0}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	18	\newcommand{\ONE}{\mbox{\bf 1}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	19	\newcommand{\Left}{\textit{Left}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	20	\newcommand{\Der}{\textit{Der}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	21	\newcommand{\der}{\textit{der}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	22	\newcommand{\Ders}{\textit{Ders}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	23	\newcommand{\ders}{\textit{ders}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	24
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	25	%%% for trees
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	26	%% http://anorien.csc.warwick.ac.uk/mirrors/CTAN/graphics/pgf/contrib/forest/forest.pdf
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	27
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	28
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	29	%%% url pointers
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	30	\newcommand{\hv}[1]{\href{#1}{\faFilm}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	31	\newcommand{\hr}[1]{\href{#1}{\faHandPointRight[regular]}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	32	\newcommand{\here}[1]{\marginnote{\href{#1}{\faHandPointRight[regular]}}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	33	\newcommand{\video}[1]{\marginnote{\href{#1}{\faFilm}}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	34	\newcommand{\alert}{\reversemarginpar\marginpar{\mbox{}\hfill\textcolor{red}{\faExclamationTriangle}}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	35
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	36	\newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	37	\newcommand{\defn}[1]{\textit{\textbf{#1}}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	38	\newcommand{\dq}[1]{\mbox{\tt{"}}#1\mbox{\tt{"}}}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	39
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	40	\definecolor{codegray}{gray}{0.9}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	41
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	42	\makeatletter
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	43	\def\fnote{\gdef\@thefnmark{}\@footnotetext}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	44	\makeatother
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	45
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	46	% CW deadlines
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	47	\def\cwSIX{20 November}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	48	\def\cwSIXa{15 January}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	49
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	50	\def\cwSEVEN{27 November}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	51	\def\cwSEVENa{15 January}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	52
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	53	\def\cwEIGHT{4 December}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	54	\def\cwEIGHTa{15 January}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	55
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	56	\def\cwNINE{11 December}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	57	\def\cwNINEa{15 January}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	58
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	59	\def\cwTEN{15 January}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	60	\def\cwTENa{15 January}
f7c84bfa3cee updated Christian Urban <christian.urban@kcl.ac.uk> parents: diff changeset	61

author	Christian Urban <christian.urban@kcl.ac.uk>
	Mon, 10 Nov 2025 16:24:46 +0000
changeset 497	ef37fb04a343
parent 493	f7c84bfa3cee
permissions	-rw-r--r--