Realization Calculus

Download original file

This is the original TeX manuscript source. Use the paper’s PDF for typeset equations.

Read the typeset paper

1 % Shared publication layout. Mathematical definitions and proofs are unchanged.
2 \RequirePackage{setspace,caption,needspace,etoolbox}
3 \definecolor{pubNavy}{HTML}{3C263F}
4 \definecolor{pubTeal}{HTML}{7B4165}
5 \definecolor{pubCopper}{HTML}{A68A56}
6 \definecolor{pubInk}{HTML}{22282C}
7 \definecolor{pubMuted}{HTML}{615963}
8 \definecolor{pubWash}{HTML}{F5F0F4}
9 \newcommand{\CoreLayout}{%
10   \geometry{letterpaper,left=.87in,right=.87in,top=.88in,bottom=.86in,headheight=14pt,headsep=18pt,footskip=26pt,ignorehead,ignorefoot}%
11   \color{pubInk}\setstretch{1.06}%
12   \setlength{\parindent}{1.05em}\setlength{\parskip}{2.5pt plus .5pt minus .3pt}%
13   \setlength{\emergencystretch}{3em}\raggedbottom
14   \setlength{\abovedisplayskip}{9pt plus 2pt minus 2pt}%
15   \setlength{\belowdisplayskip}{9pt plus 2pt minus 2pt}%
16   \setlength{\abovedisplayshortskip}{5pt plus 2pt minus 1pt}%
17   \setlength{\belowdisplayshortskip}{6pt plus 2pt minus 1pt}%
18   \pagestyle{empty}\fancypagestyle{plain}{\fancyhf{}\renewcommand{\headrulewidth}{0pt}\renewcommand{\footrulewidth}{0pt}}%
19   \titleformat{\section}{\normalfont\bfseries\fontsize{14}{18}\selectfont\color{pubNavy}\raggedright}{\textcolor{pubTeal}{\thesection}}{.65em}{}%
20   \titleformat{\subsection}{\normalfont\bfseries\fontsize{11.8}{15}\selectfont\color{pubNavy}\raggedright}{\thesubsection}{.65em}{}%
21   \titleformat{\subsubsection}{\normalfont\itshape\fontsize{11.3}{14}\selectfont\color{pubNavy}\raggedright}{\thesubsubsection}{.7em}{}%
22   \titleformat{\part}{\normalfont\bfseries\fontsize{18}{23}\selectfont\color{pubNavy}\raggedright}{\textcolor{pubTeal}{Part \thepart}}{.7em}{}%
23   \titlespacing*{\part}{0pt}{16pt}{18pt}%
24   \titlespacing*{\section}{0pt}{18pt plus 3pt minus 2pt}{8pt}%
25   \titlespacing*{\subsection}{0pt}{13pt plus 2pt minus 1pt}{6pt}%
26   \titlespacing*{\subsubsection}{0pt}{11pt}{4pt}%
27   \ifcsname chapter\endcsname
28     \titleformat{\chapter}[display]{\normalfont\color{pubNavy}}{\sffamily\fontsize{8.5}{11}\selectfont\color{pubTeal}\MakeUppercase{\chaptertitlename}\enspace\thechapter}{9pt}{\fontsize{24}{29}\selectfont\bfseries\raggedright}%
29     \titlespacing*{\chapter}{0pt}{6pt}{22pt}%
30   \fi
31   \captionsetup{format=hang,justification=raggedright,singlelinecheck=false,font={small,sf,stretch=1.06},labelfont={bf,sf,color=pubInk},textfont={color=pubMuted},labelsep=period,skip=8pt}%
32   \hypersetup{colorlinks=true,linkcolor=pubTeal,citecolor=pubTeal,urlcolor=pubTeal,breaklinks=true}%
33   \clubpenalty=10000\widowpenalty=10000\displaywidowpenalty=10000
34   \AtBeginEnvironment{longtable}{\ifdim\csname f@size\endcsname pt>10pt\relax\small\fi}
35   \frenchspacing
36 }
37 \newcommand{\CoreOpening}[3]{%
38   \thispagestyle{empty}\begingroup\setlength{\parindent}{0pt}%
39   {\sffamily\fontsize{8.5}{11}\selectfont\color{pubTeal}\MakeUppercase{#1}\par}%
40   \vspace{18pt}%
41   {\fontsize{28}{34}\selectfont\color{pubNavy}\raggedright#2\par}%
42   \vspace{12pt}%
43   {\sffamily\fontsize{11}{15.5}\selectfont\color{pubMuted}\raggedright#3\par}%
44   \vspace{19pt}\noindent\textcolor{pubCopper}{\rule{42pt}{.8pt}}\par
45   \vspace{16pt}\endgroup\normalfont\color{pubInk}%
46 }
47 
48 \newcommand{\CoreContext}[2]{%
49  \par\begingroup\small\sffamily\color{pubMuted}\setlength{\parindent}{0pt}%
50  \textbf{#1.}\enspace #2\par\endgroup\vspace{11pt}%
51 }
52 
53 \BeforeBeginEnvironment{tabularx}{\noindent}

Back to source controls

Back to Realization Calculus