diff options
author | Aldo Cortesi <aldo@corte.si> | 2018-02-22 20:48:17 +1300 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-02-22 20:48:17 +1300 |
commit | 443409e32bcc28a7f0475d7af42efff03473b72f (patch) | |
tree | 9d749a57929a950f0e177a9bf4d6cd7d9a88c16b /docs/style/style.scss | |
parent | 1cacefa104626e4e0df5ffb2aa8b0c6f16b615b2 (diff) | |
parent | 982508d30f887b4fe8b2a855792ae1e33f378222 (diff) | |
download | mitmproxy-443409e32bcc28a7f0475d7af42efff03473b72f.tar.gz mitmproxy-443409e32bcc28a7f0475d7af42efff03473b72f.tar.bz2 mitmproxy-443409e32bcc28a7f0475d7af42efff03473b72f.zip |
Merge pull request #2890 from mitmproxy/newdocs
All new documentation
Diffstat (limited to 'docs/style/style.scss')
-rw-r--r-- | docs/style/style.scss | 62 |
1 files changed, 62 insertions, 0 deletions
diff --git a/docs/style/style.scss b/docs/style/style.scss new file mode 100644 index 00000000..2c66a4c9 --- /dev/null +++ b/docs/style/style.scss @@ -0,0 +1,62 @@ +@import "./syntax"; + +$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"; + +.sidebody { + height: 100vh; + overflow-x: hidden; + overflow-y: scroll; +} + +.example { + .highlight { + margin: 0; + } + .path { + font-style: italic; + width: 100%; + text-align: right; + } + margin-bottom: 1em; +} + + +.sidebar { + .version { + padding: 1em; + } + .brand { + background-color: #303030; + color: #c0c0c0; + padding: 1em; + top: 0; + } + .menu { + padding: 1em; + } +} + +.mainbody { + padding: 3em; +} + +code { + color: #1a9f1a; + font-size: 0.875em; + font-weight: normal; +} + +.content { + h2 { + padding-top: 1em; + border-top: 1px solid #c0c0c0; + } +} |