main: OCD

This commit is contained in:
Manos Katsomallos 2021-07-17 18:56:21 +02:00
parent ceeb7b84ec
commit aa74fb53c6

View File

@ -43,6 +43,8 @@
\graphicspath{{../graphics/}}
\DeclareGraphicsExtensions{.pdf, .png}
\newcommand*\includetable[1]{\input{../tables/#1.tex}}
\definecolor{material_red}{HTML}{d50000}
\definecolor{material_green}{HTML}{00c853}
\definecolor{material_blue}{HTML}{2962ff}
@ -58,8 +60,6 @@
\newcommand{\thethings}{\thething s}
\newcommand{\Thethings}{\Thething s}
\newcommand*\includetable[1]{\input{../tables/#1.tex}}
\newtheorem{definition}{Definition}
\newtheorem{example}{Example}[section]
\newtheorem{proposition}{Proposition}