| /** |
| * 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. |
| */ |
| // Dimensions |
| $top-margin: 50px; |
| //$navbar-height: 77px; |
| $toc-border-radius: 2px; |
| $docs-font-size: 1rem; |
| $table-right-padding: 1rem; |
| $shadow-size: 1rem; |
| |
| @import url('https://fonts.googleapis.com/css?family=Inconsolata|Noto+Sans'); |
| // Fonts |
| /* Regular font */ |
| $font-family-sans-serif: 'Noto Sans', Helvetica, sans-serif; |
| |
| /* Monospaced font for syntax highlighting */ |
| $font-family-monospace: 'Inconsolata', monospace; |
| |
| /* Enable Font Awesome icons */ |
| $fa-font-path: "../fonts/font-awesome"; |
| |
| // Colors |
| $pulsar-blue: #188fff; |
| $pulsar-dark-blue: darken($pulsar-blue, 10%); |
| $stack-overflow-orange: #f48024; |
| $pulsar-magenta: #d33682; |
| $pulsar-purple: #9c27b0; |
| $black: rgb(35, 41, 55); |
| |
| $brand-primary: $pulsar-blue; |
| $brand-dark: $pulsar-dark-blue; |
| $brand-secondary: $pulsar-magenta; |
| $brand-success: lighten(#73DA16, 12%); |
| $brand-info: lighten($pulsar-blue, 10%); |
| $brand-danger: lighten(#EA122F, 15%); |
| $brand-warning: lighten(#FDB220, 10%); |
| |
| // Syntax highlighting |
| $sx-border-radius: 0; |
| $sx-border: none; |
| $sx-bg-color: rgb(35, 41, 55); |
| $sx-light-gray: lighten(#93a1a1, 15%); |
| $sx-dark-gray: lighten(#657b83, 30%); |
| $sx-olive: lighten(#859900, 10%); |
| $sx-orange: lighten(#b58900, 5%); |
| $sx-purple: lighten(#6c71c4, 8%); |
| $sx-magenta: $pulsar-magenta; |
| $sx-red: lighten(#cb4b16, 5%); |
| $sx-7: lighten(#268bd2, 5%); |
| $sx-comment: darken($sx-dark-gray, 20%); |
| $sx-overflow: scroll; |
| $code-font-size: 1rem; |
| |
| $javadoc-magenta: $sx-purple; |
| |
| $root-font-size: 16px; |
| $root-indent: 10px; |