1 @import "http://fonts.googleapis.com/css?family=Expletus+Sans",
4 "compass/typography/vertical_rhythm",
6 "compass/css3/border-radius",
7 "compass/css3/box-shadow",
8 "compass/css3/transition",
9 "compass/utilities/general/clearfix";
11 @include establish-baseline;
14 background: darken(saturate(adjust-hue($page-background, 90deg), 100%), 20%);
15 text-shadow: none !important;
16 color:#FFF !important;
19 @-webkit-keyframes glow{
21 text-shadow: 0 0 3px rgba(255,255,255,0);
24 text-shadow: 0 0 3px rgba(255,255,255,.5);
29 background:$page-background;
31 linear-gradient(top, desaturate(darken($page-background, 15%), 10%) 0, $page-background 250px)
39 background: $content-background;
44 @include adjust-font-size-to(60px);
45 font-family:$headingfonts;
52 $buttonbottom:darken($buttoncolor, 10%);
53 $buttonfore:darken($buttoncolor, 80%);
58 font-family:$headingfonts;
59 text-transform:uppercase;
63 @include border-radius(5px);
64 @include box-shadow(0 1px 3px 0 rgba(0,0,0,.15));
65 @include background(linear-gradient($buttoncolor, $buttonbottom));
66 text-shadow: #FFF 0 1px 0;
67 border:1px solid $buttoncolor;
76 padding:7px 1px 3px 4px;
78 @include border-radius(15px);
79 @include box-shadow(0 1px 0 0 #FFF, 0 1px 2px 0 rgba(0,0,0,.15) inset);
80 background:darken($buttoncolor,20%);
84 font-family:Helvetica, Arial, sans-serif;
87 @include background(linear-gradient($buttoncolor, darken($buttonbottom, 5%)));
90 @include background(linear-gradient(darken($buttonbottom, 5%), $buttoncolor));
91 @include box-shadow(0 1px 3px 0 rgba(0,0,0,.15), 0 0 16px 0 rgba(0,0,0,.15) inset);
92 color:darken($buttonfore, 10%);
94 background:darken($buttoncolor, 30%);
101 color: darken($page-background, 60%);;
102 border-bottom:1px solid darken($page-background, 20%);
103 @include box-shadow(0 1px 0 0 #FFF);
104 text-decoration:none;
106 color: darken($page-background, 60%);
107 border-bottom:1px solid darken($page-background, 60%);
111 @include margin-trailer;
113 h1, h2, h3, h4, h5, h6{
115 @include margin-trailer(.5);
118 @include adjust-font-size-to(20px);
121 background: darken($page-background, 10%);
124 border: 1px solid darken($page-background, 15%);
125 @include border-radius(3px);
127 font-family:Menlo, monospace;
128 @include adjust-font-size-to(13px);
132 @include margin-trailer;
138 @include box-shadow(none);
139 @include border-radius(0);
143 &.shell code::before{
145 color:lighten($foreground, 10%);
149 color:darken($page-background, 60%);
155 $width: $page-width + $pad;
156 background: $foreground;
157 margin:$base-line-height #{-$pad};
159 @include border-radius(5px);
160 @include box-shadow(0 1px 0 0 #FFF, 0 2px 4px rgba(0,0,0,.35) inset);
164 border:$border solid darken($foreground, 10%);
166 width: ($width / 3) - $pad - 2 * $border;
170 @include transition(width, .25s, linear);
171 @include box-inset($outset:rgba(255,255,255,.35));
172 @include border-radius(3px);
175 width: ($width - 610px) / 2 - $pad - 3 * $border;
183 float:right; /* keeps the right margin from wiggling */
196 background: rgba(0,0,0,.75);
197 text-shadow:1px 1px 0 #000;
201 @include adjust-font-size-to(13px);
209 background:$foreground;
213 @include box-inset(rgba(0,0,0,.35), #FFF);
214 @include border-radius(5px);
215 text-shadow: 0 -1px 0 #000;
217 -webkit-font-smoothing: antialiased;
218 color:lighten($foreground, 60%);
226 color:lighten($foreground, 80%);
230 background:transparent;
232 color:lighten($accent, 20%);
234 @include box-shadow(none);
236 background:transparent;
237 color:lighten($accent, 20%);
245 @include margin-trailer(.5);
246 list-style-type:disc;
255 $width: $page-width + $pad;
256 background: $foreground;
257 margin:$base-line-height #{-$pad};
258 padding:#{2*$pad} $pad $pad $pad;
259 @include border-radius(5px);
260 @include box-shadow(0 1px 0 0 #FFF, 0 2px 4px rgba(0,0,0,.35) inset);
263 color:lighten($foreground, 80%);
264 -webkit-font-smoothing: antialiased;
268 width: $page-width/2 - $pad * 3 - $border * 2;
270 margin: 0 $pad/2 $pad $pad/2;
272 background: darken($foreground, 5%);
273 border:$border solid darken($foreground, 10%);
274 @include box-inset(rgba(0,0,0,.35), rgba(255,255,255,.15));
276 @include border-radius(3px);
278 .name, .description, .status{
285 color:lighten($foreground, 40%);
289 @include adjust-font-size-to(13px);
292 -webkit-animation-name: glow;
293 -webkit-animation-duration: 1s;
294 -webkit-animation-timing-function: ease;
295 -webkit-animation-iteration-count: infinite;
296 -webkit-animation-direction: alternate;
311 border-top:5px solid $foreground;
312 @include box-shadow(0 1px 0 0 #FFF inset);
313 @include adjust-font-size-to(13px);
314 color:lighten($foreground, 20%);
316 text-decoration:none;
317 color:darken($page-background, 40%);
319 color:darken($page-background, 80%);