1 /* General formatting */
3 body { font-family: sans-serif;
7 .copyright { color: #7F7F7F;
10 /* Title page formatting */
13 .slidesinfo { text-align: center;
17 .slidesinfo h1.title { color: blue;
19 .slidesinfo h2.subtitle { color: blue;
21 .slidesinfo h1.author { color: green;
24 .slidesinfo .copyright { color: black;
28 /* ToC page formatting */
30 .tocpage h1.title { color: blue;
34 .tocpage a { text-decoration: none; }
35 .tocpage a:link { color: blue; }
36 .tocpage a:visited { color: blue; }
38 .toc-body { margin-left: 0.5in;
42 /* Foil page formatting */
44 .foil { font-size: 16pt;
46 .foil h1.title { text-align: center;
51 .foil h2.subtitle { text-align: center;
57 .foil pre { font-size: 16pt;
60 .foil-body { margin-left: 0.5in;
64 /* Foilgroup page formatting */
66 .foilgroup { font-size: 16pt;
68 .foilgroup h1.title { text-align: center;
73 .foilgroup h2.subtitle { text-align: center;
79 .foilgroup-body { margin-left: 0.5in;
83 /* Navigation header formatting */
85 .navhead { border-bottom: 1px solid black;
90 .navhead hr.top-nav-sep { display: none; }
92 .navhead .slidestitle { font-weight: normal;
97 /* Navigation footer formatting */
99 .navfoot { border-top: 1px solid black;
104 .navfoot hr.bottom-nav-sep { display: none; }
106 /* General navigation formatting */
108 .link-text { font-weight: bold;
113 .link-text a { text-decoration: none; }
114 .link-text a:link { color: blue; }
115 .link-text a:visited { color: blue; }
117 .no-link-text { color: #7F7F7F; }