diff options
| author | s-ol <s-ol@users.noreply.github.com> | 2020-03-16 09:16:30 +0000 |
|---|---|---|
| committer | s-ol <s-ol@users.noreply.github.com> | 2020-03-16 09:16:30 +0000 |
| commit | 58a7859deec3275fa941076a9c8a001a7fb65f2e (patch) | |
| tree | 29a94a98ad90ec0f12c1bca98bda385cef881e21 /docs/style.css | |
| parent | add Input spec (diff) | |
| download | alive-58a7859deec3275fa941076a9c8a001a7fb65f2e.tar.gz alive-58a7859deec3275fa941076a9c8a001a7fb65f2e.zip | |
switch repo docs to github
Diffstat (limited to 'docs/style.css')
| -rw-r--r-- | docs/style.css | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/docs/style.css b/docs/style.css index e063e58..b9ef4a1 100644 --- a/docs/style.css +++ b/docs/style.css @@ -90,11 +90,12 @@ nav a { } nav > a { - margin-left: 1rem; + margin-left: 0.6rem; + padding: 0.03em 0.2em; text-decoration: none; } nav > a.active { - text-decoration: underline; + background: #cccccc; } nav span a { |