diff options
author | Rasmus Andersson <rasmus@notion.se> | 2018-09-17 20:35:12 +0300 |
---|---|---|
committer | Rasmus Andersson <rasmus@notion.se> | 2018-10-11 09:37:53 +0300 |
commit | 724caef757f943e6350331b5371b2d13beefc2a8 (patch) | |
tree | c6ef59da92b536a25a517d849fbfc47645e9fda7 /docs/index.css | |
parent | 8fdcaa7e3e693f5307070ca5b136a64d95b9e922 (diff) | |
download | inter-724caef757f943e6350331b5371b2d13beefc2a8.tar.xz |
update website (note: the live website is sourced from the master branch, so these changes will not be visible on the actual website until this branch is merged into master, or if you run the server locally.)
Diffstat (limited to 'docs/index.css')
-rw-r--r-- | docs/index.css | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/index.css b/docs/index.css index 9fb3c5d45..23403174d 100644 --- a/docs/index.css +++ b/docs/index.css @@ -39,7 +39,7 @@ } .dynmet-calc .arrow { - margin: 0 0.8em; + margin: 0 0.5em; color: #eee; } |