@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"
;