File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change 2222 {% else %}
2323 < link rel ="canonical " href ="http://deis.io/docs/latest/{{ pagename }}/ ">
2424 {% endif %}
25- < style type ="text/css " media ="print "> # wpadminbar { display : none; }</ style >
26- < style type ="text/css " media ="screen ">
27- html { margin-top : 28px !important ; }
28- * html body { margin-top : 28px !important ; }
29- </ style >
3025 {% block extrahead %}{% endblock %}
3126</ head >
3227< body style ="zoom: 1; ">
6964 </ div >
7065 </ div >
7166
72- < div class ="span9 hoop ">
67+ < div class ="span6 hoop ">
7368 < div > {% block body %}{% endblock %}</ div >
7469 </ div >
70+ < div class ="span3 ">
71+ {{ toctree(collapse=False, maxdepth=3) }}
72+ </ div >
7573
7674 </ div > <!-- .row -->
7775 </ div > <!-- .main_section container-->
10199 Math , boxes . map ( function ( ) {
102100 return $ ( this ) . height ( ) ;
103101 } ) . get ( ) ) ;
104- boxes . height ( maxHeight ) ;
102+ if ( maxHeight < 923 ) {
103+ boxes . height ( 923 ) ;
104+ } else {
105+ boxes . height ( maxHeight ) ;
106+ }
107+
105108
106109 if ( maxHeight > 800 ) {
107110 newMargin = maxHeight - 451 - 133 - 30 ;
You can’t perform that action at this time.
0 commit comments