File tree Expand file tree Collapse file tree 1 file changed +6
-1
lines changed
Expand file tree Collapse file tree 1 file changed +6
-1
lines changed Original file line number Diff line number Diff line change 2323 <!--<h1 id="project_title">{{ site.title | default: site.github.repository_name }}</h1>
2424 <h2 id="project_tagline">{{ site.description | default: site.github.project_tagline }}</h2>-->
2525
26- < ul class ="fixed-nav-bar topnav " id ="myTopnav " onclick ="myFunction () ">
26+ < ul class ="fixed-nav-bar topnav " id ="myTopnav " onclick ="hideList () ">
2727 < li > < a href =". "> {{ site.title | default: site.github.repository_name }}</ a > </ li >
2828 < li > < a href ="#home "> Home</ a > </ li >
2929 < li > < a href ="#abstract "> Abstract</ a > </ li >
@@ -72,6 +72,11 @@ <h2 id="project_tagline">{{ site.description | default: site.github.project_tagl
7272 x . className = "fixed-nav-bar topnav" ;
7373 }
7474 }
75+
76+ function hideList ( ) {
77+ var x = document . getElementById ( "myTopnav" ) ;
78+ x . className = "fixed-nav-bar topnav" ;
79+ }
7580 </ script >
7681
7782 {% if site.google_analytics %}
You can’t perform that action at this time.
0 commit comments