mark language in HTML header

author Paul Hänsch <paul@plutz.net>

Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)

committer Paul Hänsch <paul@plutz.net>

Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)
author Paul Hänsch <paul@plutz.net>
Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)
committer Paul Hänsch <paul@plutz.net>
Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)
diff --git a/themes/default.sh b/themes/default.sh

index 3812f060b7dd1ce3d7ccb4c1b277712a40a0d139..0439f0d642421244c6049fa2ef9896389a5e21a5 100755 (executable)
--- a/themes/default.sh
+++ b/themes/default.sh
@@ -47,7 +47,7 @@ theme_page(){
  
    cat <<-EOF
         <!DOCTYPE HTML>
-       <html><head>
+       <html${LANGUAGE:+ lang=\"${LANGUAGE}\"}><head>
           $(theme_head)
           <title>${title}</title>
         </head><body id="$(HTML "${PATH_INFO}")">
author	Paul Hänsch <paul@plutz.net>
	Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)
committer	Paul Hänsch <paul@plutz.net>
	Sun, 21 May 2023 13:45:20 +0000 (15:45 +0200)