-
Notifications
You must be signed in to change notification settings - Fork 1
/
wi-screen.tex
68 lines (44 loc) · 1.79 KB
/
wi-screen.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
% wi-screen.tex
% driver file wi-screen.tex to produce the Boxes and Diamonds textbook on
% with same type block as in printed version, but but with on-screen
% features (color, links, etc).
% We use the memoir class for maximal flexibility of layout, but any
% class will do
\documentclass[screen]{../../sty/open-logic-book}
%\usepackage[nonumberlist,toc,style=index]{glossaries}
%\makeglossaries
\definecolor{OLPcolor}{RGB}{0, 94, 184}
\definecolor{OLPdkcolor}{RGB}{0, 46, 93}
\definecolor{OLPltcolor}{RGB}{234, 170, 0}
% \olpath has to point to the location of the OLP main
% directory/folder. We're compiling from subdirectory
% courses/phil379/, so the main directory is two
% levels up.
\newcommand{\olpath}{../../}
\def\jobname{wi}
% load all the Open Logic definitions. This will also load the
% local definitions in bd-config.sty
\input{\olpath/sty/open-logic.sty}
\input{wi-metadata}
\input{\olpath/sty/open-logic-defer.sty}
% load glossary entries
%\loadglsentries{include/glossary}
% end preamble
\input{includeonly}
\begin{document}
\raggedbottom
\OLPscreencover{\vspace{-.5cm}\par
\hfill\includegraphics[width=.29\textwidth]{\olpath/assets/portraits/barcan-circle.pdf}%
\hspace{.06\textwidth}
\includegraphics[width=.29\textwidth]{\olpath/assets/portraits/brouwer-circle.pdf}{}
\includegraphics[width=.29\textwidth]{\olpath/assets/portraits/post-circle.pdf}\hfill
\includegraphics[width=.29\textwidth]{\olpath/assets/portraits/lewis-circle.pdf}\hfill
\includegraphics[width=.29\textwidth]{\olpath/assets/portraits/prior-circle.pdf}
\includegraphics[width=.29\textwidth]{\olpath/assets/portraits/heyting-circle.pdf}%
\hspace{.06\textwidth}
\includegraphics[width=.29\textwidth]{\olpath/assets/portraits/kripke-circle.pdf}\hfill{}
\vspace{-.5cm}
}
% Now load the actual text
\input{wi}
\end{document}