RubyGems - praxis - Versions diffs - 0.0.1 → 0.9 - Mend

praxis 0.0.1 → 0.9

Files changed (484) hide show

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

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