deploy from d1c0e3b

rhysd · May 11, 2024 · 3858ee0 · 3858ee0
1 parent 1e896a0
commit 3858ee0
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/index.html b/index.html
@@ -22,10 +22,10 @@
   <body>
     <nav id="header-bar" class="navbar" role="navigation" aria-label="header navigation bar">
       <header class="header">
-        <h1 class="title"><a id="logo" rel="noopener" href="https://github.com/rhysd/actionlint"><i class="devicon-github-original"></i></a> actionlint playground</h1>
+        <h1 class="title"><a id="logo" rel="noopener" href="https://github.com/rhysd/actionlint"><i class="devicon-github-original"></i></a> actionlint playground<span class="tag is-dark" id="version">v1.7.0</span></h1>
         <h2 class="subtitle">Static checker for GitHub Actions workflow files</h2>
       </header>
-      <div class="navbar-end">
+      <div id="controls" class="navbar-end">
         <div class="control">
           <a id="permalink-btn" class="button">Permalink</a>
         </div>

diff --git a/main.wasm b/main.wasm
diff --git a/style.css b/style.css
@@ -28,6 +28,16 @@ main {
   }
 }
 
+#version {
+  margin-left: 1em;
+}
+
+#controls {
+  display: flex;
+  margin-top: 8px;
+  margin-bottom: 8px;
+}
+
 .split-pane {
   box-sizing: border-box;
   padding: 8px;