Refactoring.

src/document-templates/dof-common.tex

@@ -19,8 +19,15 @@
 %% All customization and/or additional packages should be added to the file
 %% preamble.tex.
 
+\usepackage[T1]{fontenc}
+\usepackage[utf8]{inputenc}
+\usepackage[english,USenglish]{babel}
+
 \usepackage{isabelle}
 \usepackage{isabellesym}
+
+\usepackage{xcolor}
+
 \IfFileExists{DOF-core.sty}{}{%
   \PackageError{DOF-core}{Isabelle/DOF not installed. 
     This is a Isabelle/DOF project. The document preparation requires

src/document-templates/root-eptcs-UNSUPPORTED.tex

@@ -25,16 +25,11 @@
 \documentclass[submission,copyright,creativecommons]{eptcs}
 \bibliographystyle{eptcs}% the mandatory bibstyle
 
-\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage[USenglish]{babel}
-
 \input{dof-common}
 
 \usepackage{amsmath}
 \usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
-\usepackage{xcolor}
 \newcommand{\subtitle}[1]{%
   \PackageError{DOF-eptcs-UNSUPPORTED}
                {The LaTeX class eptcs does not support subtitles.}

src/document-templates/root-lncs.tex

@@ -21,16 +21,11 @@
 
 \RequirePackage{ifvtex}
 \documentclass{llncs}
-\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage[USenglish]{babel}
 \input{dof-common}
 \bibliographystyle{splncs04}
 \usepackage{amsmath}
 \usepackage{DOF-amssymb}
 
-\usepackage{xcolor}
-\usepackage{graphicx}
 \usepackage{hyperref}
 \setcounter{tocdepth}{3} 
 \hypersetup{%

src/document-templates/root-scrartcl.tex

@@ -22,21 +22,17 @@
 \RequirePackage{ifvtex}
 \documentclass[abstract=true,fontsize=11pt,DIV=12,paper=a4]{scrartcl}
 
-\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage[english]{babel}
+\input{dof-common}
 
 \usepackage{textcomp}
 \bibliographystyle{abbrvnat}
 \RequirePackage[caption]{subfig}
 
-\input{dof-common}
 
 \usepackage{amsmath}
 \usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
-\usepackage{xcolor}
-\usepackage{graphicx}
+
 \usepackage{hyperref}
 \setcounter{tocdepth}{3} 
 \hypersetup{%

src/document-templates/root-scrreprt-modern.tex

@@ -23,15 +23,12 @@
 
 \RequirePackage{ifvtex}
 \documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
-\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage[english]{babel}
+
 
 \usepackage{textcomp}
 \bibliographystyle{abbrvnat}
 \usepackage{amsthm}
 \usepackage{newtxsf}
-
 \input{dof-common}
 
 \usepackage{amsmath}
@@ -56,8 +53,6 @@
 \usepackage{amsmath}
 \usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
-\usepackage{xcolor}
-\usepackage{graphicx}
 \usepackage{hyperref}
 \setcounter{tocdepth}{2} 
 \hypersetup{%

src/document-templates/root-scrreprt.tex

@@ -21,21 +21,18 @@
 
 \RequirePackage{ifvtex}
 \documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
-\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage[english]{babel}
+
+\input{dof-common}
 
 \usepackage{textcomp}
 \bibliographystyle{abbrvnat}
 \RequirePackage[caption]{subfig}
 
-\input{dof-common}
 
 \usepackage{amsmath}
 \usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
-\usepackage{xcolor}
-\usepackage{graphicx}
+
 \usepackage{hyperref}
 \setcounter{tocdepth}{2} 
 \hypersetup{%

src/document-templates/root-svjour3-UNSUPPORTED.tex

@@ -22,19 +22,15 @@
 \RequirePackage{ifvtex}
 \RequirePackage{fix-cm}
 \documentclass[]{svjour3}
-\usepackage[T1]{fontenc}
-\usepackage[utf8]{inputenc}
-\usepackage[english]{babel}
+
+\input{dof-common}
 \usepackage{mathptmx}
 \bibliographystyle{abbrvnat}
 
-\input{dof-common}
 
 \usepackage{amsmath}
 \usepackage{DOF-amssymb}
 \usepackage[numbers, sort&compress, sectionbib]{natbib}
-\usepackage{xcolor}
-\usepackage{graphicx}
 \usepackage{hyperref}
 \setcounter{tocdepth}{3} 
 \hypersetup{%