praxis 2.0.pre.6 → 2.0.pre.11

data/lib/api_browser/app/js/filters/attribute_name.js

@@ -1,10 +0,0 @@
-app.filter('attributeName', function($sce) {
-  return function(input) {
-    var parts = input.split('.');
-    if (parts.length > 1) {
-      var prefix = _.take(parts, parts.length-1).join('.');
-      return $sce.trustAsHtml('<span class="attribute-prefix">' + prefix + '.</span>' + _.last(parts));
-    }
-    return $sce.trustAsHtml(input);
-  };
-});

data/lib/api_browser/app/js/filters/friendly_json.js

@@ -1,5 +0,0 @@
-app.filter('friendlyJson', function() {
-  return function(input) {
-    return JSON.stringify(input, null, 2);
-  };
-});

data/lib/api_browser/app/js/filters/has_requirement.js

@@ -1,14 +0,0 @@
-app.filter('hasRequirement', function() {
-  return function(parent_reqs, attr_name) {
-    var name = _.last(attr_name.split('.'));
-    var groups=[]
-    if( parent_reqs.length > 0 ){
-      _.each(parent_reqs, function(reqdef) {
-        if( reqdef.attributes.includes(name) ){
-          groups.push(reqdef.type);
-        }
-      });
-    }
-    return groups;
-  };
-});

data/lib/api_browser/app/js/filters/header_info.js

@@ -1,9 +0,0 @@
-app.filter('headerInfo', function() {
-  return function(info) {
-    if (info.value !== true) {
-      return info.value + ' (' + info.type + ')';
-    } else {
-      return '(any value)';
-    }
-  };
-});

data/lib/api_browser/app/js/filters/is_empty.js

@@ -1,8 +0,0 @@
-app.filter('isEmpty', function() {
-  return function(input) {
-    return (input === undefined) ||
-        (input === null) ||
-        jQuery.isEmptyObject(input) ||
-        (input instanceof Array && !input.length);
-  };
-});

data/lib/api_browser/app/js/filters/markdown.js

@@ -1,6 +0,0 @@
-app.filter('markdown', function() {
-  var converter = new Showdown.converter();
-  return _.memoize(function(input) {
-    return input ? converter.makeHtml(input) : '';
-  });
-});

data/lib/api_browser/app/js/filters/resource_name.js

@@ -1,5 +0,0 @@
-app.filter('resourceName', function() {
-  return function(input) {
-    return _.last(input.split('::'));
-  };
-});

data/lib/api_browser/app/js/filters/tag_requirement.js

@@ -1,13 +0,0 @@
-app.filter('tagRequirement', function() {
-  return function(groups) {
-    if ( typeof groups === 'undefined' || groups.length == 0 ) {
-      return "";
-    }else if (groups.includes('all') ) {
-      var title = "required attribute";
-      return "<span class='required-attribute-mark' title=\""+title+"\" >*</span>"
-    } else {
-      var title = "conditionally required";
-      return"<span class='conditional-attribute-mark' title=\""+title+"\" >*</span>"
-    }
-  };
-});

data/lib/api_browser/app/sass/modules/_body.scss

@@ -1,40 +0,0 @@
-//
-// Body
-// ------------------------------
-
-body {
-  padding-top: 65px;
-  padding-bottom: 50px;
-  a {
-    cursor: pointer;
-  }
-}
-
-.content {
-  dl {
-    margin-top: 0;
-    margin-bottom: 0;
-  }
-}
-
-.verb.get {
-  background: $get-color;
-}
-.verb.post {
-  background: $post-color;
-}
-.verb.delete {
-  background: $delete-color;
-}
-.verb.put {
-  background: $put-color;
-}
-.verb.patch {
-  background: $patch-color;
-}
-
-.action-divider {
-  border-top: 2px solid darken($hr-border, 4);
-  margin-bottom: 3rem;
-  margin-top: 3rem;
-}

data/lib/api_browser/app/sass/modules/_cloke.scss

@@ -1,8 +0,0 @@
-_cloke.scss
-/*
- since the cloak css code is added by angular.js, which is at the bottom of the page, we lose all benefit of it.
- we add it here so that it is loaded at the beginning of the page
-*/
-[ng\:cloak], [ng-cloak], [data-ng-cloak], [x-ng-cloak], .ng-cloak, .x-ng-cloak {
-  display: none !important;
-}

data/lib/api_browser/app/sass/modules/_header.scss

