steve
/
factor
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

help.html: whoops, need to remove the extra links.

flac
John Benediktsson 2020-02-13 21:52:43 -08:00 committed by Steve Ayerhart
parent d1c2d21721
commit 0a64c19c11
No known key found for this signature in database
GPG Key ID: 5BFD39C5359E967D
1 changed files with 1 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
basis/help/html/html.factor
View File

@ -75,15 +75,13 @@ M: pathname url-of
"conventions" >link topic>filename "conventions" >link topic>filename
[XML [XML
<div class="navbar"> <div class="navbar">
<b> Factor Documentation </b> |
<a href="http://factorcode.org">Factor</a> <a href="http://factorcode.org">Factor</a>
<a href="/">Home</a> <a href="/">Documentation</a>
<a href=<->>Glossary</a> <a href=<->>Glossary</a>
<form method="get" action="/search" style="display:inline;"> <form method="get" action="/search" style="display:inline;">
<input placeholder="Search" name="search" type="text"/> <input placeholder="Search" name="search" type="text"/>
<input type="submit" value="Go"/> <input type="submit" value="Go"/>
</form> </form>
<a href="http://factorcode.org" style="float:right; padding: 4px;">factorcode.org</a>
</div> </div>
XML] ; XML] ;