File tree Expand file tree Collapse file tree 1 file changed +4
-34
lines changed
Expand file tree Collapse file tree 1 file changed +4
-34
lines changed Original file line number Diff line number Diff line change 5353 } ;
5454 </ script >
5555
56- < script type ="text/javascript ">
57- function toggle_vis ( id ) {
58- var e = document . getElementById ( id ) ;
59- if ( e . style . display == 'none' )
60- e . style . display = 'inline' ;
61- else
62- e . style . display = 'none' ;
63- }
64- </ script >
65-
66- < script >
67- function myFunction ( ) {
68- var x = document . getElementById ( "myLinks" ) ;
69- if ( x . style . display === "inline" ) {
70- x . style . display = "none" ;
71- } else {
72- x . style . display = "inline" ;
73-
74- }
75- }
76-
77- function reverseLinks ( ) {
78- var container = document . getElementById ( "myLinks" ) ;
79- var links = Array . from ( container . getElementsByTagName ( 'a' ) ) ;
80- container . innerHTML = '' ;
81- for ( var i = links . length - 1 ; i >= 0 ; i -- ) {
82- container . appendChild ( links [ i ] ) ;
83- }
84- }
85- </ script >
8656
87- <!-- Navigation Bar -->
57+ </ head >
58+ < body >
59+
60+ <!-- Navigation Bar -->
8861 < div class ="topnav ">
8962 < div id ="myLinks ">
9063 {% include navigation.md %}
9164 </ div >
9265 </ div >
9366
94-
95- </ head >
96- < body >
9767
9868 <!-- Main Content Wrapper -->
9969 < div class ="wrapper ">
You can’t perform that action at this time.
0 commit comments