config.tex

\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}

\PassOptionsToPackage{%
	drafting = true,    % print version information on the bottom of the pages
	tocaligned = false, % the left column of the toc will be aligned (no indentation)
	dottedtoc = true,  % page numbers in ToC flushed right
	eulerchapternumbers = true, % use AMS Euler for chapter font (otherwise Palatino)
	linedheaders = false,       % chaper headers will have line above and beneath
	floatperchapter = true,     % numbering per chapter for all floats (i.e., Figure 1.1)
	eulermath = true,   % use awesome Euler fonts for mathematical formulae (only with pdfLaTeX)
	beramono = true,    % toggle a nice monospaced font (w/ bold)
	palatino = true,    % deactivate standard font for loading another one, see the last section at the end of this file for suggestions
	style = arsclassica % classicthesis, arsclassica
}{classicthesis}

\newcommand{\myTitle}{Counterpart semantics for First-Order Linear Temporal Logic\xspace}
% \newcommand{\mySubtitle}{\xspace}
\newcommand{\myDegree}{Master Degree in Computer Science\xspace}
\newcommand{\myName}{Giuseppe Lomurno\xspace}
\newcommand{\myMatr}{547129\xspace}
\newcommand{\mySupervisor}{Prof. Fabio Gadducci\xspace}
% \newcommand{\myExaminer}{Prof. \xspace}
\newcommand{\myDepartment}{Dipartimento di Informatica\xspace}
\newcommand{\myUni}{Università di Pisa\xspace}
\newcommand{\myLocation}{Pisa\xspace}
\newcommand{\myTime}{October 2021\xspace}
% \newcommand{\myVersion}{version 1}
\newcommand{\myAcademicYear}{Academic Year 2020--2021}

\usepackage[english]{babel}

\usepackage[autostyle]{csquotes}
\usepackage[%
	backend = biber,
  bibencoding = utf8,
	language = auto,
	%style = numeric-comp,
	%style = authoryear-comp, % Author 1999, 2010
  style = alphabetic,
	%bibstyle = authoryear, dashed = false, % dashed: substitute rep. author with ---
	sorting = nyt, % name, year, title
	maxbibnames = 10, % default: 3, et al.
	backref = true,
	natbib = true % natbib compatibility mode (\citep and \citet still work)
]{biblatex}

\usepackage[]{amsmath}
\usepackage{amsthm}
\usepackage{amssymb}
\usepackage{mathtools}
\usepackage{thmtools}
\usepackage{stmaryrd}
\usepackage{braket}
\usepackage{ebproof}

\usepackage{setspace}
\usepackage{graphicx}
\usepackage{adforn}
\usepackage{scrhack} % fix warnings when using KOMA with listings package
\usepackage{xspace} % to get the spacing after macros right
\usepackage[printonlyused,smaller,withpage]{acronym} % nice macros for handling all acronyms in the thesis
%\renewcommand{\bflabel}[1]{{#1}\hfill} % fix the list of acronyms --> no longer working
%\renewcommand*{\acsfont}[1]{\textsc{#1}}
%\renewcommand*{\aclabelfont}[1]{\acsfont{#1}}
%\def\bflabel#1{{#1\hfill}}
\def\bflabel#1{{\acsfont{#1}\hfill}}
\def\aclabelfont#1{\acsfont{#1}}

\usepackage{pgfplots} % External TikZ/PGF support (thanks to Andreas Nautsch)
\usetikzlibrary{arrows, cd, patterns, positioning, shapes.multipart}
\tikzcdset{arrow style = tikz, diagrams = {> = stealth'}}
\usepackage{lettrine}

\usepackage{tabularx} % better tables
\setlength{\extrarowheight}{3pt} % increase table row height
\newcommand{\tableheadline}[1]{\multicolumn{1}{l}{\spacedlowsmallcaps{#1}}}
\newcommand{\myfloatalign}{\centering} % to be used with each float for alignment
\usepackage{multirow}
\usepackage{subfig}

\usepackage{classicthesis}

\hypersetup{%
	% draft, % hyperref's draft mode, for printing see below
	colorlinks = true, linktocpage = true, pdfstartpage = 3, pdfstartview = FitV,
	% uncomment the following line if you want to have black links (e.g., for printing)
	%colorlinks=false, linktocpage=false, pdfstartpage=3, pdfstartview=FitV, pdfborder={0 0 0},%
	breaklinks = true, pageanchor = true,
	pdfpagemode = UseNone,
	% pdfpagemode=UseOutlines,%
	plainpages = false, bookmarksnumbered, bookmarksopen = true, bookmarksopenlevel = 1,
	hypertexnames = true, pdfhighlight = /O,%nesting=true,%frenchlinks,
	urlcolor = CTurl, linkcolor = CTlink, citecolor = CTcitation, %pagecolor=RoyalBlue,%
	%urlcolor=Black, linkcolor=Black, citecolor=Black, %pagecolor=Black,%
	pdftitle = {\myTitle},
	pdfauthor = {\textcopyright\ \myName, \myUni, \myDepartment},
	pdfsubject={},
	pdfkeywords={},
	pdfcreator={pdfLaTeX},
	pdfproducer={LaTeX with hyperref and classicthesis}
}
\usepackage{cleveref}

\renewcommand{\epsilon}{\varepsilon}
\renewcommand{\theta}{\vartheta}
\renewcommand{\rho}{\varrho}
\renewcommand{\phi}{\varphi}

\linespread{1.05} % a bit more for Palatino

\usepackage{microtype}