Reduce the interline spacing in the theme

llvm · Mar 22, 2020 · c385cb5 · c385cb5
1 parent 032da79
commit c385cb5
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 2 deletions.
diff --git a/.gitignore b/.gitignore
@@ -2,4 +2,5 @@
 public
 llvm_src
 website/content/docs
+website/content/includes
 website/static/doxygen
diff --git a/website/themes/mlir/static/css/theme.css b/website/themes/mlir/static/css/theme.css
@@ -704,7 +704,7 @@ main * + figure, .edit-meta,
 .button,
 .gist,
 .twitter-tweet {
-  margin-top: 1.8rem;
+  margin-top: 1rem;
 }
 
 .no-stack, figure > figcaption, .pagination > * {

diff --git a/website/themes/mlir/static/css/theme.min.css b/website/themes/mlir/static/css/theme.min.css