small changes

bsubercaseaux · Jun 9, 2024 · dc5b19d · dc5b19d
1 parent a650071
commit dc5b19d
Showing 1 changed file with 13 additions and 11 deletions.
diff --git a/ITP/main.tex b/ITP/main.tex
@@ -1,19 +1,19 @@
 \documentclass[a4paper, USenglish, cleveref, autoref, thm-restate]{lipics-v2021}
-\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
+%\usepackage[T1]{fontenc}
+%\usepackage[utf8]{inputenc}
 \usepackage{listings}
 \usepackage{cite}
 
-\usepackage{framed}
-\usepackage{doc}
+%\usepackage{framed}
+%\usepackage{doc}
 \usepackage{mathtools}
 \usepackage[customcolors]{hf-tikz}
 
 % \usepackage{pgfplots}
 % \usepackage{pgfmath}
 \usepackage{float}
-\usepackage[misc]{ifsym}
-\usepackage[ruled]{algorithm2e}
+%\usepackage[misc]{ifsym}
+%\usepackage[ruled]{algorithm2e}
 % \usepackage{subcaption}
 % \captionsetup{compatibility=false}
 % \usepackage{graphicx}
@@ -22,15 +22,15 @@
 \usepackage{amsfonts}
 \usepackage{amsmath}
 \usepackage{amssymb}
-\usepackage{todonotes}
+%\usepackage{todonotes}
 \usepackage{nicefrac}
 \usepackage{booktabs}
 \usepackage{multirow}
 \usepackage{xpatch}
 \usepackage{appendix}
 \usepackage{adjustbox}
 \usepackage{interval}
-\usepackage{microtype}
+%\usepackage{microtype}
 \usepackage{subcaption}
 
 
@@ -78,9 +78,11 @@
 stringstyle=\color{stringcolor}
 }
 
-\makeatletter
-\def\orcidID#1{\href{http://orcid.org/#1}{\protect\raisebox{-1.25pt}{\protect\includegraphics{orcid_color.eps}}}}
-\makeatother
+\nolinenumbers
+
+%\makeatletter
+%\def\orcidID#1{\href{http://orcid.org/#1}{\protect\raisebox{-1.25pt}{\protect\includegraphics{orcid_color.eps}}}}
+%\makeatother
 
 % \newtheorem{theorem}{Theorem}
 % \newtheorem{lemma}{Lemma}