7a03618760
Reorder file metadata header
2023-11-16 17:00:16 +00:00
cd7849d03d
Reorder head element child elements
2023-11-16 16:52:21 +00:00
78c3e4d562
Close tags without an end tag
...
Closing tags which don't have an end tag provides more correctness for
XML and XHTML tools, and is not against HTML standards despite closing
such tags not being mandatory in HTML.
2023-11-16 16:42:54 +00:00
f16a6355d4
Set head element meta charset attribute to UTF-8
2023-11-16 16:17:34 +00:00
eca9fc50f9
Add HTML lang attribute
2023-11-16 16:03:33 +00:00
84b7c9b655
Fix nav element
2023-11-16 15:19:34 +00:00
00d56aee87
Switch navigation bar from custom sidebar element to proper nav
2023-11-16 15:02:24 +00:00
1100126727
Rebase webpage "Redirect - Git" from version 1.0.0-alpha.1+8 onto 1.0.0+10
2023-11-16 13:43:40 +00:00
50e0cfece8
Fix version string
2023-10-03 08:46:29 +01:00
08e01e8af1
Rename CSS from "inf" to "main"
2023-10-03 06:59:22 +01:00
24b64508fb
Add "Documentation" webpage
2023-10-02 17:38:37 +01:00
da2a8c8b98
Remove redundant CSS classes
2023-09-02 13:44:01 +01:00
674a982345
Add Index webpage link to logo and title.
2023-06-19 20:10:38 +01:00
9ab1023ba6
Notify users to update their Git repository URIs alongside bookmarks.
2023-06-16 22:14:59 +01:00
5da97c0ae3
Remove unnecessary HTML line breaks.
2023-06-16 22:04:26 +01:00
9304d84e6e
Remove unnecessary spacing.
2023-06-16 22:03:37 +01:00
930d0d33fc
Add git.inferencium.net redirect webpage.
2023-06-12 13:32:45 +01:00