File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 66}
77
88document . addEventListener ( 'DOMContentLoaded' , function ( ) {
9+ var $menuHello = document . getElementById ( 'menuHello' ) ;
910 var $huggingFace = document . getElementById ( 'huggingFace' ) ;
1011 var $carbon = document . getElementById ( 'carbon' ) ;
1112
1213 setTimeout ( function ( ) {
1314 if ( window . carbonLoaded ) {
15+ $menuHello . style . minHeight = '218px' ;
1416 $huggingFace . style . display = 'none' ;
1517 $carbon . style . display = 'block' ;
1618 } else {
19+ $menuHello . style . minHeight = '0' ;
1720 $huggingFace . style . display = 'block' ;
1821 $carbon . style . display = 'none' ;
1922 }
6972 < strong > Close</ strong >
7073 </ a >
7174 </ nav >
72- < footer class ="menu-hello ">
75+ < footer id =" menuHello " class ="menu-hello ">
7376 < div id ="huggingFace ">
7477 < p >
7578 CSS Reference is < strong > free</ strong > and < br >
Original file line number Diff line number Diff line change 11< noscript >
22 < style type ="text/css ">
3- . menu-hello {
3+ # menuHello {
44 min-height : 0 ;
55 }
66
You can’t perform that action at this time.
0 commit comments