luau-lang/luau
1
0
Fork 0
mirror of https://github.com/luau-lang/luau.git synced 2025-05-04 10:33:46 +01:00
Code Issues Projects Releases Packages Wiki Activity

Formatting

Browse source
This commit is contained in:
Someone-dQw4w9WgXcQ 2023-07-27 22:11:14 +01:00
parent e101e90054
commit 065a09487b
1 changed files with 3 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
docs/_includes/masthead.html
View file

@ -50,8 +50,7 @@
node2 = document.getElementById('theme_source_2'); node2 = document.getElementById('theme_source_2');
node1.setAttribute('rel', 'stylesheet alternate'); node1.setAttribute('rel', 'stylesheet alternate');
node2.setAttribute('rel', 'stylesheet'); node2.setAttribute('rel', 'stylesheet');
} } else {
else {
localStorage.setItem('theme', 'light'); localStorage.setItem('theme', 'light');
} }
@ -61,7 +60,7 @@
if (node1.getAttribute("rel") == "stylesheet") { if (node1.getAttribute("rel") == "stylesheet") {
node1.setAttribute("rel", "stylesheet alternate"); node1.setAttribute("rel", "stylesheet alternate");
node2.setAttribute("rel", "stylesheet"); node2.setAttribute("rel", "stylesheet");
try {editor?.setOption("theme", "dark")} catch {}; try { editor.setOption("theme", "dark") } catch { };
localStorage.setItem("theme", "dark"); localStorage.setItem("theme", "dark");
} else { } else {
node2.setAttribute("rel", "stylesheet alternate"); node2.setAttribute("rel", "stylesheet alternate");