1 @font-face { font-family: 'Junction'; src: url
(fonts/Junction02.otf); }
2 @font-face { font-family: 'benwiener'; src: url
(fonts
/benweiner_-_Puritan_Regular
.otf
); }
4 h1
, h2
, h3
, h4
, h5
, h6
, .slide
{
5 font-family: benwiener
, Helvetica
, Arial
, sans-serif
;
9 font-family: monospace
;
21 background: rgba
(0, 0, 0, 0.85);
23 border: 1px solid rgba
(0, 0, 0, 0.9);
26 .commandline code.command {
30 .commandline code.result {
52 background-color: none
;
64 background: #008 -webkit-gradient
(linear
, 0% 0%, 0% 100%, from
(#008), to
(#009));
65 background-color: #008;
66 font-family: 'Junction';
67 padding: 6px 10px 3px 10px;
74 -moz-border-radius: 10px;
75 -webkit-border-radius: 10px;
76 box-shadow: rgba
(0, 0, 0, 0.1) 0 2px 5px;
77 -webkit-box-shadow: rgba
(0, 0, 0, 0.1) 0 2px 5px;
78 -moz-box-shadow: rgba
(0, 0, 0, 0.1) 0 2px 5px;
82 background: -webkit-gradient
(linear
, left bottom
, left top
, from
(#bbd), to
(#fff));
83 background-color: #eee;
84 background: -moz-linear-gradient
(bottom
, #bbd, #fff);
85 border-top-left-radius: 20px;
86 -moz-border-radius-topleft: 20px;
87 -webkit-border-top-left-radius: 20px;
88 border-bottom-right-radius: 20px;
89 -moz-border-radius-bottomright: 20px;
90 -webkit-border-bottom-right-radius: 20px;
106 /* Set the height dynamically depending on the image's current width,
107 * keeping the aspect ratio */
111 .smaller-img img:first-child {
116 .small-img img:first-child {
121 .small-img-height img:first-child {
126 .smaller-img-height img:first-child {
130 .img-right img:first-child {
135 .license img:first-child {
164 page-break-after: always;