@@ -1,10 +0,0 @@
-//
-// Header
-// ------------------------------
-
-.header {
-  .navbar-default {
-    @include gradient-vertical($start-color: $navbar-default-gradient-start, $end-color: $navbar-default-gradient-end);
-    box-shadow: 0 0 5px rgba(#000, 0.085);
-  }
-}

data/lib/api_browser/app/sass/modules/_nav.scss

@@ -1,7 +0,0 @@
-//
-// Nav
-// ------------------------------
-
-.nav .toggler-container {
-  float: right;
-}

data/lib/api_browser/app/sass/modules/_sidebar.scss

@@ -1,134 +0,0 @@
-//
-// Sidebar
-// ------------------------------
-
-.sidebar {
-  @media (min-width: $screen-lg-min) {
-    width: 250px;
-  }
-}
-
-.sidebar {
-  &.affix {
-    @media (max-width: $screen-sm-min) {
-      position: relative;
-    }
-  }
-}
-
-.sidebar {
-  .open .dropdown-menu {
-    margin-left: 15px;
-  }
-  .list-group {
-    margin-bottom: 0;
-    margin-top: 0;
-    & > menu-item:first-of-type > .menu-item {
-      border-radius: 0;
-      border-top: 0 none;
-    }
-  }
-  .action {
-    background: $table-bg-accent;
-    font-size: 11px;
-    font-weight: bolder;
-  }
-  .menu-item {
-    position: relative;
-    display: block;
-    // Place the border on the list items and negative margin up for better styling
-    margin-bottom: -1px;
-    background-color: $list-group-bg;
-    border: 1px solid $list-group-border;
-    border-width: 1px 0;
-    word-break: break-word;
-    a {
-      display: block;
-      padding: 10px 15px;
-      text-overflow: ellipsis;
-      white-space: nowrap;
-      // Hover state
-      &:hover,
-      &:focus {
-        text-decoration: none;
-        background-color: $list-group-hover-bg;
-      }
-
-      // Active class on item itself, not parent
-      &.active,
-      &.active:hover,
-      &.active:focus {
-        z-index: 2; // Place active items above their siblings for proper border styling
-        color: $list-group-active-color;
-        background-color: $list-group-active-bg;
-        border-color: $list-group-active-border;
-        font-weight: bolder;
-      }
-    }
-    .menu-item {
-      a.action { padding: 10px 2.5rem; }
-      a.main { padding: 10px 2rem; }
-      a.main::before {
-        content: "↳"
-      }
-      .menu-item {
-        a.action { padding: 10px 3.5rem; }
-        a.main { padding: 10px 3rem; }
-        .menu-item {
-          a.action { padding: 10px 4.5rem; }
-          a.main { padding: 10px 4rem; }
-        }
-      }
-    }
-  }
-}
-
-.tab-list-group {
-  border: 1px solid $nav-tabs-border-color;
-  border-radius: 3px;
-  margin-top: 1rem;
-}
-
-.sidebar {
-  .nav-tabs {
-    border: 1px solid $nav-tabs-border-color;
-    border-width: 0 0 1px 0;
-    li {
-      &:first-of-type {
-        a,
-        a:hover,
-        a:focus {
-          border-left: 0 none;
-          border-radius: 2px 2px 0 0;
-        }
-      }
-      &:last-of-type {
-        a,
-        a:hover,
-        a:focus {
-          border-radius: 2px 2px 0 0;
-          border-right: 0 none;
-        }
-      }
-      a {
-        border-bottom: 0;
-        font-size: 12px;
-        padding: 10px 5px;
-        &:hover {
-          background-color: #fff;
-          border-color: transparent;
-          color: $link-hover-color;
-        }
-      }
-    }
-    .active a,
-    .active a:hover,
-    .active a:focus {
-      border-top: 2px solid $link-color;
-      color: $link-color;
-      font-weight: bold;
-      margin-bottom: -1px;
-    }
-
-  }
-}

data/lib/api_browser/app/sass/modules/_switch.scss

@@ -1,55 +0,0 @@
-.onoffswitch {
-    position: relative; width: 96px;
-    -webkit-user-select:none; -moz-user-select:none; -ms-user-select: none;
-}
-
-.onoffswitch-checkbox {
-    display: none;
-}
-
-.onoffswitch-label {
-    display: block; overflow: hidden; cursor: pointer;
-    border: 2px solid #999999; border-radius: 20px;
-}
-
-.onoffswitch-inner {
-    width: 200%; margin-left: -100%;
-    -moz-transition: margin 0.3s ease-in 0s; -webkit-transition: margin 0.3s ease-in 0s;
-    -o-transition: margin 0.3s ease-in 0s; transition: margin 0.3s ease-in 0s;
-}
-
-.onoffswitch-inner:before, .onoffswitch-inner:after {
-    float: left; width: 50%; height: 30px; padding: 0; line-height: 30px;
-    font-size: 12px; color: white; font-family: Trebuchet, Arial, sans-serif; font-weight: bold;
-    -moz-box-sizing: border-box; -webkit-box-sizing: border-box; box-sizing: border-box;
-}
-
-.onoffswitch-inner:before {
-    content: "Example";
-    padding-left: 8px;
-    background-color: #428BCA; color: #FFFFFF;
-}
-
-.onoffswitch-inner:after {
-    content: "Attributes";
-    padding-right: 8px;
-    background-color: #EEEEEE; color: #999999;
-    text-align: right;
-}
-
-.onoffswitch-switch {
-    width: 15px; margin: 7.5px;
-    background: #FFFFFF;
-    border: 2px solid #999999; border-radius: 20px;
-    position: absolute; top: 0; bottom: 0; right: 62px;
-    -moz-transition: all 0.3s ease-in 0s; -webkit-transition: all 0.3s ease-in 0s;
-    -o-transition: all 0.3s ease-in 0s; transition: all 0.3s ease-in 0s;
-}
-
-.onoffswitch-checkbox:checked + .onoffswitch-label .onoffswitch-inner {
-    margin-left: 0;
-}
-
-.onoffswitch-checkbox:checked + .onoffswitch-label .onoffswitch-switch {
-    right: 0px;
-}

data/lib/api_browser/app/sass/modules/_table.scss

@@ -1,13 +0,0 @@
-//
-// Table
-// ------------------------------
-
-.table {
-  dl {
-    margin: 0;
-    padding: 0;
-  }
-  tbody tr.sub-row td {
-    border-top: none;
-  }
-}

data/lib/api_browser/app/sass/praxis.scss

@@ -1,70 +0,0 @@
-//
-// API Doc Browser
-// ------------------------------
-
-// Bootstrap and Bootstrap variables
-
-@import "variables/bootstrap-variables";
-@import "../bower_components/bootstrap-sass/vendor/assets/stylesheets/bootstrap";
-
-// Modules
-
-@import "modules/body";
-@import "modules/header";
-@import "modules/sidebar";
-@import "modules/nav";
-@import "modules/table";
-@import "modules/switch";
-@import "modules/cloke";
-
-// Miscellaneous
-
-.required-type {
-  background-color: #f9f9f9;
-}
-
-.struct-main-attr-name {
-  color: #b0b0b0;
-}
-
-.attribute-prefix {
-  color: #aaa;
-}
-
-.required-attribute-mark {
-  color: red;
-  font-weight: bold;
-}
-
-.conditional-attribute-mark {
-  color: orange;
-  font-weight: bold;
-}
-
-
-.attribute-table {
-  div[class*='col-'] {
-    padding: $table-cell-padding;
-    line-height: $line-height-base;
-  }
-
-  .head {
-    border-bottom: 2px solid $table-border-color;
-    font-weight: bold;
-  }
-
-  .content {
-
-    .row {
-      border-top: 1px solid $table-border-color;
-    }
-
-    .row:nth-child(odd) {
-      background-color: $table-bg-accent;
-    }
-  }
-}
-
-h4, h5 {
-  font-weight: 600;
-}

data/lib/api_browser/app/sass/variables/_bootstrap-variables.scss

@@ -1,774 +0,0 @@
-//
-// Bootstrap Variables
-// Customize to fit your needs
-// ------------------------------
-
-$bootstrap-sass-asset-helper:                (twbs-font-path("") != unquote('twbs-font-path("")')) !default;
-
-
-// Colors
-
-// gray colors
-$gray-darker:                                 lighten(#000, 13.5%) !default; // #222
-$gray-dark:                                   lighten(#000, 20%) !default;   // #333
-$gray:                                        lighten(#000, 33.5%) !default; // #555
-$gray-light:                                  lighten(#000, 60%) !default;   // #999
-$gray-lighter:                                lighten(#000, 93.5%) !default; // #eee
-
-// brand colors
-$brand-primary:                               #0069CC !default;
-$brand-success:                               #5FB000 !default;
-$brand-info:                                  #6E50A1 !default;
-$brand-warning:                               #EB9722 !default;
-$brand-danger:                                #D11313 !default;
-
-
-// Scaffolding
-
-// background color
-$body-bg:                                     #fff !default;
-// global text
-$text-color:                                  $gray-dark !default;
-// link color.
-$link-color:                                  $brand-primary !default;
-// link hover color
-$link-hover-color:                            darken($link-color, 15%) !default;
-
-
-// Typography
-
-$font-family-sans-serif:                      Helvetica,arial,freesans,clean,sans-serif !default;
-$font-family-serif:                           Georgia, "Times New Roman", Times, serif !default;
-$font-family-monospace:                       Menlo, Monaco, Consolas, "Courier New", monospace !default;
-$font-family-base:                            $font-family-sans-serif !default;
-
-$font-size-base:                              13px !default;
-$font-size-large:                             ceil(($font-size-base * 1.25)) !default; // ~18px
-$font-size-small:                             ceil(($font-size-base * 0.85)) !default; // ~12px
-
-$font-size-h1:                                floor(($font-size-base * 2.6)) !default; // ~33px
-$font-size-h2:                                floor(($font-size-base * 2.2)) !default; // ~28px
-$font-size-h3:                                ceil(($font-size-base * 1.4)) !default; // ~19px
-$font-size-h4:                                ceil(($font-size-base * 1.1)) !default; // ~15px
-$font-size-h5:                                $font-size-base !default;
-$font-size-h6:                                ceil(($font-size-base * 0.85)) !default; // ~12px
-
-// unit-less `line-height` for use in components like buttons
-$line-height-base:                            1.428571429 !default; // 20/14
-// computed "line-height" (`font-size` * `line-height`) for use with `margin`, `padding`, etc
-$line-height-computed:                        floor(($font-size-base * $line-height-base)) !default; // ~20px
-
-// by default, this inherits from the `<body>`
-$headings-font-family:                        inherit !default;
-$headings-font-weight:                        500 !default;
-$headings-line-height:                        1.1 !default;
-$headings-color:                              inherit !default;
-
-
-// Iconography
-// Location and filename
-
-// load fonts from this directory
-$icon-font-path:                              "bootstrap/" !default;
-// file name for all font files
-$icon-font-name:                              "glyphicons-halflings-regular" !default;
-// element ID within SVG icon file
-$icon-font-svg-id:                            "glyphicons_halflingsregular" !default;
-
-
-// Components
-// define common padding and border radius sizes and more. Values based on 14px text and 1.428 line-height (~20px to start).
-
-$padding-base-vertical:                       6px !default;
-$padding-base-horizontal:                     12px !default;
-
-$padding-large-vertical:                      10px !default;
-$padding-large-horizontal:                    16px !default;
-
-$padding-small-vertical:                      5px !default;
-$padding-small-horizontal:                    10px !default;
-
-$padding-xs-vertical:                         1px !default;
-$padding-xs-horizontal:                       5px !default;
-
-$line-height-large:                           1.33 !default;
-$line-height-small:                           1.5 !default;
-
-$border-radius-base:                          4px !default;
-$border-radius-large:                         6px !default;
-$border-radius-small:                         3px !default;
-
-// global color for active items (e.g., navs or dropdowns)
-$component-active-color:                      #fff !default;
-// global background color for active items (e.g., navs or dropdowns)
-$component-active-bg:                         $brand-primary !default;
-
-// width of the `border` for generating carets that indicator dropdowns
-$caret-width-base:                            4px !default;
-// carets increase slightly in size for larger components
-$caret-width-large:                           5px !default;
-
-
-// Tables
-// customizes the `.table` component with basic values, each used across all table variations
-
-// padding for `<th>`s and `<td>`s
-$table-cell-padding:                          8px !default;
-// padding for cells in `.table-condensed`
-$table-condensed-cell-padding:                5px !default;
-
-// default background color used for all tables.
-$table-bg:                                    transparent !default;
-// background color used for `.table-striped`
-$table-bg-accent:                             #f9f9f9 !default;
-// background color used for `.table-hover`
-$table-bg-hover:                              #f5f5f5 !default;
-$table-bg-active:                             $table-bg-hover !default;
-
-// border color for table and cell borders
-$table-border-color:                          #ddd !default;
-
-
-// Buttons
-// for each of Bootstrap's buttons, define text, background and border color
-
-$btn-font-weight:                             normal !default;
-
-$btn-default-color:                           #333 !default;
-$btn-default-bg:                              #fff !default;
-$btn-default-border:                          #ccc !default;
-
-$btn-primary-color:                           #fff !default;
-$btn-primary-bg:                              $brand-primary !default;
-$btn-primary-border:                          darken($btn-primary-bg, 5%) !default;
-
-$btn-success-color:                           #fff !default;
-$btn-success-bg:                              $brand-success !default;
-$btn-success-border:                          darken($btn-success-bg, 5%) !default;
-
-$btn-info-color:                              #fff !default;
-$btn-info-bg:                                 $brand-info !default;
-$btn-info-border:                             darken($btn-info-bg, 5%) !default;
-
-$btn-warning-color:                           #fff !default;
-$btn-warning-bg:                              $brand-warning !default;
-$btn-warning-border:                          darken($btn-warning-bg, 5%) !default;
-
-$btn-danger-color:                            #fff !default;
-$btn-danger-bg:                               $brand-danger !default;
-$btn-danger-border:                           darken($btn-danger-bg, 5%) !default;
-
-$btn-link-disabled-color:                     $gray-light !default;
-
-
-// Forms
-
-// input background color
-$input-bg:                                    #fff !default;
-// input disabled background color
-$input-bg-disabled:                           $gray-lighter !default;
-// text color for input
-$input-color:                                 $gray !default;
-// input border color
-$input-border:                                #ccc !default;
-// input border radius
-$input-border-radius:                         $border-radius-base !default;
-// border color for inputs on focus
-$input-border-focus:                          #66afe9 !default;
-
-// placeholder text color
-$input-color-placeholder:                     $gray-light !default;
-
-// default `.form-control` height
-$input-height-base:                           ($line-height-computed + ($padding-base-vertical * 2) + 2) !default;
-// large `.form-control` height
-$input-height-large:                          (ceil($font-size-large * $line-height-large) + ($padding-large-vertical * 2) + 2) !default;
-//** Small `.form-control` height
-$input-height-small:                          (floor($font-size-small * $line-height-small) + ($padding-small-vertical * 2) + 2) !default;
-
-$legend-color:                                $gray-dark !default;
-$legend-border-color:                         #e5e5e5 !default;
-
-// background color for textual input addons
-$input-group-addon-bg:                        $gray-lighter !default;
-// border color for textual input addons
-$input-group-addon-border-color:              $input-border !default;
-
-
-// Dropdowns
-// dropdown menu container and contents
-
-// background for the dropdown menu
-$dropdown-bg:                                 #fff !default;
-// dropdown menu `border-color`
-$dropdown-border:                             rgba(0,0,0,.15) !default;
-// dropdown menu `border-color` **for IE8**
-$dropdown-fallback-border:                    #ccc !default;
-// divider color for between dropdown items
-$dropdown-divider-bg:                         #e5e5e5 !default;
-
-// dropdown link text color
-$dropdown-link-color:                         $gray-dark !default;
-// hover color for dropdown links
-$dropdown-link-hover-color:                   darken($gray-dark, 5%) !default;
-// hover background for dropdown links
-$dropdown-link-hover-bg:                      #f5f5f5 !default;
-
-// active dropdown menu item text color
-$dropdown-link-active-color:                  $component-active-color !default;
-// active dropdown menu item background color.
-$dropdown-link-active-bg:                     $component-active-bg !default;
-
-// disabled dropdown menu item background color
-$dropdown-link-disabled-color:                $gray-light !default;
-
-// text color for headers within dropdown menus.
-$dropdown-header-color:                       $gray-light !default;
-
-// deprecated `$dropdown-caret-color` as of v3.1.0
-$dropdown-caret-color:                        #000 !default;
-
-
-// Z-index master list
-// Warning: Avoid customizing these values. They're used for a bird's eye view
-// of components dependent on the z-axis and are designed to all work together
-
-$zindex-navbar:                               1000 !default;
-$zindex-dropdown:                             1000 !default;
-$zindex-popover:                              1060 !default;
-$zindex-tooltip:                              1070 !default;
-$zindex-navbar-fixed:                         1030 !default;
-$zindex-modal-background:                     1040 !default;
-$zindex-modal:                                1050 !default;
-
-
-// Media queries breakpoints
-// define the breakpoints at which your layout will change, adapting to different screen sizes
-
-// Small screen / tablet
-$screen-sm-min:                               768px !default;
-// Medium screen / desktop
-$screen-md-min:                               992px !default;
-// Large screen / wide desktop
-$screen-lg-min:                               1200px !default;
-
-// So media queries don't overlap when required, provide a maximum
-$screen-xs-max:                               ($screen-sm-min - 1) !default;
-$screen-sm-max:                               ($screen-md-min - 1) !default;
-$screen-md-max:                               ($screen-lg-min - 1) !default;
-
-
-// Grid system
-// define your custom responsive grid
-
-// number of columns in the grid
-$grid-columns:                                12 !default;
-// padding between columns (gets divided in half for the left and right)
-$grid-gutter-width:                           30px !default;
-// navbar collapse
-$grid-float-breakpoint:                       $screen-sm-min !default;
-// point at which the navbar begins collapsing
-$grid-float-breakpoint-max:                   ($grid-float-breakpoint - 1) !default;
-
-
-// Container sizes
-// define the maximum width of `.container` for different screen sizes.
-
-// small screen / tablet
-$container-tablet:                            ((720px + $grid-gutter-width)) !default;
-// for `$screen-sm-min` and up
-$container-sm:                                $container-tablet !default;
-
-// medium screen / desktop
-$container-desktop:                           ((940px + $grid-gutter-width)) !default;
-// for `$screen-md-min` and up.
-$container-md:                                $container-desktop !default;
-
-// large screen / wide desktop
-$container-large-desktop:                     ((1140px + $grid-gutter-width)) !default;
-// for `$screen-lg-min` and up
-$container-lg:                                $container-large-desktop !default;
-
-
-// Navbar
-
-// navbar basics
-$navbar-height:                               40px !default;
-$navbar-margin-bottom:                        $line-height-computed !default;
-$navbar-border-radius:                        $border-radius-base !default;
-$navbar-padding-horizontal:                   floor(($grid-gutter-width / 2)) !default;
-$navbar-padding-vertical:                     (($navbar-height - $line-height-computed) / 2) !default;
-$navbar-collapse-max-height:                  340px !default;
-
-$navbar-default-color:                        #777 !default;
-$navbar-default-bg:                           #f3f3f3 !default;
-$navbar-default-border:                       darken($navbar-default-bg, 6.5%) !default;
-
-$navbar-default-gradient-start:               #fff !default;
-$navbar-default-gradient-end:                 $navbar-default-bg !default;
-
-// navbar links
-$navbar-default-link-color:                   $text-color !default;
-$navbar-default-link-hover-color:             $brand-primary !default;
-$navbar-default-link-hover-bg:                transparent !default;
-$navbar-default-link-active-color:            #555 !default;
-$navbar-default-link-active-bg:               darken($navbar-default-bg, 10) !default;
-$navbar-default-link-disabled-color:          #ccc !default;
-$navbar-default-link-disabled-bg:             transparent !default;
-
-// navbar brand
-$navbar-default-brand-color:                  $navbar-default-link-color !default;
-$navbar-default-brand-hover-color:            darken($navbar-default-brand-color, 10%) !default;
-$navbar-default-brand-hover-bg:               transparent !default;
-
-// navbar toggle
-$navbar-default-toggle-hover-bg:              #ddd !default;
-$navbar-default-toggle-icon-bar-bg:           #888 !default;
-$navbar-default-toggle-border-color:          #ddd !default;
-
-
-// inverted navbar
-$navbar-inverse-color:                        $gray-light !default;
-$navbar-inverse-bg:                           #222 !default;
-$navbar-inverse-border:                       darken($navbar-inverse-bg, 10%) !default;
-
-// inverted navbar links
-$navbar-inverse-link-color:                   $gray-light !default;
-$navbar-inverse-link-hover-color:             #fff !default;
-$navbar-inverse-link-hover-bg:                transparent !default;
-$navbar-inverse-link-active-color:            $navbar-inverse-link-hover-color !default;
-$navbar-inverse-link-active-bg:               darken($navbar-inverse-bg, 10%) !default;
-$navbar-inverse-link-disabled-color:          #444 !default;
-$navbar-inverse-link-disabled-bg:             transparent !default;
-
-// inverted navbar brand label
-$navbar-inverse-brand-color:                  $navbar-inverse-link-color !default;
-$navbar-inverse-brand-hover-color:            #fff !default;
-$navbar-inverse-brand-hover-bg:               transparent !default;
-
-// inverted navbar toggle
-$navbar-inverse-toggle-hover-bg:              #333 !default;
-$navbar-inverse-toggle-icon-bar-bg:           #fff !default;
-$navbar-inverse-toggle-border-color:          #333 !default;
-
-
-// Navs
-
-// shared nav styles
-$nav-link-padding:                            10px 15px !default;
-$nav-link-hover-bg:                           $gray-lighter !default;
-
-$nav-disabled-link-color:                     $gray-light !default;
-$nav-disabled-link-hover-color:               $gray-light !default;
-
-$nav-open-link-hover-color:                   #fff !default;
-
-// tabs
-$nav-tabs-border-color:                       #ddd !default;
-
-$nav-tabs-link-hover-border-color:            $gray-lighter !default;
-
-$nav-tabs-active-link-hover-bg:               $body-bg !default;
-$nav-tabs-active-link-hover-color:            $gray !default;
-$nav-tabs-active-link-hover-border-color:     #ddd !default;
-
-$nav-tabs-justified-link-border-color:        #ddd !default;
-$nav-tabs-justified-active-link-border-color: $body-bg !default;
-
-// pills
-$nav-pills-border-radius:                     $border-radius-base !default;
-$nav-pills-active-link-hover-bg:              $component-active-bg !default;
-$nav-pills-active-link-hover-color:           $component-active-color !default;
-
-
-// Pagination
-
-$pagination-color:                            $link-color !default;
-$pagination-bg:                               #fff !default;
-$pagination-border:                           #ddd !default;
-
-$pagination-hover-color:                      $link-hover-color !default;
-$pagination-hover-bg:                         $gray-lighter !default;
-$pagination-hover-border:                     #ddd !default;
-
-$pagination-active-color:                     #fff !default;
-$pagination-active-bg:                        $brand-primary !default;
-$pagination-active-border:                    $brand-primary !default;
-
-$pagination-disabled-color:                   $gray-light !default;
-$pagination-disabled-bg:                      #fff !default;
-$pagination-disabled-border:                  #ddd !default;
-
-
-// Pager
-
-$pager-bg:                                    $pagination-bg !default;
-$pager-border:                                $pagination-border !default;
-$pager-border-radius:                         15px !default;
-
-$pager-hover-bg:                              $pagination-hover-bg !default;
-
-$pager-active-bg:                             $pagination-active-bg !default;
-$pager-active-color:                          $pagination-active-color !default;
-
-$pager-disabled-color:                        $pagination-disabled-color !default;
-
-
-// Jumbotron
-
-$jumbotron-padding:                           30px !default;
-$jumbotron-color:                             inherit !default;
-$jumbotron-bg:                                $gray-lighter !default;
-$jumbotron-heading-color:                     inherit !default;
-$jumbotron-font-size:                         ceil(($font-size-base * 1.5)) !default;
-
-
-// Form states and alerts
-
-$state-success-text:                          #3c763d !default;
-$state-success-bg:                            #dff0d8 !default;
-$state-success-border:                        darken(adjust-hue($state-success-bg, -10), 5%) !default;
-
-$state-info-text:                             #31708f !default;
-$state-info-bg:                               #d9edf7 !default;
-$state-info-border:                           darken(adjust-hue($state-info-bg, -10), 7%) !default;
-
-$state-warning-text:                          #8a6d3b !default;
-$state-warning-bg:                            #fcf8e3 !default;
-$state-warning-border:                        darken(adjust-hue($state-warning-bg, -10), 5%) !default;
-
-$state-danger-text:                           #a94442 !default;
-$state-danger-bg:                             #f2dede !default;
-$state-danger-border:                         darken(adjust-hue($state-danger-bg, -10), 5%) !default;
-
-
-// Tooltips
-
-// tooltip max width
-$tooltip-max-width:                           200px !default;
-// tooltip text color
-$tooltip-color:                               #fff !default;
-// tooltip background color
-$tooltip-bg:                                  #000 !default;
-$tooltip-opacity:                             0.9 !default;
-
-// tooltip arrow width
-$tooltip-arrow-width:                         5px !default;
-// tooltip arrow color
-$tooltip-arrow-color:                         $tooltip-bg !default;
-
-
-// Popovers
-
-// popover body background color
-$popover-bg:                                  #fff !default;
-// popover maximum width
-$popover-max-width:                           276px !default;
-// popover border color
-$popover-border-color:                        rgba(0,0,0,.2) !default;
-// popover fallback border color
-$popover-fallback-border-color:               #ccc !default;
-
-// popover title background color
-$popover-title-bg:                            darken($popover-bg, 3%) !default;
-
-// popover arrow width
-$popover-arrow-width:                         10px !default;
-// popover arrow color
-$popover-arrow-color:                         #fff !default;
-
-// popover outer arrow width
-$popover-arrow-outer-width:                   ($popover-arrow-width + 1) !default;
-// popover outer arrow color
-$popover-arrow-outer-color:                   fade_in($popover-border-color, 0.05) !default;
-// popover outer arrow fallback color
-$popover-arrow-outer-fallback-color:          darken($popover-fallback-border-color, 20%) !default;
-
-
-// Labels
-
-// default label background color
-$label-default-bg:                            $gray-light !default;
-// primary label background color
-$label-primary-bg:                            $brand-primary !default;
-// success label background color
-$label-success-bg:                            $brand-success !default;
-// info label background color
-$label-info-bg:                               $brand-info !default;
-// warning label background color
-$label-warning-bg:                            $brand-warning !default;
-// danger label background color
-$label-danger-bg:                             $brand-danger !default;
-
-// default label text color
-$label-color:                                 #fff !default;
-// default text color of a linked label
-$label-link-hover-color:                      #fff !default;
-
-
-// Modals
-
-// padding applied to the modal body
-$modal-inner-padding:                         15px !default;
-
-// padding applied to the modal title
-$modal-title-padding:                         15px !default;
-// modal title line-height
-$modal-title-line-height:                     $line-height-base !default;
-
-// background color of modal content area
-$modal-content-bg:                            #fff !default;
-// modal content border color
-$modal-content-border-color:                  rgba(0,0,0,.2) !default;
-// modal content border color **for IE8**
-$modal-content-fallback-border-color:         #999 !default;
-
-// modal backdrop background color
-$modal-backdrop-bg:                           #000 !default;
-// modal backdrop opacity
-$modal-backdrop-opacity:                      0.5 !default;
-// modal header border color
-$modal-header-border-color:                   #e5e5e5 !default;
-// modal footer border color
-$modal-footer-border-color:                   $modal-header-border-color !default;
-
-$modal-lg:                                    900px !default;
-$modal-md:                                    600px !default;
-$modal-sm:                                    300px !default;
-
-
-// Alerts
-
-$alert-padding:                               15px !default;
-$alert-border-radius:                         $border-radius-base !default;
-$alert-link-font-weight:                      bold !default;
-
-$alert-success-bg:                            $state-success-bg !default;
-$alert-success-text:                          $state-success-text !default;
-$alert-success-border:                        $state-success-border !default;
-
-$alert-info-bg:                               $state-info-bg !default;
-$alert-info-text:                             $state-info-text !default;
-$alert-info-border:                           $state-info-border !default;
-
-$alert-warning-bg:                            $state-warning-bg !default;
-$alert-warning-text:                          $state-warning-text !default;
-$alert-warning-border:                        $state-warning-border !default;
-
-$alert-danger-bg:                             $state-danger-bg !default;
-$alert-danger-text:                           $state-danger-text !default;
-$alert-danger-border:                         $state-danger-border !default;
-
-
-// Progress bars
-
-// background color of the whole progress component
-$progress-bg:                                 #f5f5f5 !default;
-// progress bar text color
-$progress-bar-color:                          #fff !default;
-
-// default progress bar color
-$progress-bar-bg:                             $brand-primary !default;
-// success progress bar color
-$progress-bar-success-bg:                     $brand-success !default;
-// warning progress bar color
-$progress-bar-warning-bg:                     $brand-warning !default;
-// danger progress bar color
-$progress-bar-danger-bg:                      $brand-danger !default;
-// info progress bar color
-$progress-bar-info-bg:                        $brand-info !default;
-
-
-// List group
-
-// background color on `.list-group-item`
-$list-group-bg:                                #fff !default;
-// `.list-group-item` border color
-$list-group-border:                            #ddd !default;
-// list group border radius
-$list-group-border-radius:                     $border-radius-base !default;
-
-// background color of single list items on hover
-$list-group-hover-bg:                          #f5f5f5 !default;
-// text color of active list items
-$list-group-active-color:                      $component-active-color !default;
-// background color of active list items
-$list-group-active-bg:                         $component-active-bg !default;
-// border color of active list elements
-$list-group-active-border:                     $list-group-active-bg !default;
-// text color for content within active list items
-$list-group-active-text-color:                 lighten($list-group-active-bg, 40%) !default;
-
-// text color of disabled list items
-$list-group-disabled-color:                    $gray-light !default;
-// background color of disabled list items
-$list-group-disabled-bg:                       $gray-lighter !default;
-// text color for content within disabled list items
-$list-group-disabled-text-color:               $list-group-disabled-color !default;
-
-$list-group-link-color:                        #555 !default;
-$list-group-link-hover-color:                  $list-group-link-color !default;
-$list-group-link-heading-color:                #333 !default;
-
-
-// Panels
-
-$panel-bg:                                     #fff !default;
-$panel-body-padding:                           15px !default;
-$panel-heading-padding:                        10px 15px !default;
-$panel-footer-padding:                         $panel-heading-padding !default;
-$panel-border-radius:                          $border-radius-base !default;
-
-// border color for elements within panels
-$panel-inner-border:                           #ddd !default;
-$panel-footer-bg:                              #f5f5f5 !default;
-
-$panel-default-text:                           $gray-dark !default;
-$panel-default-border:                         #ddd !default;
-$panel-default-heading-bg:                     #f5f5f5 !default;
-
-$panel-primary-text:                           #fff !default;
-$panel-primary-border:                         $brand-primary !default;
-$panel-primary-heading-bg:                     $brand-primary !default;
-
-$panel-success-text:                           $state-success-text !default;
-$panel-success-border:                         $state-success-border !default;
-$panel-success-heading-bg:                     $state-success-bg !default;
-
-$panel-info-text:                              $state-info-text !default;
-$panel-info-border:                            $state-info-border !default;
-$panel-info-heading-bg:                        $state-info-bg !default;
-
-$panel-warning-text:                           $state-warning-text !default;
-$panel-warning-border:                         $state-warning-border !default;
-$panel-warning-heading-bg:                     $state-warning-bg !default;
-
-$panel-danger-text:                            $state-danger-text !default;
-$panel-danger-border:                          $state-danger-border !default;
-$panel-danger-heading-bg:                      $state-danger-bg !default;
-
-
-//== Thumbnails
-
-// padding around the thumbnail image
-$thumbnail-padding:                            4px !default;
-// thumbnail background color
-$thumbnail-bg:                                 $body-bg !default;
-// thumbnail border color
-$thumbnail-border:                             #ddd !default;
-// thumbnail border radius
-$thumbnail-border-radius:                      $border-radius-base !default;
-
-// custom text color for thumbnail captions
-$thumbnail-caption-color:                      $text-color !default;
-// padding around the thumbnail caption
-$thumbnail-caption-padding:                    9px !default;
-
-
-// Wells
-
-$well-bg:                                      #f5f5f5 !default;
-$well-border:                                  darken($well-bg, 7%) !default;
-
-
-// Badges
-
-$badge-color:                                  #fff !default;
-// linked badge text color on hover
-$badge-link-hover-color:                       #fff !default;
-$badge-bg:                                     $gray-light !default;
-
-// badge text color in active nav link
-$badge-active-color:                           $link-color !default;
-// badge background color in active nav link
-$badge-active-bg:                              #fff !default;
-
-$badge-font-weight:                            bold !default;
-$badge-line-height:                            1 !default;
-$badge-border-radius:                          10px !default;
-
-
-// Breadcrumbs
-
-$breadcrumb-padding-vertical:                  8px !default;
-$breadcrumb-padding-horizontal:                15px !default;
-// breadcrumb background color
-$breadcrumb-bg:                                #f5f5f5 !default;
-// breadcrumb text color
-$breadcrumb-color:                             #ccc !default;
-// current page
-$breadcrumb-active-color:                     $gray-light !default;
-// textual separator for between breadcrumb elements
-$breadcrumb-separator:                        "/" !default;
-
-
-// Carousel
-
-$carousel-text-shadow:                        0 1px 2px rgba(0,0,0,.6) !default;
-
-$carousel-control-color:                      #fff !default;
-$carousel-control-width:                      15% !default;
-$carousel-control-opacity:                    .5 !default;
-$carousel-control-font-size:                  20px !default;
-
-$carousel-indicator-active-bg:                #fff !default;
-$carousel-indicator-border-color:             #fff !default;
-
-$carousel-caption-color:                      #fff !default;
-
-
-// Close
-
-$close-font-weight:                           bold !default;
-$close-color:                                 #000 !default;
-$close-text-shadow:                           0 1px 0 #fff !default;
-
-
-// Code
-
-$code-color:                                  #c7254e !default;
-$code-bg:                                     #f9f2f4 !default;
-
-$kbd-color:                                   #fff !default;
-$kbd-bg:                                      #333 !default;
-
-$pre-bg:                                      #f5f5f5 !default;
-$pre-color:                                   $gray-dark !default;
-$pre-border-color:                            #ccc !default;
-$pre-scrollable-max-height:                   340px !default;
-
-
-// Type
-
-// text muted color
-$text-muted:                                  $gray-light !default;
-// abbreviations and acronyms border color
-$abbr-border-color:                           $gray-light !default;
-// headings small color
-$headings-small-color:                        $gray-light !default;
-// blockquote small color
-$blockquote-small-color:                      $gray-light !default;
-// blockquote font size
-$blockquote-font-size:                        ($font-size-base * 1.25) !default;
-// blockquote border color
-$blockquote-border-color:                     $gray-lighter !default;
-// page header border color
-$page-header-border-color:                    $gray-lighter !default;
-
-
-// Miscellaneous
-
-// horizontal line color.
-$hr-border:                                   $gray-lighter !default;
-
-// horizontal offset for forms and lists.
-$component-offset-horizontal:                 180px !default;
-
-// Praxis Specific Variables
-
-// HTTP verbs
-$get-color:                                   #85c630 !default;
-$post-color:                                  #8640b5 !default;
-$put-color:                                   #e88a3c !default;
-$delete-color:                                #b8321e !default;
-$patch-color:                                 #58b587 !default;