forked from Isabelle_DOF/Isabelle_DOF
Updated page layout.
This commit is contained in:
parent
f57888284f
commit
c43d844082
|
@ -22,7 +22,7 @@
|
||||||
%% preamble.tex.
|
%% preamble.tex.
|
||||||
|
|
||||||
\RequirePackage{ifvtex}
|
\RequirePackage{ifvtex}
|
||||||
\documentclass[fontsize=11pt,DIV=9,paper=a4,open=right,twoside=semi,abstract=true]{scrreprt}
|
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
|
||||||
\usepackage[T1]{fontenc}
|
\usepackage[T1]{fontenc}
|
||||||
\usepackage[utf8]{inputenc}
|
\usepackage[utf8]{inputenc}
|
||||||
\usepackage{textcomp}
|
\usepackage{textcomp}
|
||||||
|
|
|
@ -20,7 +20,7 @@
|
||||||
%% preamble.tex.
|
%% preamble.tex.
|
||||||
|
|
||||||
\RequirePackage{ifvtex}
|
\RequirePackage{ifvtex}
|
||||||
\documentclass[fontsize=11pt,DIV=9,paper=a4,open=right,twoside=semi,abstract=true]{scrreprt}
|
\documentclass[fontsize=11pt,paper=a4,open=right,twoside,abstract=true]{scrreprt}
|
||||||
\usepackage[T1]{fontenc}
|
\usepackage[T1]{fontenc}
|
||||||
\usepackage[utf8]{inputenc}
|
\usepackage[utf8]{inputenc}
|
||||||
\usepackage{textcomp}
|
\usepackage{textcomp}
|
||||||
|
|
Reference in New Issue