4 const MenuButton = document.getElementById("menu_button");
7 const Menu = document.getElementById("menu");
10 const ReleaseIdForm = document.getElementById("releaseidform");
13 const EditionForm = document.getElementById("editionform");
16 const DownloadButton = document.getElementById("downloadbutton");
19 const Main = document.getElementById("main");
22 const MetaTitle = document.getElementById("meta_title");
25 const HeaderTitle = document.getElementById("header_title");
28 const CommonColor = "green";
30 //const Color1 = "black", Color2 = "white" , Color3 = "green-300"
31 const Color1 = `${CommonColor}-900`
32 const Color2 = `${CommonColor}-700`
33 const Color3 = `${CommonColor}-200`