diff options
Diffstat (limited to 'cgi/user.cgi')
| -rwxr-xr-x | cgi/user.cgi | 14 |
1 files changed, 6 insertions, 8 deletions
diff --git a/cgi/user.cgi b/cgi/user.cgi index 5150157..6092552 100755 --- a/cgi/user.cgi +++ b/cgi/user.cgi @@ -11,14 +11,12 @@ def link(href, text, remote = false) end def toplinks - $cgi.nav(class: "toplinks") { - $cgi.ul { - $cgi.li { link("/" , "Home" ) } + - $cgi.li { link("/bins" , "Bins" ) } + - $cgi.li { link("/eamit.html" , "eamit" , true) } + - $cgi.li { link("https://git.4574.co.uk/", "Git" , true) } + - $cgi.li { link("/stuff-i-want" , "Stuff I Want" ) } - } + $cgi.ul(class: "toplinks") { + $cgi.li { link("/" , "Home" ) } + + $cgi.li { link("/bins" , "Bins" ) } + + $cgi.li { link("/eamit.html" , "eamit" , true) } + + $cgi.li { link("https://git.4574.co.uk/", "Git" , true) } + + $cgi.li { link("/stuff-i-want" , "Stuff I Want" ) } } end |