📚 docs: Update doc/scripts/header.js.

Author: make-github-pseudonymous-again

doc/scripts/header.js

@@ -7,10 +7,10 @@ const domReady = function (callback) {
 	}
 };
 
-domReady(function () {
+domReady(() => {
 	const projectname = document.createElement('a');
 	projectname.classList.add('project-name');
-	projectname.text = 'codec-bytes/base16';
+	projectname.text = '@codec-bytes/base16';
 	projectname.href = './index.html';
 
 	const header = document.querySelector('header');
@@ -24,7 +24,7 @@ domReady(function () {
 	const input = document.querySelector('.search-input');
 
 	// Active search box when focus on searchBox.
-	input.addEventListener('focus', function () {
+	input.addEventListener('focus', () => {
 		searchBox.classList.add('active');
 	});
 });