aboutsummaryrefslogtreecommitdiffstats
path: root/docs/style/style.scss
diff options
context:
space:
mode:
Diffstat (limited to 'docs/style/style.scss')
-rw-r--r--docs/style/style.scss90
1 files changed, 0 insertions, 90 deletions
diff --git a/docs/style/style.scss b/docs/style/style.scss
deleted file mode 100644
index 908950d7..00000000
--- a/docs/style/style.scss
+++ /dev/null
@@ -1,90 +0,0 @@
-@import "./syntax";
-@import "./badge";
-
-$primary: #C93312;
-$warning-invert: #FFFFFF;
-$family-sans-serif: BlinkMacSystemFont, -apple-system, "Segoe UI", "Roboto", "Oxygen", "Ubuntu", "Cantarell", "Fira Sans", "Droid Sans", "Helvetica Neue", "Helvetica", "Arial", sans-serif, 'Font Awesome 5 Free', 'Font Awesome 5 Brands' !default;
-@import "../node_modules/bulma/sass/utilities/_all";
-@import "../node_modules/bulma/sass/base/_all";
-@import "../node_modules/bulma/sass/grid/_all";
-@import "../node_modules/bulma/sass/elements/_all";
-@import "../node_modules/bulma/sass/components/_all";
-@import "../node_modules/bulma/sass/layout/_all";
-
-html, body {
- height: 100%;
-}
-
-body > div {
- min-height: 100%;
-}
-
-#sidebar {
- background-color: #eee;
- border-right: 1px solid #c1c1c1;
- box-shadow: 0 0 20px rgba(50, 50, 50, .2) inset;
- padding: $column-gap + 1rem;
-
- .brand {
- padding: 1rem 0;
- text-align: center;
- }
-}
-
-#main {
- padding: 3rem;
-}
-
-.example {
- .highlight {
- margin: 0;
- }
- .path {
- font-style: italic;
- width: 100%;
- text-align: right;
- }
- margin-bottom: 1em;
-}
-
-code {
- color: #1a9f1a;
- font-size: 0.875em;
- font-weight: normal;
-}
-
-.content {
- h2 {
- padding-top: 1em;
- border-top: 1px solid #c0c0c0;
- }
-}
-
-h1, h2, h3, h4, h5, h6 {
- .anchor {
- display: inline-block;
- width: 0;
- margin-left: -1.5rem;
- margin-right: 1.5rem;
- transition: all 100ms ease-in-out;
- opacity: 0;
- }
- &:hover .anchor {
- opacity: 1;
- }
- &:target {
- color: $primary;
- .anchor {
- opacity: 1;
- color: $primary
- }
- }
-}
-
-.footnotes p {
- display: inline;
-}
-
-figure.has-border img {
- box-shadow: 0 0 20px 0 rgba(0, 0, 0, 0.25);
-}