1111 < meta http-equiv ="content-type " content ="text/html; charset=utf-8 ">
1212 < meta name ="viewport " content ="width=device-width, initial-scale=1 ">
1313 < link href ="./style.css " rel ="stylesheet " type ="text/css ">
14- < link href ="./gruvbox.css " rel ="stylesheet " type ="text/css " id ="theme-style " disabled >
1514 < title > Refactoring Codebases through Library Design</ title >
1615
1716 < script >
1817 function copyText ( ) {
1918 var text = document . getElementById ( "citation-content" )
2019 navigator . clipboard . writeText ( text . innerText )
2120 }
22-
23- // Theme switching functionality
24- function toggleTheme ( ) {
25- const themeStyle = document . getElementById ( 'theme-style' ) ;
26- const isLight = themeStyle . disabled ;
27- themeStyle . disabled = ! isLight ;
28-
29- // Update icon
30- const icon = document . querySelector ( '.theme-switch i' ) ;
31- icon . className = isLight ? 'fas fa-moon' : 'fas fa-sun' ;
32-
33- // Save preference
34- localStorage . setItem ( 'theme' , isLight ? 'dark' : 'light' ) ;
35- }
36-
37- // Set initial theme based on saved preference, defaulting to light
38- document . addEventListener ( 'DOMContentLoaded' , ( ) => {
39- const savedTheme = localStorage . getItem ( 'theme' ) ;
40- const themeStyle = document . getElementById ( 'theme-style' ) ;
41- const icon = document . querySelector ( '.theme-switch i' ) ;
42-
43- // Default to light mode
44- if ( savedTheme === 'dark' ) {
45- themeStyle . disabled = false ;
46- icon . className = 'fas fa-moon' ;
47- } else {
48- themeStyle . disabled = true ;
49- icon . className = 'fas fa-sun' ;
50- // Explicitly set to light if no preference is saved
51- if ( ! savedTheme ) {
52- localStorage . setItem ( 'theme' , 'light' ) ;
53- }
54- }
55- } ) ;
5621 </ script >
5722</ head >
5823
5924< body >
60- < button class ="theme-switch " onclick ="toggleTheme() ">
61- < i class ="fas fa-sun "> </ i >
62- </ button >
63-
6425 < header >
6526 < h1 > Refactoring Codebases through Library Design</ h1 >
6627
@@ -109,7 +70,7 @@ <h2 id="video">Video</h2>
10970 <iframe height="528" src="#" title="Supplemental video" allow="accelerometer; autoplay; clipboard-write; encrypted-media; gyroscope; picture-in-picture; web-share" allowfullscreen></iframe>
11071 </section> -->
11172
112- < section class ="section " id ="citation ">
73+ <!-- < section class="section" id="citation">
11374 <div class="container is-max-desktop content">
11475 <h2 id="citation-header">Citation</h2>
11576 <div class="citation-box">
@@ -122,12 +83,12 @@ <h2 id="citation-header">Citation</h2>
12283}</code></pre>
12384 </div>
12485 </div>
125- </ section >
86+ </section> -->
12687
127- < section >
88+ <!-- < section>
12889 <h2 id="acknowledgments">Acknowledgments</h2>
12990 <p>Coming soon</p>
130- </ section >
91+ </section> -->
13192 </ main >
13293
13394 < footer >
0 commit comments