@charset “utf-8”;

// Define defaults for each variable.

$base-font-family: Tahoma, Arial, Helvetica, sans-serif !default; $base-font-size: 11px !default; $base-font-weight: 400 !default; $small-font-size: $base-font-size * 0.875 !default; $base-line-height: 1.6 !default; $fa-font-path: “fonts/font-awesome”; @import “font-awesome/font-awesome”;

$spacing-unit: 20px !default;

$standard-padding: 5px !default;

$grey-color: #F1F1F1 !default; $grey-color-light: lighten($grey-color, 40%) !default; $grey-color-dark: darken($grey-color, 25%) !default;

$text-color: #333 !default; $background-color: $grey-color; $brand-color: #004E73 !default;

$content-width: 931px !default;

// Width of the content area $content-width: 800px !default;

$on-palm: 600px !default; $on-laptop: 800px !default;

// Use media queries like this: // @include media-query($on-palm) { // .wrapper { // padding-right: $spacing-unit / 2; // padding-left: $spacing-unit / 2; // } // } @mixin media-query($device) {

@media screen and (max-width: $device) {
  @content;
}

}

@mixin relative-font-size($ratio) {

font-size: $base-font-size * $ratio;

}

// Import partials. @import

"isp/base",
"isp/layout",
"isp/syntax-highlighting"

;