Add links to other editors.

judge0 · Sep 22, 2019 · bcc1246 · bcc1246
1 parent 4c8b10e
commit bcc1246
Showing 1 changed file with 6 additions and 4 deletions.
diff --git a/index.html b/index.html
@@ -117,10 +117,8 @@ <h2>Judge0 IDE</h2>
             </div>
         </div>
         <div class="right menu">
-            <a class="link item" target="_blank" href="https://judge0.com/about"><i class="info circle icon"></i>
-                About</a>
-            <a id="api-url" class="link item" target="_blank" href="https://api.judge0.com"><i class="server icon"></i>
-                API</a>
+            <a class="link item" target="_blank" href="https://judge0.com/about"><i class="info circle icon"></i> About</a>
+            <a id="api-url" class="link item" target="_blank" href="https://api.judge0.com"><i class="server icon"></i> API</a>
             <div class="ui dropdown item site-links">
                 Other
                 <i class="dropdown icon"></i>
@@ -148,6 +146,10 @@ <h2>Judge0 IDE</h2>
                         the
                         author</a>
                     <div class="divider"></div>
+                    <a class="item" target="_blank" href="https://junit.ide.judge0.com"><i class="external alternate icon"></i> JUnit Playground</a>
+                    <a class="item" target="_blank" href="https://nim.ide.judge0.com"><i class="external alternate icon"></i> Nim Playground</a>
+                    <a class="item" target="_blank" href="https://vlang.ide.judge0.com"><i class="external alternate icon"></i> V Playground</a>
+                    <div class="divider"></div>
                     <a class="item" target="_blank"
                         href="https://www.reddit.com/submit?url=https%3A%2F%2Fide.judge0.com&title=Judge0%20IDE"
                         style="background-color: #ff4500 !important; color: white !important;"><i