##// END OF EJS Templates
rebuild css
Matthias BUSSONNIER -
Show More
@@ -1110,6 +1110,9 div.text_cell_render {
1110 border-style: none;
1110 border-style: none;
1111 padding: 0.5em 0.5em 0.5em 0.4em;
1111 padding: 0.5em 0.5em 0.5em 0.4em;
1112 color: #000000;
1112 color: #000000;
1113 box-sizing: border-box;
1114 -moz-box-sizing: border-box;
1115 -webkit-box-sizing: border-box;
1113 }
1116 }
1114 a.anchor-link:link {
1117 a.anchor-link:link {
1115 text-decoration: none;
1118 text-decoration: none;
@@ -7609,6 +7609,9 div#header {
7609 padding-left: 30px;
7609 padding-left: 30px;
7610 padding-bottom: 5px;
7610 padding-bottom: 5px;
7611 border-bottom: 1px solid #e7e7e7;
7611 border-bottom: 1px solid #e7e7e7;
7612 box-sizing: border-box;
7613 -moz-box-sizing: border-box;
7614 -webkit-box-sizing: border-box;
7612 }
7615 }
7613 #ipython_notebook {
7616 #ipython_notebook {
7614 padding-left: 0px;
7617 padding-left: 0px;
@@ -7631,6 +7634,9 div#header {
7631 #site {
7634 #site {
7632 width: 100%;
7635 width: 100%;
7633 display: none;
7636 display: none;
7637 box-sizing: border-box;
7638 -moz-box-sizing: border-box;
7639 -webkit-box-sizing: border-box;
7634 }
7640 }
7635 /* Smaller buttons */
7641 /* Smaller buttons */
7636 .ui-button .ui-button-text {
7642 .ui-button .ui-button-text {
@@ -7646,6 +7652,97 input.ui-button {
7646 span#login_widget {
7652 span#login_widget {
7647 float: right;
7653 float: right;
7648 }
7654 }
7655 span#login_widget > .button {
7656 display: inline-block;
7657 margin-bottom: 0;
7658 font-weight: normal;
7659 text-align: center;
7660 vertical-align: middle;
7661 cursor: pointer;
7662 background-image: none;
7663 border: 1px solid transparent;
7664 white-space: nowrap;
7665 padding: 6px 12px;
7666 font-size: 13px;
7667 line-height: 1.42857143;
7668 border-radius: 4px;
7669 -webkit-user-select: none;
7670 -moz-user-select: none;
7671 -ms-user-select: none;
7672 user-select: none;
7673 color: #333333;
7674 background-color: #ffffff;
7675 border-color: #cccccc;
7676 padding: 5px 10px;
7677 font-size: 12px;
7678 line-height: 1.5;
7679 border-radius: 3px;
7680 }
7681 span#login_widget > .button:focus,
7682 span#login_widget > .button:active:focus,
7683 span#login_widget > .button.active:focus {
7684 outline: thin dotted;
7685 outline: 5px auto -webkit-focus-ring-color;
7686 outline-offset: -2px;
7687 }
7688 span#login_widget > .button:hover,
7689 span#login_widget > .button:focus {
7690 color: #333333;
7691 text-decoration: none;
7692 }
7693 span#login_widget > .button:active,
7694 span#login_widget > .button.active {
7695 outline: 0;
7696 background-image: none;
7697 -webkit-box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
7698 box-shadow: inset 0 3px 5px rgba(0, 0, 0, 0.125);
7699 }
7700 span#login_widget > .button.disabled,
7701 span#login_widget > .button[disabled],
7702 fieldset[disabled] span#login_widget > .button {
7703 cursor: not-allowed;
7704 pointer-events: none;
7705 opacity: 0.65;
7706 filter: alpha(opacity=65);
7707 -webkit-box-shadow: none;
7708 box-shadow: none;
7709 }
7710 span#login_widget > .button:hover,
7711 span#login_widget > .button:focus,
7712 span#login_widget > .button:active,
7713 span#login_widget > .button.active,
7714 .open .dropdown-togglespan#login_widget > .button {
7715 color: #333333;
7716 background-color: #ebebeb;
7717 border-color: #adadad;
7718 }
7719 span#login_widget > .button:active,
7720 span#login_widget > .button.active,
7721 .open .dropdown-togglespan#login_widget > .button {
7722 background-image: none;
7723 }
7724 span#login_widget > .button.disabled,
7725 span#login_widget > .button[disabled],
7726 fieldset[disabled] span#login_widget > .button,
7727 span#login_widget > .button.disabled:hover,
7728 span#login_widget > .button[disabled]:hover,
7729 fieldset[disabled] span#login_widget > .button:hover,
7730 span#login_widget > .button.disabled:focus,
7731 span#login_widget > .button[disabled]:focus,
7732 fieldset[disabled] span#login_widget > .button:focus,
7733 span#login_widget > .button.disabled:active,
7734 span#login_widget > .button[disabled]:active,
7735 fieldset[disabled] span#login_widget > .button:active,
7736 span#login_widget > .button.disabled.active,
7737 span#login_widget > .button[disabled].active,
7738 fieldset[disabled] span#login_widget > .button.active {
7739 background-color: #ffffff;
7740 border-color: #cccccc;
7741 }
7742 span#login_widget > .button .badge {
7743 color: #ffffff;
7744 background-color: #333333;
7745 }
7649 .nav-header {
7746 .nav-header {
7650 text-transform: none;
7747 text-transform: none;
7651 }
7748 }
@@ -8734,6 +8831,9 div.text_cell_render {
8734 border-style: none;
8831 border-style: none;
8735 padding: 0.5em 0.5em 0.5em 0.4em;
8832 padding: 0.5em 0.5em 0.5em 0.4em;
8736 color: #000000;
8833 color: #000000;
8834 box-sizing: border-box;
8835 -moz-box-sizing: border-box;
8836 -webkit-box-sizing: border-box;
8737 }
8837 }
8738 a.anchor-link:link {
8838 a.anchor-link:link {
8739 text-decoration: none;
8839 text-decoration: none;
@@ -9644,6 +9744,9 fieldset[disabled] #kernel_selector_widget > button.active {
9644 margin-top: 0px;
9744 margin-top: 0px;
9645 margin-bottom: -19px;
9745 margin-bottom: -19px;
9646 position: relative;
9746 position: relative;
9747 box-sizing: border-box;
9748 -moz-box-sizing: border-box;
9749 -webkit-box-sizing: border-box;
9647 }
9750 }
9648 #menubar .navbar {
9751 #menubar .navbar {
9649 border-top: 1px;
9752 border-top: 1px;
@@ -10085,16 +10188,25 fieldset[disabled] .notification_widget.danger.active {
10085 }
10188 }
10086 div#pager_splitter {
10189 div#pager_splitter {
10087 height: 8px;
10190 height: 8px;
10191 box-sizing: border-box;
10192 -moz-box-sizing: border-box;
10193 -webkit-box-sizing: border-box;
10088 }
10194 }
10089 #pager-container {
10195 #pager-container {
10090 position: relative;
10196 position: relative;
10091 padding: 15px 0px;
10197 padding: 15px 0px;
10198 box-sizing: border-box;
10199 -moz-box-sizing: border-box;
10200 -webkit-box-sizing: border-box;
10092 }
10201 }
10093 div#pager {
10202 div#pager {
10094 font-size: 14px;
10203 font-size: 14px;
10095 line-height: 20px;
10204 line-height: 20px;
10096 overflow: auto;
10205 overflow: auto;
10097 display: none;
10206 display: none;
10207 box-sizing: border-box;
10208 -moz-box-sizing: border-box;
10209 -webkit-box-sizing: border-box;
10098 }
10210 }
10099 div#pager pre {
10211 div#pager pre {
10100 line-height: 1.21429em;
10212 line-height: 1.21429em;
@@ -10174,6 +10286,9 span#autosave_status {
10174 padding: 0px;
10286 padding: 0px;
10175 margin-left: -5px;
10287 margin-left: -5px;
10176 margin-top: -5px;
10288 margin-top: -5px;
10289 box-sizing: border-box;
10290 -moz-box-sizing: border-box;
10291 -webkit-box-sizing: border-box;
10177 }
10292 }
10178 .toolbar select,
10293 .toolbar select,
10179 .toolbar label {
10294 .toolbar label {
General Comments 0
You need to be logged in to leave comments. Login now