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