##// END OF EJS Templates
tweak quick-help...
MinRK -
Show More
@@ -66,4 +66,8 b' span#login_widget {'
66
66
67 #header > span {
67 #header > span {
68 margin-top: 10px;
68 margin-top: 10px;
69 } No newline at end of file
69 }
70
71 .modal-body {
72 max-height: 500px;
73 }
@@ -19,8 +19,7 b' var IPython = (function (IPython) {'
19 var that = this;
19 var that = this;
20 if ( this.shortcut_dialog ){
20 if ( this.shortcut_dialog ){
21 // if dialog is already shown, close it
21 // if dialog is already shown, close it
22 this.shortcut_dialog.find("button").first().click();
22 $(this.shortcut_dialog).modal("toggle");
23 this.shortcut_dialog = null;
24 return;
23 return;
25 }
24 }
26 var body = $('<div/>');
25 var body = $('<div/>');
@@ -60,6 +59,7 b' var IPython = (function (IPython) {'
60 this.shortcut_dialog = IPython.dialog.modal({
59 this.shortcut_dialog = IPython.dialog.modal({
61 title : "Keyboard shortcuts",
60 title : "Keyboard shortcuts",
62 body : body,
61 body : body,
62 destroy : false,
63 buttons : {
63 buttons : {
64 Close : {}
64 Close : {}
65 }
65 }
@@ -1057,6 +1057,7 b' span#login_widget{float:right;}'
1057 .nav-header{text-transform:none;}
1057 .nav-header{text-transform:none;}
1058 .navbar-nobg{background-color:transparent;background-image:none;}
1058 .navbar-nobg{background-color:transparent;background-image:none;}
1059 #header>span{margin-top:10px;}
1059 #header>span{margin-top:10px;}
1060 .modal-body{max-height:500px;}
1060 @font-face{font-family:'FontAwesome';src:url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.eot?v=3.1.0');src:url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.eot?#iefix&v=3.1.0') format('embedded-opentype'),url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.woff?v=3.1.0') format('woff'),url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.ttf?v=3.1.0') format('truetype'),url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.svg#fontawesomeregular?v=3.1.0') format('svg');font-weight:normal;font-style:normal;}[class^="icon-"],[class*=" icon-"]{font-family:FontAwesome;font-weight:normal;font-style:normal;text-decoration:inherit;-webkit-font-smoothing:antialiased;*margin-right:.3em;}
1061 @font-face{font-family:'FontAwesome';src:url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.eot?v=3.1.0');src:url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.eot?#iefix&v=3.1.0') format('embedded-opentype'),url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.woff?v=3.1.0') format('woff'),url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.ttf?v=3.1.0') format('truetype'),url('../components/font-awesome/build/assets/font-awesome/font/fontawesome-webfont.svg#fontawesomeregular?v=3.1.0') format('svg');font-weight:normal;font-style:normal;}[class^="icon-"],[class*=" icon-"]{font-family:FontAwesome;font-weight:normal;font-style:normal;text-decoration:inherit;-webkit-font-smoothing:antialiased;*margin-right:.3em;}
1061 [class^="icon-"]:before,[class*=" icon-"]:before{text-decoration:inherit;display:inline-block;speak:none;}
1062 [class^="icon-"]:before,[class*=" icon-"]:before{text-decoration:inherit;display:inline-block;speak:none;}
1062 .icon-large:before{vertical-align:-10%;font-size:1.3333333333333333em;}
1063 .icon-large:before{vertical-align:-10%;font-size:1.3333333333333333em;}
General Comments 0
You need to be logged in to leave comments. Login now