| /* |
| Licensed to the Apache Software Foundation (ASF) under one |
| or more contributor license agreements. See the NOTICE file |
| distributed with this work for additional information |
| regarding copyright ownership. The ASF licenses this file |
| to you under the Apache License, Version 2.0 (the |
| "License"); you may not use this file except in compliance |
| with the License. You may obtain a copy of the License at |
| |
| http://www.apache.org/licenses/LICENSE-2.0 |
| |
| Unless required by applicable law or agreed to in writing, |
| software distributed under the License is distributed on an |
| "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY |
| KIND, either express or implied. See the License for the |
| specific language governing permissions and limitations |
| under the License. |
| */ |
| |
| @import "bootstrap-sass/lib/bootstrap"; |
| $FontAwesomePath: "/bower_components/font-awesome/font"; |
| @import "font-awesome/scss/font-awesome"; |
| |
| /* Generic styles */ |
| body { |
| background: #fafafa; |
| padding-bottom: 40px; |
| } |
| |
| /* Styles dealing with the side navigation bar */ |
| .sidebar-nav { |
| padding: 9px 0; |
| } |
| |
| @media (max-width: 980px) { |
| /* Enable use of floated navbar text */ |
| .navbar-text.pull-right { |
| float: none; |
| padding-left: 5px; |
| padding-right: 5px; |
| padding-bottom: 5px; |
| padding-top: 5px; |
| } |
| } |
| |
| /* Styles relating to the editor */ |
| #editor { |
| background: #ddd url("../img/grid.gif"); |
| border-style: solid; |
| border-width: 2px; |
| } |
| |
| /* Styles relating to the executor */ |
| #executor { |
| padding-left: 35px; |
| } |