src/Doc/Demo_FoilTeX/document/isabellefoils.sty
author wenzelm
Wed, 12 Mar 2025 11:39:00 +0100
changeset 82265 4b875a4c83b0
parent 76515 3e3541e79219
permissions -rw-r--r--
update for release;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
76515
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     1
%styles
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     2
\newcommand{\plainstyle}{\normalsize\sf\color{black}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     3
\renewcommand{\isastyletext}{\normalsize\sf}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     4
\renewcommand{\isastyletxt}{\sf}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     5
\renewcommand{\isastylecmt}{\sf}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     6
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     7
%colors
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     8
\newcommand{\titlestyle}{\color{DarkGreen}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
     9
\newcommand{\hilitecolor}{\color{Blue}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    10
\newcommand{\hilite}[1]{{\hilitecolor#1}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    11
\newcommand{\red}[1]{{\color{Red}#1}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    12
\newcommand{\green}[1]{{\color{DarkGreen}#1}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    13
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    14
%headings
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    15
\renewcommand{\isamarkupchapter}[1]{\newpage\thispagestyle{empty}\MyLogo{\let\\=\relax #1}\vspace*{0.4\textheight}\begin{center}\LARGE\bf\color{DarkGreen} #1\end{center}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    16
\renewcommand{\isamarkupsection}[1]{\foilhead{\color{DarkGreen}#1}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    17
\renewcommand\isamarkupparagraph{\@startsection{paragraph}{4}{0pt}{\bigskipamount}{0.5ex \@plus .1ex}{\normalsize\bf\color{DarkBlue}}}
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    18
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    19
%item spacing
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    20
\renewcommand\@listIa{\leftmargin\leftmargini
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    21
\topsep 0\p@ \@plus 0.5\p@ \@minus 1\p@
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    22
\parsep 2\p@ \@plus 1\p@ \@minus 1\p@
3e3541e79219 separate style for re-use;
wenzelm
parents:
diff changeset
    23
\itemsep 2\p@ \@plus 1\p@ \@minus 0.5\p@}