@charset “utf-8”;
@import url('fonts.googleapis.com/css?family=Fira+Sans');
@font-face{
font-family: 'Fira Code'; src: url('https://raw.githubusercontent.com/tonsky/FiraCode/master/distr/eot/FiraCode-Regular.eot') format('embedded-opentype'), url('https://raw.githubusercontent.com/tonsky/FiraCode/master/distr/woff2/FiraCode-Regular.woff2') format('woff2'), url('https://raw.githubusercontent.com/tonsky/FiraCode/master/distr/woff/FiraCode-Regular.woff') format('woff'), url('https://raw.githubusercontent.com/tonsky/FiraCode/master/distr/ttf/FiraCode-Regular.ttf') format('truetype'); font-weight: normal; font-style: normal;
}
// Define defaults for each variable.
$base-font-family: “Fira Sans”, “Helvetica Neue”, Helvetica, Arial, sans-serif !default; $base-font-size: 18px !default; $base-font-weight: 400 !default; $small-font-size: $base-font-size * 0.875 !default; $base-line-height: 1.6 !default;
$spacing-unit: 30px !default;
$text-color: #111 !default; $background-color: fdfdfd !default; $brand-color: #2a7ae2 !default;
$grey-color: #828282 !default; $grey-color-light: lighten($grey-color, 40%) !default; $grey-color-dark: darken($grey-color, 25%) !default;
$table-text-align: left !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
"dijkstra/base", "dijkstra/layout", "dijkstra/syntax-highlighting"
;