Please enable JavaScript to use RhodeCode Enterprise
##// END OF EJS Templates
Jonathan Frederic
- Thu, 16 Jan 2014 10:56:02
Show More
IPython/html/static/notebook/js/widgets/float_range.js
0
+46
0
IPython/html/static/notebook/less/widgetarea.less
0
+13
0
IPython/html/static/style/ipython.min.css
0
+1
0
@@
-170,6
+170,7
b' h1:hover .anchor-link,h2:hover .anchor-link,h3:hover .anchor-link,h4:hover .anch'
170
. widget-area . widget-subarea . widget-vslider { border : 1 px solid #CCCCCC ; background : #FFFFFF ; height : 100 % ; width : 5 px ; margin-left : 12 px ; padding-bottom : 14 px ; border-radius : 4 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider { border : 0 px !important ; background : none !important ; margin-left : -4 px ; height : 100 % ; margin-top : 5 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider . ui-slider-handle { width : 28 px !important ; height : 14 px !important ; margin-left : -15 px ;}
170
. widget-area . widget-subarea . widget-vslider { border : 1 px solid #CCCCCC ; background : #FFFFFF ; height : 100 % ; width : 5 px ; margin-left : 12 px ; padding-bottom : 14 px ; border-radius : 4 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider { border : 0 px !important ; background : none !important ; margin-left : -4 px ; height : 100 % ; margin-top : 5 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider . ui-slider-handle { width : 28 px !important ; height : 14 px !important ; margin-left : -15 px ;}
171
. widget-area . widget-subarea . widget-text { width : 350 px ; margin-bottom : 0 px ;}
171
. widget-area . widget-subarea . widget-text { width : 350 px ; margin-bottom : 0 px ;}
172
. widget-area . widget-subarea . widget-numeric-text { width : 150 px ;}
172
. widget-area . widget-subarea . widget-numeric-text { width : 150 px ;}
173
. widget-area . widget-subarea . widget-progress { width : 363 px ;}. widget-area . widget-subarea . widget-progress . bar { -webkit- transition : none ; -moz- transition : none ; -ms- transition : none ; -o- transition : none ; transition : none ;}
173
. widget-area . widget-subarea . widget-combo-btn { min-width : 138 px ; height : 30 px ;}
174
. widget-area . widget-subarea . widget-combo-btn { min-width : 138 px ; height : 30 px ;}
174
. widget-area . widget-subarea . widget-container { box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ;}
175
. widget-area . widget-subarea . widget-container { box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ;}
175
. widget-area . widget-subarea . widget-hbox { display : -webkit- box ; -webkit- box-orient : horizontal ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : horizontal ; -moz- box-align : stretch ; display : box ; box-orient : horizontal ; box-align : stretch ; -webkit- box-pack : start ; -moz- box-pack : start ; box-pack : start ; box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ; margin : 5 px ;}
176
. widget-area . widget-subarea . widget-hbox { display : -webkit- box ; -webkit- box-orient : horizontal ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : horizontal ; -moz- box-align : stretch ; display : box ; box-orient : horizontal ; box-align : stretch ; -webkit- box-pack : start ; -moz- box-pack : start ; box-pack : start ; box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ; margin : 5 px ;}
IPython/html/static/style/style.min.css
0
+1
0
@@
-1589,6
+1589,7
b' span#checkpoint_status,span#autosave_status{font-size:small;}'
1589
. widget-area . widget-subarea . widget-vslider { border : 1 px solid #CCCCCC ; background : #FFFFFF ; height : 100 % ; width : 5 px ; margin-left : 12 px ; padding-bottom : 14 px ; border-radius : 4 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider { border : 0 px !important ; background : none !important ; margin-left : -4 px ; height : 100 % ; margin-top : 5 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider . ui-slider-handle { width : 28 px !important ; height : 14 px !important ; margin-left : -15 px ;}
1589
. widget-area . widget-subarea . widget-vslider { border : 1 px solid #CCCCCC ; background : #FFFFFF ; height : 100 % ; width : 5 px ; margin-left : 12 px ; padding-bottom : 14 px ; border-radius : 4 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider { border : 0 px !important ; background : none !important ; margin-left : -4 px ; height : 100 % ; margin-top : 5 px ;}. widget-area . widget-subarea . widget-vslider . ui-slider . ui-slider-handle { width : 28 px !important ; height : 14 px !important ; margin-left : -15 px ;}
1590
. widget-area . widget-subarea . widget-text { width : 350 px ; margin-bottom : 0 px ;}
1590
. widget-area . widget-subarea . widget-text { width : 350 px ; margin-bottom : 0 px ;}
1591
. widget-area . widget-subarea . widget-numeric-text { width : 150 px ;}
1591
. widget-area . widget-subarea . widget-numeric-text { width : 150 px ;}
1592
. widget-area . widget-subarea . widget-progress { width : 363 px ;}. widget-area . widget-subarea . widget-progress . bar { -webkit- transition : none ; -moz- transition : none ; -ms- transition : none ; -o- transition : none ; transition : none ;}
1592
. widget-area . widget-subarea . widget-combo-btn { min-width : 138 px ; height : 30 px ;}
1593
. widget-area . widget-subarea . widget-combo-btn { min-width : 138 px ; height : 30 px ;}
1593
. widget-area . widget-subarea . widget-container { box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ;}
1594
. widget-area . widget-subarea . widget-container { box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ;}
1594
. widget-area . widget-subarea . widget-hbox { display : -webkit- box ; -webkit- box-orient : horizontal ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : horizontal ; -moz- box-align : stretch ; display : box ; box-orient : horizontal ; box-align : stretch ; -webkit- box-pack : start ; -moz- box-pack : start ; box-pack : start ; box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ; margin : 5 px ;}
1595
. widget-area . widget-subarea . widget-hbox { display : -webkit- box ; -webkit- box-orient : horizontal ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : horizontal ; -moz- box-align : stretch ; display : box ; box-orient : horizontal ; box-align : stretch ; -webkit- box-pack : start ; -moz- box-pack : start ; box-pack : start ; box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box ; margin : 5 px ;}
Site-wide shortcuts
/
Use quick search box
g h
Goto home page
g g
Goto my private gists page
g G
Goto my public gists page
g 0-9
Goto bookmarked items from 0-9
n r
New repository page
n g
New gist page
Repositories
g s
Goto summary page
g c
Goto changelog page
g f
Goto files page
g F
Goto files page with file search activated
g p
Goto pull requests page
g o
Goto repository settings
g O
Goto repository access permissions settings
t s
Toggle sidebar on some pages