##// END OF EJS Templates
invoke css
Jonathan Frederic -
Show More
@@ -24,7 +24,7 b' label {'
24 -webkit-box-sizing: border-box;
24 -webkit-box-sizing: border-box;
25 }
25 }
26 .corner-all {
26 .corner-all {
27 border-radius: 4px;
27 border-radius: 2px;
28 }
28 }
29 .no-padding {
29 .no-padding {
30 padding: 0px;
30 padding: 0px;
@@ -349,7 +349,7 b' div.cell {'
349 display: flex;
349 display: flex;
350 flex-direction: column;
350 flex-direction: column;
351 align-items: stretch;
351 align-items: stretch;
352 border-radius: 4px;
352 border-radius: 2px;
353 box-sizing: border-box;
353 box-sizing: border-box;
354 -moz-box-sizing: border-box;
354 -moz-box-sizing: border-box;
355 -webkit-box-sizing: border-box;
355 -webkit-box-sizing: border-box;
@@ -420,7 +420,7 b' div.inner_cell {'
420 /* input_area and input_prompt must match in top border and margin for alignment */
420 /* input_area and input_prompt must match in top border and margin for alignment */
421 div.input_area {
421 div.input_area {
422 border: 1px solid #cfcfcf;
422 border: 1px solid #cfcfcf;
423 border-radius: 4px;
423 border-radius: 2px;
424 background: #f7f7f7;
424 background: #f7f7f7;
425 line-height: 1.21429em;
425 line-height: 1.21429em;
426 }
426 }
@@ -449,7 +449,7 b' div.unrecognized_cell {'
449 align-items: stretch;
449 align-items: stretch;
450 }
450 }
451 div.unrecognized_cell .inner_cell {
451 div.unrecognized_cell .inner_cell {
452 border-radius: 4px;
452 border-radius: 2px;
453 padding: 5px;
453 padding: 5px;
454 font-weight: bold;
454 font-weight: bold;
455 color: red;
455 color: red;
@@ -563,8 +563,8 b' div.input_area > div.highlight > pre {'
563 padding: 0 8px 0 4px;
563 padding: 0 8px 0 4px;
564 }
564 }
565 .CodeMirror-gutters {
565 .CodeMirror-gutters {
566 border-bottom-left-radius: 4px;
566 border-bottom-left-radius: 2px;
567 border-top-left-radius: 4px;
567 border-top-left-radius: 2px;
568 }
568 }
569 .CodeMirror pre {
569 .CodeMirror pre {
570 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
570 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
@@ -750,7 +750,7 b' div.output_scroll {'
750 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
750 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
751 width: 100%;
751 width: 100%;
752 overflow: auto;
752 overflow: auto;
753 border-radius: 4px;
753 border-radius: 2px;
754 -webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
754 -webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
755 box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
755 box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
756 display: block;
756 display: block;
@@ -778,7 +778,7 b' div.out_prompt_overlay {'
778 height: 100%;
778 height: 100%;
779 padding: 0px 0.4em;
779 padding: 0px 0.4em;
780 position: absolute;
780 position: absolute;
781 border-radius: 4px;
781 border-radius: 2px;
782 }
782 }
783 div.out_prompt_overlay:hover {
783 div.out_prompt_overlay:hover {
784 /* use inner shadow to get border that is computed the same on WebKit/FF */
784 /* use inner shadow to get border that is computed the same on WebKit/FF */
@@ -1269,7 +1269,7 b' h6:hover .anchor-link {'
1269 /* Slider Track */
1269 /* Slider Track */
1270 border: 1px solid #CCCCCC;
1270 border: 1px solid #CCCCCC;
1271 background: #FFFFFF;
1271 background: #FFFFFF;
1272 border-radius: 4px;
1272 border-radius: 2px;
1273 /* Round the corners of the slide track */
1273 /* Round the corners of the slide track */
1274 }
1274 }
1275 .widget-hslider {
1275 .widget-hslider {
@@ -1307,7 +1307,7 b' h6:hover .anchor-link {'
1307 /* Slider Track */
1307 /* Slider Track */
1308 border: 1px solid #CCCCCC;
1308 border: 1px solid #CCCCCC;
1309 background: #FFFFFF;
1309 background: #FFFFFF;
1310 border-radius: 4px;
1310 border-radius: 2px;
1311 /* Round the corners of the slide track */
1311 /* Round the corners of the slide track */
1312 /* Make the div a flex box (makes FF behave correctly). */
1312 /* Make the div a flex box (makes FF behave correctly). */
1313 /* Old browsers */
1313 /* Old browsers */
@@ -1374,7 +1374,7 b' h6:hover .anchor-link {'
1374 /* Slider Track */
1374 /* Slider Track */
1375 border: 1px solid #CCCCCC;
1375 border: 1px solid #CCCCCC;
1376 background: #FFFFFF;
1376 background: #FFFFFF;
1377 border-radius: 4px;
1377 border-radius: 2px;
1378 /* Round the corners of the slide track */
1378 /* Round the corners of the slide track */
1379 /* Make the div a flex box (makes FF behave correctly). */
1379 /* Make the div a flex box (makes FF behave correctly). */
1380 /* Old browsers */
1380 /* Old browsers */
@@ -321,7 +321,7 b' img {'
321 line-height: 1.42857143;
321 line-height: 1.42857143;
322 background-color: #ffffff;
322 background-color: #ffffff;
323 border: 1px solid #dddddd;
323 border: 1px solid #dddddd;
324 border-radius: 4px;
324 border-radius: 2px;
325 -webkit-transition: all 0.2s ease-in-out;
325 -webkit-transition: all 0.2s ease-in-out;
326 transition: all 0.2s ease-in-out;
326 transition: all 0.2s ease-in-out;
327 display: inline-block;
327 display: inline-block;
@@ -695,7 +695,7 b' code {'
695 color: #c7254e;
695 color: #c7254e;
696 background-color: #f9f2f4;
696 background-color: #f9f2f4;
697 white-space: nowrap;
697 white-space: nowrap;
698 border-radius: 4px;
698 border-radius: 2px;
699 }
699 }
700 kbd {
700 kbd {
701 padding: 2px 4px;
701 padding: 2px 4px;
@@ -716,7 +716,7 b' pre {'
716 color: #333333;
716 color: #333333;
717 background-color: #f5f5f5;
717 background-color: #f5f5f5;
718 border: 1px solid #cccccc;
718 border: 1px solid #cccccc;
719 border-radius: 4px;
719 border-radius: 2px;
720 }
720 }
721 pre code {
721 pre code {
722 padding: 0;
722 padding: 0;
@@ -1696,7 +1696,7 b' output {'
1696 background-color: #ffffff;
1696 background-color: #ffffff;
1697 background-image: none;
1697 background-image: none;
1698 border: 1px solid #cccccc;
1698 border: 1px solid #cccccc;
1699 border-radius: 4px;
1699 border-radius: 2px;
1700 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
1700 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
1701 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
1701 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
1702 -webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
1702 -webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
@@ -2000,7 +2000,7 b' select[multiple].input-lg {'
2000 padding: 6px 12px;
2000 padding: 6px 12px;
2001 font-size: 13px;
2001 font-size: 13px;
2002 line-height: 1.42857143;
2002 line-height: 1.42857143;
2003 border-radius: 4px;
2003 border-radius: 2px;
2004 -webkit-user-select: none;
2004 -webkit-user-select: none;
2005 -moz-user-select: none;
2005 -moz-user-select: none;
2006 -ms-user-select: none;
2006 -ms-user-select: none;
@@ -3017,7 +3017,7 b' input[type="button"].btn-block {'
3017 background-color: #ffffff;
3017 background-color: #ffffff;
3018 border: 1px solid #cccccc;
3018 border: 1px solid #cccccc;
3019 border: 1px solid rgba(0, 0, 0, 0.15);
3019 border: 1px solid rgba(0, 0, 0, 0.15);
3020 border-radius: 4px;
3020 border-radius: 2px;
3021 -webkit-box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
3021 -webkit-box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
3022 box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
3022 box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
3023 background-clip: padding-box;
3023 background-clip: padding-box;
@@ -3248,12 +3248,12 b' input[type="button"].btn-block {'
3248 border-radius: 0;
3248 border-radius: 0;
3249 }
3249 }
3250 .btn-group-vertical > .btn:first-child:not(:last-child) {
3250 .btn-group-vertical > .btn:first-child:not(:last-child) {
3251 border-top-right-radius: 4px;
3251 border-top-right-radius: 2px;
3252 border-bottom-right-radius: 0;
3252 border-bottom-right-radius: 0;
3253 border-bottom-left-radius: 0;
3253 border-bottom-left-radius: 0;
3254 }
3254 }
3255 .btn-group-vertical > .btn:last-child:not(:first-child) {
3255 .btn-group-vertical > .btn:last-child:not(:first-child) {
3256 border-bottom-left-radius: 4px;
3256 border-bottom-left-radius: 2px;
3257 border-top-right-radius: 0;
3257 border-top-right-radius: 0;
3258 border-top-left-radius: 0;
3258 border-top-left-radius: 0;
3259 }
3259 }
@@ -3376,7 +3376,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3376 text-align: center;
3376 text-align: center;
3377 background-color: #eeeeee;
3377 background-color: #eeeeee;
3378 border: 1px solid #cccccc;
3378 border: 1px solid #cccccc;
3379 border-radius: 4px;
3379 border-radius: 2px;
3380 }
3380 }
3381 .input-group-addon.input-sm {
3381 .input-group-addon.input-sm {
3382 padding: 5px 10px;
3382 padding: 5px 10px;
@@ -3497,7 +3497,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3497 margin-right: 2px;
3497 margin-right: 2px;
3498 line-height: 1.42857143;
3498 line-height: 1.42857143;
3499 border: 1px solid transparent;
3499 border: 1px solid transparent;
3500 border-radius: 4px 4px 0 0;
3500 border-radius: 2px 2px 0 0;
3501 }
3501 }
3502 .nav-tabs > li > a:hover {
3502 .nav-tabs > li > a:hover {
3503 border-color: #eeeeee #eeeeee #dddddd;
3503 border-color: #eeeeee #eeeeee #dddddd;
@@ -3537,7 +3537,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3537 }
3537 }
3538 .nav-tabs.nav-justified > li > a {
3538 .nav-tabs.nav-justified > li > a {
3539 margin-right: 0;
3539 margin-right: 0;
3540 border-radius: 4px;
3540 border-radius: 2px;
3541 }
3541 }
3542 .nav-tabs.nav-justified > .active > a,
3542 .nav-tabs.nav-justified > .active > a,
3543 .nav-tabs.nav-justified > .active > a:hover,
3543 .nav-tabs.nav-justified > .active > a:hover,
@@ -3547,7 +3547,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3547 @media (min-width: 768px) {
3547 @media (min-width: 768px) {
3548 .nav-tabs.nav-justified > li > a {
3548 .nav-tabs.nav-justified > li > a {
3549 border-bottom: 1px solid #dddddd;
3549 border-bottom: 1px solid #dddddd;
3550 border-radius: 4px 4px 0 0;
3550 border-radius: 2px 2px 0 0;
3551 }
3551 }
3552 .nav-tabs.nav-justified > .active > a,
3552 .nav-tabs.nav-justified > .active > a,
3553 .nav-tabs.nav-justified > .active > a:hover,
3553 .nav-tabs.nav-justified > .active > a:hover,
@@ -3559,7 +3559,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3559 float: left;
3559 float: left;
3560 }
3560 }
3561 .nav-pills > li > a {
3561 .nav-pills > li > a {
3562 border-radius: 4px;
3562 border-radius: 2px;
3563 }
3563 }
3564 .nav-pills > li + li {
3564 .nav-pills > li + li {
3565 margin-left: 2px;
3565 margin-left: 2px;
@@ -3605,7 +3605,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3605 }
3605 }
3606 .nav-tabs-justified > li > a {
3606 .nav-tabs-justified > li > a {
3607 margin-right: 0;
3607 margin-right: 0;
3608 border-radius: 4px;
3608 border-radius: 2px;
3609 }
3609 }
3610 .nav-tabs-justified > .active > a,
3610 .nav-tabs-justified > .active > a,
3611 .nav-tabs-justified > .active > a:hover,
3611 .nav-tabs-justified > .active > a:hover,
@@ -3615,7 +3615,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3615 @media (min-width: 768px) {
3615 @media (min-width: 768px) {
3616 .nav-tabs-justified > li > a {
3616 .nav-tabs-justified > li > a {
3617 border-bottom: 1px solid #dddddd;
3617 border-bottom: 1px solid #dddddd;
3618 border-radius: 4px 4px 0 0;
3618 border-radius: 2px 2px 0 0;
3619 }
3619 }
3620 .nav-tabs-justified > .active > a,
3620 .nav-tabs-justified > .active > a,
3621 .nav-tabs-justified > .active > a:hover,
3621 .nav-tabs-justified > .active > a:hover,
@@ -3642,7 +3642,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3642 }
3642 }
3643 @media (min-width: 540px) {
3643 @media (min-width: 540px) {
3644 .navbar {
3644 .navbar {
3645 border-radius: 4px;
3645 border-radius: 2px;
3646 }
3646 }
3647 }
3647 }
3648 @media (min-width: 540px) {
3648 @media (min-width: 540px) {
@@ -3758,7 +3758,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
3758 background-color: transparent;
3758 background-color: transparent;
3759 background-image: none;
3759 background-image: none;
3760 border: 1px solid transparent;
3760 border: 1px solid transparent;
3761 border-radius: 4px;
3761 border-radius: 2px;
3762 }
3762 }
3763 .navbar-toggle:focus {
3763 .navbar-toggle:focus {
3764 outline: none;
3764 outline: none;
@@ -4111,7 +4111,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
4111 margin-bottom: 18px;
4111 margin-bottom: 18px;
4112 list-style: none;
4112 list-style: none;
4113 background-color: #f5f5f5;
4113 background-color: #f5f5f5;
4114 border-radius: 4px;
4114 border-radius: 2px;
4115 }
4115 }
4116 .breadcrumb > li {
4116 .breadcrumb > li {
4117 display: inline-block;
4117 display: inline-block;
@@ -4128,7 +4128,7 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
4128 display: inline-block;
4128 display: inline-block;
4129 padding-left: 0;
4129 padding-left: 0;
4130 margin: 18px 0;
4130 margin: 18px 0;
4131 border-radius: 4px;
4131 border-radius: 2px;
4132 }
4132 }
4133 .pagination > li {
4133 .pagination > li {
4134 display: inline;
4134 display: inline;
@@ -4148,13 +4148,13 b' select[multiple].input-group-sm > .input-group-btn > .btn {'
4148 .pagination > li:first-child > a,
4148 .pagination > li:first-child > a,
4149 .pagination > li:first-child > span {
4149 .pagination > li:first-child > span {
4150 margin-left: 0;
4150 margin-left: 0;
4151 border-bottom-left-radius: 4px;
4151 border-bottom-left-radius: 2px;
4152 border-top-left-radius: 4px;
4152 border-top-left-radius: 2px;
4153 }
4153 }
4154 .pagination > li:last-child > a,
4154 .pagination > li:last-child > a,
4155 .pagination > li:last-child > span {
4155 .pagination > li:last-child > span {
4156 border-bottom-right-radius: 4px;
4156 border-bottom-right-radius: 2px;
4157 border-top-right-radius: 4px;
4157 border-top-right-radius: 2px;
4158 }
4158 }
4159 .pagination > li > a:hover,
4159 .pagination > li > a:hover,
4160 .pagination > li > span:hover,
4160 .pagination > li > span:hover,
@@ -4403,7 +4403,7 b' a.list-group-item.active > .badge,'
4403 line-height: 1.42857143;
4403 line-height: 1.42857143;
4404 background-color: #ffffff;
4404 background-color: #ffffff;
4405 border: 1px solid #dddddd;
4405 border: 1px solid #dddddd;
4406 border-radius: 4px;
4406 border-radius: 2px;
4407 -webkit-transition: all 0.2s ease-in-out;
4407 -webkit-transition: all 0.2s ease-in-out;
4408 transition: all 0.2s ease-in-out;
4408 transition: all 0.2s ease-in-out;
4409 }
4409 }
@@ -4425,7 +4425,7 b' a.thumbnail.active {'
4425 padding: 15px;
4425 padding: 15px;
4426 margin-bottom: 18px;
4426 margin-bottom: 18px;
4427 border: 1px solid transparent;
4427 border: 1px solid transparent;
4428 border-radius: 4px;
4428 border-radius: 2px;
4429 }
4429 }
4430 .alert h4 {
4430 .alert h4 {
4431 margin-top: 0;
4431 margin-top: 0;
@@ -4515,7 +4515,7 b' a.thumbnail.active {'
4515 height: 18px;
4515 height: 18px;
4516 margin-bottom: 18px;
4516 margin-bottom: 18px;
4517 background-color: #f5f5f5;
4517 background-color: #f5f5f5;
4518 border-radius: 4px;
4518 border-radius: 2px;
4519 -webkit-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
4519 -webkit-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
4520 box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
4520 box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
4521 }
4521 }
@@ -4611,13 +4611,13 b' a.thumbnail.active {'
4611 border: 1px solid #dddddd;
4611 border: 1px solid #dddddd;
4612 }
4612 }
4613 .list-group-item:first-child {
4613 .list-group-item:first-child {
4614 border-top-right-radius: 4px;
4614 border-top-right-radius: 2px;
4615 border-top-left-radius: 4px;
4615 border-top-left-radius: 2px;
4616 }
4616 }
4617 .list-group-item:last-child {
4617 .list-group-item:last-child {
4618 margin-bottom: 0;
4618 margin-bottom: 0;
4619 border-bottom-right-radius: 4px;
4619 border-bottom-right-radius: 2px;
4620 border-bottom-left-radius: 4px;
4620 border-bottom-left-radius: 2px;
4621 }
4621 }
4622 .list-group-item > .badge {
4622 .list-group-item > .badge {
4623 float: right;
4623 float: right;
@@ -4754,7 +4754,7 b' a.list-group-item-danger.active:focus {'
4754 margin-bottom: 18px;
4754 margin-bottom: 18px;
4755 background-color: #ffffff;
4755 background-color: #ffffff;
4756 border: 1px solid transparent;
4756 border: 1px solid transparent;
4757 border-radius: 4px;
4757 border-radius: 2px;
4758 -webkit-box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
4758 -webkit-box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
4759 box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
4759 box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
4760 }
4760 }
@@ -4764,8 +4764,8 b' a.list-group-item-danger.active:focus {'
4764 .panel-heading {
4764 .panel-heading {
4765 padding: 10px 15px;
4765 padding: 10px 15px;
4766 border-bottom: 1px solid transparent;
4766 border-bottom: 1px solid transparent;
4767 border-top-right-radius: 3px;
4767 border-top-right-radius: 1px;
4768 border-top-left-radius: 3px;
4768 border-top-left-radius: 1px;
4769 }
4769 }
4770 .panel-heading > .dropdown .dropdown-toggle {
4770 .panel-heading > .dropdown .dropdown-toggle {
4771 color: inherit;
4771 color: inherit;
@@ -4783,8 +4783,8 b' a.list-group-item-danger.active:focus {'
4783 padding: 10px 15px;
4783 padding: 10px 15px;
4784 background-color: #f5f5f5;
4784 background-color: #f5f5f5;
4785 border-top: 1px solid #dddddd;
4785 border-top: 1px solid #dddddd;
4786 border-bottom-right-radius: 3px;
4786 border-bottom-right-radius: 1px;
4787 border-bottom-left-radius: 3px;
4787 border-bottom-left-radius: 1px;
4788 }
4788 }
4789 .panel > .list-group {
4789 .panel > .list-group {
4790 margin-bottom: 0;
4790 margin-bottom: 0;
@@ -4795,13 +4795,13 b' a.list-group-item-danger.active:focus {'
4795 }
4795 }
4796 .panel > .list-group:first-child .list-group-item:first-child {
4796 .panel > .list-group:first-child .list-group-item:first-child {
4797 border-top: 0;
4797 border-top: 0;
4798 border-top-right-radius: 3px;
4798 border-top-right-radius: 1px;
4799 border-top-left-radius: 3px;
4799 border-top-left-radius: 1px;
4800 }
4800 }
4801 .panel > .list-group:last-child .list-group-item:last-child {
4801 .panel > .list-group:last-child .list-group-item:last-child {
4802 border-bottom: 0;
4802 border-bottom: 0;
4803 border-bottom-right-radius: 3px;
4803 border-bottom-right-radius: 1px;
4804 border-bottom-left-radius: 3px;
4804 border-bottom-left-radius: 1px;
4805 }
4805 }
4806 .panel-heading + .list-group .list-group-item:first-child {
4806 .panel-heading + .list-group .list-group-item:first-child {
4807 border-top-width: 0;
4807 border-top-width: 0;
@@ -4812,8 +4812,8 b' a.list-group-item-danger.active:focus {'
4812 }
4812 }
4813 .panel > .table:first-child,
4813 .panel > .table:first-child,
4814 .panel > .table-responsive:first-child > .table:first-child {
4814 .panel > .table-responsive:first-child > .table:first-child {
4815 border-top-right-radius: 3px;
4815 border-top-right-radius: 1px;
4816 border-top-left-radius: 3px;
4816 border-top-left-radius: 1px;
4817 }
4817 }
4818 .panel > .table:first-child > thead:first-child > tr:first-child td:first-child,
4818 .panel > .table:first-child > thead:first-child > tr:first-child td:first-child,
4819 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:first-child,
4819 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:first-child,
@@ -4823,7 +4823,7 b' a.list-group-item-danger.active:focus {'
4823 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:first-child,
4823 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:first-child,
4824 .panel > .table:first-child > tbody:first-child > tr:first-child th:first-child,
4824 .panel > .table:first-child > tbody:first-child > tr:first-child th:first-child,
4825 .panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:first-child {
4825 .panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:first-child {
4826 border-top-left-radius: 3px;
4826 border-top-left-radius: 1px;
4827 }
4827 }
4828 .panel > .table:first-child > thead:first-child > tr:first-child td:last-child,
4828 .panel > .table:first-child > thead:first-child > tr:first-child td:last-child,
4829 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:last-child,
4829 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:last-child,
@@ -4833,12 +4833,12 b' a.list-group-item-danger.active:focus {'
4833 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:last-child,
4833 .panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:last-child,
4834 .panel > .table:first-child > tbody:first-child > tr:first-child th:last-child,
4834 .panel > .table:first-child > tbody:first-child > tr:first-child th:last-child,
4835 .panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:last-child {
4835 .panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:last-child {
4836 border-top-right-radius: 3px;
4836 border-top-right-radius: 1px;
4837 }
4837 }
4838 .panel > .table:last-child,
4838 .panel > .table:last-child,
4839 .panel > .table-responsive:last-child > .table:last-child {
4839 .panel > .table-responsive:last-child > .table:last-child {
4840 border-bottom-right-radius: 3px;
4840 border-bottom-right-radius: 1px;
4841 border-bottom-left-radius: 3px;
4841 border-bottom-left-radius: 1px;
4842 }
4842 }
4843 .panel > .table:last-child > tbody:last-child > tr:last-child td:first-child,
4843 .panel > .table:last-child > tbody:last-child > tr:last-child td:first-child,
4844 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:first-child,
4844 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:first-child,
@@ -4848,7 +4848,7 b' a.list-group-item-danger.active:focus {'
4848 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:first-child,
4848 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:first-child,
4849 .panel > .table:last-child > tfoot:last-child > tr:last-child th:first-child,
4849 .panel > .table:last-child > tfoot:last-child > tr:last-child th:first-child,
4850 .panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:first-child {
4850 .panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:first-child {
4851 border-bottom-left-radius: 3px;
4851 border-bottom-left-radius: 1px;
4852 }
4852 }
4853 .panel > .table:last-child > tbody:last-child > tr:last-child td:last-child,
4853 .panel > .table:last-child > tbody:last-child > tr:last-child td:last-child,
4854 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:last-child,
4854 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:last-child,
@@ -4858,7 +4858,7 b' a.list-group-item-danger.active:focus {'
4858 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:last-child,
4858 .panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:last-child,
4859 .panel > .table:last-child > tfoot:last-child > tr:last-child th:last-child,
4859 .panel > .table:last-child > tfoot:last-child > tr:last-child th:last-child,
4860 .panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:last-child {
4860 .panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:last-child {
4861 border-bottom-right-radius: 3px;
4861 border-bottom-right-radius: 1px;
4862 }
4862 }
4863 .panel > .panel-body + .table,
4863 .panel > .panel-body + .table,
4864 .panel > .panel-body + .table-responsive {
4864 .panel > .panel-body + .table-responsive {
@@ -4929,7 +4929,7 b' a.list-group-item-danger.active:focus {'
4929 }
4929 }
4930 .panel-group .panel {
4930 .panel-group .panel {
4931 margin-bottom: 0;
4931 margin-bottom: 0;
4932 border-radius: 4px;
4932 border-radius: 2px;
4933 overflow: hidden;
4933 overflow: hidden;
4934 }
4934 }
4935 .panel-group .panel + .panel {
4935 .panel-group .panel + .panel {
@@ -5037,7 +5037,7 b' a.list-group-item-danger.active:focus {'
5037 margin-bottom: 20px;
5037 margin-bottom: 20px;
5038 background-color: #f5f5f5;
5038 background-color: #f5f5f5;
5039 border: 1px solid #e3e3e3;
5039 border: 1px solid #e3e3e3;
5040 border-radius: 4px;
5040 border-radius: 2px;
5041 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
5041 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
5042 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
5042 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
5043 }
5043 }
@@ -5228,7 +5228,7 b' button.close {'
5228 text-align: center;
5228 text-align: center;
5229 text-decoration: none;
5229 text-decoration: none;
5230 background-color: #000000;
5230 background-color: #000000;
5231 border-radius: 4px;
5231 border-radius: 2px;
5232 }
5232 }
5233 .tooltip-arrow {
5233 .tooltip-arrow {
5234 position: absolute;
5234 position: absolute;
@@ -7482,7 +7482,7 b' label {'
7482 -webkit-box-sizing: border-box;
7482 -webkit-box-sizing: border-box;
7483 }
7483 }
7484 .corner-all {
7484 .corner-all {
7485 border-radius: 4px;
7485 border-radius: 2px;
7486 }
7486 }
7487 .no-padding {
7487 .no-padding {
7488 padding: 0px;
7488 padding: 0px;
@@ -7990,7 +7990,7 b' ul.breadcrumb span {'
7990 margin-top: 4px;
7990 margin-top: 4px;
7991 margin-bottom: 20px;
7991 margin-bottom: 20px;
7992 border: 1px solid #ababab;
7992 border: 1px solid #ababab;
7993 border-radius: 4px;
7993 border-radius: 2px;
7994 }
7994 }
7995 .list_container > div {
7995 .list_container > div {
7996 border-bottom: 1px solid #ababab;
7996 border-bottom: 1px solid #ababab;
@@ -8219,7 +8219,7 b' div.cell {'
8219 display: flex;
8219 display: flex;
8220 flex-direction: column;
8220 flex-direction: column;
8221 align-items: stretch;
8221 align-items: stretch;
8222 border-radius: 4px;
8222 border-radius: 2px;
8223 box-sizing: border-box;
8223 box-sizing: border-box;
8224 -moz-box-sizing: border-box;
8224 -moz-box-sizing: border-box;
8225 -webkit-box-sizing: border-box;
8225 -webkit-box-sizing: border-box;
@@ -8290,7 +8290,7 b' div.inner_cell {'
8290 /* input_area and input_prompt must match in top border and margin for alignment */
8290 /* input_area and input_prompt must match in top border and margin for alignment */
8291 div.input_area {
8291 div.input_area {
8292 border: 1px solid #cfcfcf;
8292 border: 1px solid #cfcfcf;
8293 border-radius: 4px;
8293 border-radius: 2px;
8294 background: #f7f7f7;
8294 background: #f7f7f7;
8295 line-height: 1.21429em;
8295 line-height: 1.21429em;
8296 }
8296 }
@@ -8319,7 +8319,7 b' div.unrecognized_cell {'
8319 align-items: stretch;
8319 align-items: stretch;
8320 }
8320 }
8321 div.unrecognized_cell .inner_cell {
8321 div.unrecognized_cell .inner_cell {
8322 border-radius: 4px;
8322 border-radius: 2px;
8323 padding: 5px;
8323 padding: 5px;
8324 font-weight: bold;
8324 font-weight: bold;
8325 color: red;
8325 color: red;
@@ -8433,8 +8433,8 b' div.input_area > div.highlight > pre {'
8433 padding: 0 8px 0 4px;
8433 padding: 0 8px 0 4px;
8434 }
8434 }
8435 .CodeMirror-gutters {
8435 .CodeMirror-gutters {
8436 border-bottom-left-radius: 4px;
8436 border-bottom-left-radius: 2px;
8437 border-top-left-radius: 4px;
8437 border-top-left-radius: 2px;
8438 }
8438 }
8439 .CodeMirror pre {
8439 .CodeMirror pre {
8440 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
8440 /* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
@@ -8620,7 +8620,7 b' div.output_scroll {'
8620 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
8620 /* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
8621 width: 100%;
8621 width: 100%;
8622 overflow: auto;
8622 overflow: auto;
8623 border-radius: 4px;
8623 border-radius: 2px;
8624 -webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
8624 -webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
8625 box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
8625 box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
8626 display: block;
8626 display: block;
@@ -8648,7 +8648,7 b' div.out_prompt_overlay {'
8648 height: 100%;
8648 height: 100%;
8649 padding: 0px 0.4em;
8649 padding: 0px 0.4em;
8650 position: absolute;
8650 position: absolute;
8651 border-radius: 4px;
8651 border-radius: 2px;
8652 }
8652 }
8653 div.out_prompt_overlay:hover {
8653 div.out_prompt_overlay:hover {
8654 /* use inner shadow to get border that is computed the same on WebKit/FF */
8654 /* use inner shadow to get border that is computed the same on WebKit/FF */
@@ -9139,7 +9139,7 b' h6:hover .anchor-link {'
9139 /* Slider Track */
9139 /* Slider Track */
9140 border: 1px solid #CCCCCC;
9140 border: 1px solid #CCCCCC;
9141 background: #FFFFFF;
9141 background: #FFFFFF;
9142 border-radius: 4px;
9142 border-radius: 2px;
9143 /* Round the corners of the slide track */
9143 /* Round the corners of the slide track */
9144 }
9144 }
9145 .widget-hslider {
9145 .widget-hslider {
@@ -9177,7 +9177,7 b' h6:hover .anchor-link {'
9177 /* Slider Track */
9177 /* Slider Track */
9178 border: 1px solid #CCCCCC;
9178 border: 1px solid #CCCCCC;
9179 background: #FFFFFF;
9179 background: #FFFFFF;
9180 border-radius: 4px;
9180 border-radius: 2px;
9181 /* Round the corners of the slide track */
9181 /* Round the corners of the slide track */
9182 /* Make the div a flex box (makes FF behave correctly). */
9182 /* Make the div a flex box (makes FF behave correctly). */
9183 /* Old browsers */
9183 /* Old browsers */
@@ -9244,7 +9244,7 b' h6:hover .anchor-link {'
9244 /* Slider Track */
9244 /* Slider Track */
9245 border: 1px solid #CCCCCC;
9245 border: 1px solid #CCCCCC;
9246 background: #FFFFFF;
9246 background: #FFFFFF;
9247 border-radius: 4px;
9247 border-radius: 2px;
9248 /* Round the corners of the slide track */
9248 /* Round the corners of the slide track */
9249 /* Make the div a flex box (makes FF behave correctly). */
9249 /* Make the div a flex box (makes FF behave correctly). */
9250 /* Old browsers */
9250 /* Old browsers */
@@ -9510,7 +9510,7 b' div.ui-widget-content {'
9510 pre.dialog {
9510 pre.dialog {
9511 background-color: #f7f7f7;
9511 background-color: #f7f7f7;
9512 border: 1px solid #ddd;
9512 border: 1px solid #ddd;
9513 border-radius: 4px;
9513 border-radius: 2px;
9514 padding: 0.4em;
9514 padding: 0.4em;
9515 padding-left: 2em;
9515 padding-left: 2em;
9516 }
9516 }
@@ -9550,7 +9550,7 b' p {'
9550 border: thin solid #CFCFCF;
9550 border: thin solid #CFCFCF;
9551 border-bottom: none;
9551 border-bottom: none;
9552 background: #EEE;
9552 background: #EEE;
9553 border-radius: 4px 4px 0px 0px;
9553 border-radius: 2px 2px 0px 0px;
9554 width: 100%;
9554 width: 100%;
9555 height: 29px;
9555 height: 29px;
9556 padding-right: 4px;
9556 padding-right: 4px;
@@ -9610,7 +9610,7 b' p {'
9610 background-color: #ffffff;
9610 background-color: #ffffff;
9611 background-image: none;
9611 background-image: none;
9612 border: 1px solid #cccccc;
9612 border: 1px solid #cccccc;
9613 border-radius: 4px;
9613 border-radius: 2px;
9614 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
9614 -webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
9615 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
9615 box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
9616 -webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
9616 -webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
@@ -9668,7 +9668,7 b' select[multiple].celltoolbar select {'
9668 z-index: 10;
9668 z-index: 10;
9669 overflow: hidden;
9669 overflow: hidden;
9670 border: 1px solid #ababab;
9670 border: 1px solid #ababab;
9671 border-radius: 4px;
9671 border-radius: 2px;
9672 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
9672 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
9673 box-shadow: 0px 6px 10px -1px #adadad;
9673 box-shadow: 0px 6px 10px -1px #adadad;
9674 }
9674 }
@@ -9706,7 +9706,7 b' select[multiple].celltoolbar select {'
9706 }
9706 }
9707 #menubar .navbar {
9707 #menubar .navbar {
9708 border-top: 1px;
9708 border-top: 1px;
9709 border-radius: 0px 0px 4px 4px;
9709 border-radius: 0px 0px 2px 2px;
9710 margin-bottom: 6px;
9710 margin-bottom: 6px;
9711 }
9711 }
9712 #menubar .navbar-toggle {
9712 #menubar .navbar-toggle {
@@ -10210,7 +10210,7 b' span.save_widget span.filename {'
10210 padding: 3px;
10210 padding: 3px;
10211 border: none;
10211 border: none;
10212 font-size: 146.5%;
10212 font-size: 146.5%;
10213 border-radius: 4px;
10213 border-radius: 2px;
10214 }
10214 }
10215 span.save_widget span.filename:hover {
10215 span.save_widget span.filename:hover {
10216 background-color: #e6e6e6;
10216 background-color: #e6e6e6;
@@ -10386,7 +10386,7 b' span.autosave_status {'
10386 -moz-box-shadow: 0px 6px 10px -1px #adadad;
10386 -moz-box-shadow: 0px 6px 10px -1px #adadad;
10387 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
10387 -webkit-box-shadow: 0px 6px 10px -1px #adadad;
10388 box-shadow: 0px 6px 10px -1px #adadad;
10388 box-shadow: 0px 6px 10px -1px #adadad;
10389 border-radius: 4px;
10389 border-radius: 2px;
10390 position: absolute;
10390 position: absolute;
10391 z-index: 1000;
10391 z-index: 1000;
10392 }
10392 }
@@ -10425,19 +10425,16 b' span.autosave_status {'
10425 }
10425 }
10426 .terminal {
10426 .terminal {
10427 float: left;
10427 float: left;
10428 border: black solid 5px;
10429 font-family: monospace;
10428 font-family: monospace;
10430 font-size: 11px;
10431 color: white;
10429 color: white;
10432 background: black;
10430 background: black;
10433 border-radius: 2px;
10431 border-radius: 2px;
10434 box-shadow: 0px 4px 11px 0px gray;
10432 box-shadow: 0px 4px 11px 0px gray;
10435 border: 0px;
10436 padding: 0.4em;
10433 padding: 0.4em;
10437 }
10434 }
10438 .terminal,
10435 .terminal,
10439 .terminal dummy-screen {
10436 .terminal dummy-screen {
10440 line-height: 1.21429em;
10437 line-height: 1em;
10441 font-size: 14px;
10438 font-size: 14px;
10442 }
10439 }
10443 .terminal-cursor {
10440 .terminal-cursor {
General Comments 0
You need to be logged in to leave comments. Login now