diff options
Diffstat (limited to 'site')
-rw-r--r-- | site/stylesheet.css | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/site/stylesheet.css b/site/stylesheet.css index 385b84d..8769763 100644 --- a/site/stylesheet.css +++ b/site/stylesheet.css @@ -178,3 +178,21 @@ pre { .org-variable-name { color: #268bd2; } + +/* Navigation menu */ +#content > ul:first-of-type { + margin: 0; + text-align: center; +} + +#content > ul:first-of-type li { + display: inline; +} + +#content > ul:first-of-type li:before { + content: "[ " +} + +#content > ul:first-of-type li:after { + content: " ]" +} |