# HG changeset patch
# User wenzelm
# Date 1668368749 -3600
# Node ID 3e3541e79219a37e0137aa211525d36edf514f92
# Parent  2615cf68f6f4402acae6064df3b0e4833a33a731
separate style for re-use;

diff -r 2615cf68f6f4 -r 3e3541e79219 src/Doc/Demo_FoilTeX/ROOT
--- a/src/Doc/Demo_FoilTeX/ROOT	Sun Nov 13 20:28:39 2022 +0100
+++ b/src/Doc/Demo_FoilTeX/ROOT	Sun Nov 13 20:45:49 2022 +0100
@@ -10,4 +10,5 @@
     "foil20.clo"
     "foils.cls"
   document_files
+    "isabellefoils.sty"
     "root.tex"
diff -r 2615cf68f6f4 -r 3e3541e79219 src/Doc/Demo_FoilTeX/document/isabellefoils.sty
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/Doc/Demo_FoilTeX/document/isabellefoils.sty	Sun Nov 13 20:45:49 2022 +0100
@@ -0,0 +1,23 @@
+%styles
+\newcommand{\plainstyle}{\normalsize\sf\color{black}}
+\renewcommand{\isastyletext}{\normalsize\sf}
+\renewcommand{\isastyletxt}{\sf}
+\renewcommand{\isastylecmt}{\sf}
+
+%colors
+\newcommand{\titlestyle}{\color{DarkGreen}}
+\newcommand{\hilitecolor}{\color{Blue}}
+\newcommand{\hilite}[1]{{\hilitecolor#1}}
+\newcommand{\red}[1]{{\color{Red}#1}}
+\newcommand{\green}[1]{{\color{DarkGreen}#1}}
+
+%headings
+\renewcommand{\isamarkupchapter}[1]{\newpage\thispagestyle{empty}\MyLogo{\let\\=\relax #1}\vspace*{0.4\textheight}\begin{center}\LARGE\bf\color{DarkGreen} #1\end{center}}
+\renewcommand{\isamarkupsection}[1]{\foilhead{\color{DarkGreen}#1}}
+\renewcommand\isamarkupparagraph{\@startsection{paragraph}{4}{0pt}{\bigskipamount}{0.5ex \@plus .1ex}{\normalsize\bf\color{DarkBlue}}}
+
+%item spacing
+\renewcommand\@listIa{\leftmargin\leftmargini
+\topsep 0\p@ \@plus 0.5\p@ \@minus 1\p@
+\parsep 2\p@ \@plus 1\p@ \@minus 1\p@
+\itemsep 2\p@ \@plus 1\p@ \@minus 0.5\p@}
diff -r 2615cf68f6f4 -r 3e3541e79219 src/Doc/Demo_FoilTeX/document/root.tex
--- a/src/Doc/Demo_FoilTeX/document/root.tex	Sun Nov 13 20:28:39 2022 +0100
+++ b/src/Doc/Demo_FoilTeX/document/root.tex	Sun Nov 13 20:45:49 2022 +0100
@@ -4,43 +4,15 @@
 \usepackage[svgnames]{xcolor}
 \usepackage{graphicx}
 \usepackage{isabelle,isabellesym}
+\usepackage{isabellefoils}
 \usepackage{pdfsetup}
 
-
-\makeatletter
-
-%colors
-\newcommand{\titlestyle}{\color{DarkGreen}}
-\newcommand{\hilitecolor}{\color{Blue}}
-\newcommand{\hilite}[1]{{\hilitecolor#1}}
-\newcommand{\red}[1]{{\color{Red}#1}}
-\newcommand{\green}[1]{{\color{DarkGreen}#1}}
-
-%headings
-\renewcommand{\isamarkupchapter}[1]{\newpage\thispagestyle{empty}\MyLogo{\let\\=\relax #1}\vspace*{0.4\textheight}\begin{center}\LARGE\bf\color{DarkGreen} #1\end{center}}
-\renewcommand{\isamarkupsection}[1]{\foilhead{\color{DarkGreen}#1}}
-\renewcommand\isamarkupparagraph{\@startsection{paragraph}{4}{0pt}{\bigskipamount}{0.5ex \@plus .1ex}{\normalsize\bf\color{DarkBlue}}}
-
-%item spacing
-\renewcommand\@listIa{\leftmargin\leftmargini
-\topsep 0\p@ \@plus 0.5\p@ \@minus 1\p@
-\parsep 2\p@ \@plus 1\p@ \@minus 1\p@
-\itemsep 2\p@ \@plus 1\p@ \@minus 0.5\p@}
-
-\makeatother
-
-
 \parindent 0pt\parskip 0.5ex
 
 \urlstyle{sf}
 \isabellestyle{it}
 \MyLogo{}
 
-\newcommand{\plainstyle}{\normalsize\sf\color{black}}
-\renewcommand{\isastyletext}{\normalsize\sf}
-\renewcommand{\isastyletxt}{\sf}
-\renewcommand{\isastylecmt}{\sf}
-
 \isadroptag{theory}
 \isafoldtag{proof}