Add Zed extension link to nav bar. (#57)

pest-parser · Mar 23, 2024 · 1915ad2 · 1915ad2
1 parent 1e5ddc1
commit 1915ad2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git a/static/index.html b/static/index.html
@@ -51,8 +51,9 @@
     <div class="container-main">
     <div class="bar-links bar-links-left">
       <div><a href="https://github.com/pest-parser/pest" target="_blank">GitHub</a></div>
-      <div><a href="https://plugins.jetbrains.com/plugin/12046-pest" target="_blank">IDEA Plugin</a></div>
+      <div><a href="https://plugins.jetbrains.com/plugin/12046-pest" target="_blank">IDEA</a></div>
       <div><a href="https://marketplace.visualstudio.com/items?itemName=pest.pest-ide-tools" target="_blank">VS Code</a></div>
+      <div><a href="https://github.com/pest-parser/zed-pest" target="_blank">Zed</a></div>
     </div>
     <div class="bar-links bar-links-right">
       <div><a href="book">Book</a></div>

diff --git a/static/style.css b/static/style.css
@@ -49,7 +49,7 @@ body {
 }
 
 .bar-links-left {
-  grid-template-columns: repeat(3, auto);
+  grid-template-columns: repeat(4, auto);
   grid-area: 1 / 1 / 2 / 3;
   justify-self: self-start;
 }