application.css.sass revision 06cbff1e355ede78f5fa530b57a93e4dbc533840
4182N/A/*
4182N/A * This is a manifest file that'll be compiled into application.css, which will include all the files
4182N/A * listed below.
4182N/A *
4182N/A * Any CSS and SCSS file within this directory, lib/assets/stylesheets, vendor/assets/stylesheets,
4182N/A * or vendor/assets/stylesheets of plugins, if any, can be referenced here using a relative path.
4182N/A *
4182N/A * You're free to add application-wide styles to this file and they'll appear at the top of the
4182N/A * compiled file, but it's generally better to create a new file per style scope.
4182N/A *
4182N/A *= require_self
4182N/A *= require jquery.ui.autocomplete
4182N/A *= require jquery.ui.progressbar
4182N/A */
4182N/A
4182N/A// Default was 768px, more necessary for our menu
4182N/A$grid-float-breakpoint: 992px
4182N/A
4182N/A// Bootstrap
4182N/A@import bootstrap
4182N/A@import bootstrap-select
4182N/A@import font-awesome
4182N/A@import compass
4182N/A
4182N/A@import components/table
4182N/A
4182N/A@import actions
4182N/A@import aside
4182N/A@import axioms
4182N/A@import body
4182N/A@import codemirror
4182N/A@import codemirror-custom
4182N/A@import comments
4182N/A@import context-pane
4182N/A@import data_type
4182N/A@import error-message
4182N/A@import symbols
4182N/A@import files
4182N/A@import filter
4182N/A@import footer
4182N/A@import formats
4182N/A@import forms
4182N/A@import graphs
4182N/A@import header
4182N/A@import highlight
4182N/A@import jumbotron
4182N/A@import latest
4182N/A@import login
4182N/A@import navbar
4182N/A@import no-bullet
4182N/A@import ontology
4182N/A@import oops-responses
4182N/A@import popover
4182N/A@import proof
4182N/A@import proof-attempt
4182N/A@import relationList
4182N/A@import repository
4182N/A@import sentences
4182N/A@import state
4182N/A@import status
4182N/A@import pagination
4182N/A
4182N/A.allow-tooltips
4182N/A pointer-events: all
4182N/A