language-servers/roc
1
0
Fork 0
mirror of https://github.com/roc-lang/roc.git synced 2025-08-03 19:58:18 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 6

Move where the "different name" tip goes

Browse source
This commit is contained in:
Richard Feldman 2022-10-23 18:07:13 -04:00
parent 87584a33ca
commit 921ab885ce
No known key found for this signature in database
GPG key ID: F1F21AA5B1D9E43B
2 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/docs/src/static/index.html
View file

@ -24,7 +24,7 @@
<!-- if the window gets big, this extends the purple bar on the top header to the left edge of the window -->
</div>
<header class="top-header">
<nav class="pkg-and-logo">
<div class="pkg-and-logo">
<a class="logo" href="/" aria-labelledby="logo-link">
<svg viewBox="0 -6 51 58" fill="none" xmlns="http://www.w3.org/2000/svg" aria-labelledby="logo-link" role="img">
<title id="logo-link">Return to Roc packages</title>
@ -32,7 +32,7 @@
</svg>
</a>
<!-- Package Name and Version -->
</nav>
</div>
<div class="top-header-triangle">
<!-- if the window gets big, this extends the purple bar on the top header to the left edge of the window -->
</div>