@import 'bootstrap/_variables';

$gill-sans-font-stack: "GillSans", "Gill Sans", "Helvetica Neue", Arial, sans-serif;
$default-vertical-margin: $line-height-base * $font-size-base;

// Colours
$link-color-visited       : #609; /* Purple */

// From https://www.gov.uk/service-manual/user-centered-design/resources/colour-palettes
$turquoise                : #28a197;
$orange                   : #f47738;

$good-HTTP-status-color    : #dfd; /* Green */
$bad-HTTP-status-color     : #fdd; /* Red */
$default-HTTP-status-color : #eee; /* Grey */

// Buttons
$default-btn-height       : 30px;

$primary-button-color     : #fff; /* White */
$success-button-color     : #fff;
$info-button-color        : #fff;
$inverse-button-color     : #fff;
$danger-button-color      : #fff;
$warning-button-color     : #fff;
$default-button-color     : #333; /* Dark grey */

@import 'bootstrap/_variables';

$gill-sans-font-stack: "GillSans", "Gill Sans", "Helvetica Neue", Arial, sans-serif;
$default-vertical-margin: $line-height-computed;

// Colours
$link-color-visited       : #609; /* Purple */

// From https://www.gov.uk/service-manual/user-centered-design/resources/colour-palettes
$turquoise                : #28a197;
$orange                   : #f47738;

$good-HTTP-status-color    : #dfd; /* Green */
$bad-HTTP-status-color     : #fdd; /* Red */
$default-HTTP-status-color : #eee; /* Grey */

// Buttons
$default-btn-height       : 30px;

$primary-button-color     : #fff; /* White */
$success-button-color     : #fff;
$info-button-color        : #fff;
$inverse-button-color     : #fff;
$danger-button-color      : #fff;
$warning-button-color     : #fff;
$default-button-color     : #333; /* Dark grey */

Use computed line height for vertical margins
Use computed line height for vertical margins

* Bootstrap has a variable that does this calculation already, with an
additional floor() to round pixel values.
* See http://getbootstrap.com/customize/#typography
