diff options
Diffstat (limited to 'static-src/style.scss')
| -rw-r--r-- | static-src/style.scss | 68 |
1 files changed, 66 insertions, 2 deletions
diff --git a/static-src/style.scss b/static-src/style.scss index 2f0fba2..a4846ba 100644 --- a/static-src/style.scss +++ b/static-src/style.scss @@ -1,3 +1,5 @@ +$border-radius: 1ex; + /* -------------------------------------------------- */ .parse-error { @@ -9,6 +11,12 @@ $header-height: 2em; +h1 { + text-align: center; + margin: 0; + border-bottom: 1px solid black; +} + h2, h3 { position: sticky; background: white; @@ -72,18 +80,38 @@ code.json { .example { background: lightgray; padding: 1em; - border-radius: 1ex; + border-radius: $border-radius; } .comment { + /* border-left: 1ex; border-left-style: dotted; - display: inline-block; padding-left: 1em; + */ + display: inline-block; font-family: sans; font-size: 80%; + p { + $line-height: 1.2em; + + line-height: $line-height; + padding-left: 20px; + /* https://stackoverflow.com/questions/52748260/add-a-prefix-character-for-each-new-line-using-css */ + background: + repeating-linear-gradient( + to bottom, + transparent 0px, + transparent 5px, + #000 5px, + #000 calc(1.2em - 2px), + transparent calc(1.2em - 2px), + transparent 1.2em) + 4px 0/2px 100% no-repeat; + } + p:first-child { margin-top: 0; } @@ -93,6 +121,42 @@ code.json { } } +.alternatives { + display: flex; + align-items: center; + justify-content: center; + padding: 0; + margin-top: 0; + + li { + padding: 0; + display: inline-block; + background-color: lightgrey; + border-left: 1px solid black; + border-right: 1px solid black; + + &:first-child { + border-radius: 0 0 0 $border-radius; + border-left: none; + } + + &:last-child { + border-radius: 0 0 $border-radius 0; + border-right: none; + } + + a { + display: block; + padding: 1em; + color: black; + } + + .selected { + background-color: grey; + } + } +} + /* -------------------------------------------------- */ @import "colorscheme_default"; |