pull/37/head
Jonathan Frederic 12 years ago committed by Jonathan Frederic
parent 726c95cbff
commit 4e7832cf64

@ -24,7 +24,7 @@ label {
-webkit-box-sizing: border-box;
}
.corner-all {
border-radius: 4px;
border-radius: 2px;
}
.no-padding {
padding: 0px;
@ -349,7 +349,7 @@ div.cell {
display: flex;
flex-direction: column;
align-items: stretch;
border-radius: 4px;
border-radius: 2px;
box-sizing: border-box;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
@ -420,7 +420,7 @@ div.inner_cell {
/* input_area and input_prompt must match in top border and margin for alignment */
div.input_area {
border: 1px solid #cfcfcf;
border-radius: 4px;
border-radius: 2px;
background: #f7f7f7;
line-height: 1.21429em;
}
@ -449,7 +449,7 @@ div.unrecognized_cell {
align-items: stretch;
}
div.unrecognized_cell .inner_cell {
border-radius: 4px;
border-radius: 2px;
padding: 5px;
font-weight: bold;
color: red;
@ -563,8 +563,8 @@ div.input_area > div.highlight > pre {
padding: 0 8px 0 4px;
}
.CodeMirror-gutters {
border-bottom-left-radius: 4px;
border-top-left-radius: 4px;
border-bottom-left-radius: 2px;
border-top-left-radius: 2px;
}
.CodeMirror pre {
/* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
@ -750,7 +750,7 @@ div.output_scroll {
/* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
width: 100%;
overflow: auto;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
display: block;
@ -778,7 +778,7 @@ div.out_prompt_overlay {
height: 100%;
padding: 0px 0.4em;
position: absolute;
border-radius: 4px;
border-radius: 2px;
}
div.out_prompt_overlay:hover {
/* use inner shadow to get border that is computed the same on WebKit/FF */
@ -1269,7 +1269,7 @@ h6:hover .anchor-link {
/* Slider Track */
border: 1px solid #CCCCCC;
background: #FFFFFF;
border-radius: 4px;
border-radius: 2px;
/* Round the corners of the slide track */
}
.widget-hslider {
@ -1307,7 +1307,7 @@ h6:hover .anchor-link {
/* Slider Track */
border: 1px solid #CCCCCC;
background: #FFFFFF;
border-radius: 4px;
border-radius: 2px;
/* Round the corners of the slide track */
/* Make the div a flex box (makes FF behave correctly). */
/* Old browsers */
@ -1374,7 +1374,7 @@ h6:hover .anchor-link {
/* Slider Track */
border: 1px solid #CCCCCC;
background: #FFFFFF;
border-radius: 4px;
border-radius: 2px;
/* Round the corners of the slide track */
/* Make the div a flex box (makes FF behave correctly). */
/* Old browsers */

@ -321,7 +321,7 @@ img {
line-height: 1.42857143;
background-color: #ffffff;
border: 1px solid #dddddd;
border-radius: 4px;
border-radius: 2px;
-webkit-transition: all 0.2s ease-in-out;
transition: all 0.2s ease-in-out;
display: inline-block;
@ -695,7 +695,7 @@ code {
color: #c7254e;
background-color: #f9f2f4;
white-space: nowrap;
border-radius: 4px;
border-radius: 2px;
}
kbd {
padding: 2px 4px;
@ -716,7 +716,7 @@ pre {
color: #333333;
background-color: #f5f5f5;
border: 1px solid #cccccc;
border-radius: 4px;
border-radius: 2px;
}
pre code {
padding: 0;
@ -1696,7 +1696,7 @@ output {
background-color: #ffffff;
background-image: none;
border: 1px solid #cccccc;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
-webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
@ -2000,7 +2000,7 @@ select[multiple].input-lg {
padding: 6px 12px;
font-size: 13px;
line-height: 1.42857143;
border-radius: 4px;
border-radius: 2px;
-webkit-user-select: none;
-moz-user-select: none;
-ms-user-select: none;
@ -3017,7 +3017,7 @@ input[type="button"].btn-block {
background-color: #ffffff;
border: 1px solid #cccccc;
border: 1px solid rgba(0, 0, 0, 0.15);
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
box-shadow: 0 6px 12px rgba(0, 0, 0, 0.175);
background-clip: padding-box;
@ -3248,12 +3248,12 @@ input[type="button"].btn-block {
border-radius: 0;
}
.btn-group-vertical > .btn:first-child:not(:last-child) {
border-top-right-radius: 4px;
border-top-right-radius: 2px;
border-bottom-right-radius: 0;
border-bottom-left-radius: 0;
}
.btn-group-vertical > .btn:last-child:not(:first-child) {
border-bottom-left-radius: 4px;
border-bottom-left-radius: 2px;
border-top-right-radius: 0;
border-top-left-radius: 0;
}
@ -3376,7 +3376,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
text-align: center;
background-color: #eeeeee;
border: 1px solid #cccccc;
border-radius: 4px;
border-radius: 2px;
}
.input-group-addon.input-sm {
padding: 5px 10px;
@ -3497,7 +3497,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
margin-right: 2px;
line-height: 1.42857143;
border: 1px solid transparent;
border-radius: 4px 4px 0 0;
border-radius: 2px 2px 0 0;
}
.nav-tabs > li > a:hover {
border-color: #eeeeee #eeeeee #dddddd;
@ -3537,7 +3537,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
}
.nav-tabs.nav-justified > li > a {
margin-right: 0;
border-radius: 4px;
border-radius: 2px;
}
.nav-tabs.nav-justified > .active > a,
.nav-tabs.nav-justified > .active > a:hover,
@ -3547,7 +3547,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
@media (min-width: 768px) {
.nav-tabs.nav-justified > li > a {
border-bottom: 1px solid #dddddd;
border-radius: 4px 4px 0 0;
border-radius: 2px 2px 0 0;
}
.nav-tabs.nav-justified > .active > a,
.nav-tabs.nav-justified > .active > a:hover,
@ -3559,7 +3559,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
float: left;
}
.nav-pills > li > a {
border-radius: 4px;
border-radius: 2px;
}
.nav-pills > li + li {
margin-left: 2px;
@ -3605,7 +3605,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
}
.nav-tabs-justified > li > a {
margin-right: 0;
border-radius: 4px;
border-radius: 2px;
}
.nav-tabs-justified > .active > a,
.nav-tabs-justified > .active > a:hover,
@ -3615,7 +3615,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
@media (min-width: 768px) {
.nav-tabs-justified > li > a {
border-bottom: 1px solid #dddddd;
border-radius: 4px 4px 0 0;
border-radius: 2px 2px 0 0;
}
.nav-tabs-justified > .active > a,
.nav-tabs-justified > .active > a:hover,
@ -3642,7 +3642,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
}
@media (min-width: 540px) {
.navbar {
border-radius: 4px;
border-radius: 2px;
}
}
@media (min-width: 540px) {
@ -3758,7 +3758,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
background-color: transparent;
background-image: none;
border: 1px solid transparent;
border-radius: 4px;
border-radius: 2px;
}
.navbar-toggle:focus {
outline: none;
@ -4111,7 +4111,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
margin-bottom: 18px;
list-style: none;
background-color: #f5f5f5;
border-radius: 4px;
border-radius: 2px;
}
.breadcrumb > li {
display: inline-block;
@ -4128,7 +4128,7 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
display: inline-block;
padding-left: 0;
margin: 18px 0;
border-radius: 4px;
border-radius: 2px;
}
.pagination > li {
display: inline;
@ -4148,13 +4148,13 @@ select[multiple].input-group-sm > .input-group-btn > .btn {
.pagination > li:first-child > a,
.pagination > li:first-child > span {
margin-left: 0;
border-bottom-left-radius: 4px;
border-top-left-radius: 4px;
border-bottom-left-radius: 2px;
border-top-left-radius: 2px;
}
.pagination > li:last-child > a,
.pagination > li:last-child > span {
border-bottom-right-radius: 4px;
border-top-right-radius: 4px;
border-bottom-right-radius: 2px;
border-top-right-radius: 2px;
}
.pagination > li > a:hover,
.pagination > li > span:hover,
@ -4403,7 +4403,7 @@ a.list-group-item.active > .badge,
line-height: 1.42857143;
background-color: #ffffff;
border: 1px solid #dddddd;
border-radius: 4px;
border-radius: 2px;
-webkit-transition: all 0.2s ease-in-out;
transition: all 0.2s ease-in-out;
}
@ -4425,7 +4425,7 @@ a.thumbnail.active {
padding: 15px;
margin-bottom: 18px;
border: 1px solid transparent;
border-radius: 4px;
border-radius: 2px;
}
.alert h4 {
margin-top: 0;
@ -4515,7 +4515,7 @@ a.thumbnail.active {
height: 18px;
margin-bottom: 18px;
background-color: #f5f5f5;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
box-shadow: inset 0 1px 2px rgba(0, 0, 0, 0.1);
}
@ -4611,13 +4611,13 @@ a.thumbnail.active {
border: 1px solid #dddddd;
}
.list-group-item:first-child {
border-top-right-radius: 4px;
border-top-left-radius: 4px;
border-top-right-radius: 2px;
border-top-left-radius: 2px;
}
.list-group-item:last-child {
margin-bottom: 0;
border-bottom-right-radius: 4px;
border-bottom-left-radius: 4px;
border-bottom-right-radius: 2px;
border-bottom-left-radius: 2px;
}
.list-group-item > .badge {
float: right;
@ -4754,7 +4754,7 @@ a.list-group-item-danger.active:focus {
margin-bottom: 18px;
background-color: #ffffff;
border: 1px solid transparent;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
box-shadow: 0 1px 1px rgba(0, 0, 0, 0.05);
}
@ -4764,8 +4764,8 @@ a.list-group-item-danger.active:focus {
.panel-heading {
padding: 10px 15px;
border-bottom: 1px solid transparent;
border-top-right-radius: 3px;
border-top-left-radius: 3px;
border-top-right-radius: 1px;
border-top-left-radius: 1px;
}
.panel-heading > .dropdown .dropdown-toggle {
color: inherit;
@ -4783,8 +4783,8 @@ a.list-group-item-danger.active:focus {
padding: 10px 15px;
background-color: #f5f5f5;
border-top: 1px solid #dddddd;
border-bottom-right-radius: 3px;
border-bottom-left-radius: 3px;
border-bottom-right-radius: 1px;
border-bottom-left-radius: 1px;
}
.panel > .list-group {
margin-bottom: 0;
@ -4795,13 +4795,13 @@ a.list-group-item-danger.active:focus {
}
.panel > .list-group:first-child .list-group-item:first-child {
border-top: 0;
border-top-right-radius: 3px;
border-top-left-radius: 3px;
border-top-right-radius: 1px;
border-top-left-radius: 1px;
}
.panel > .list-group:last-child .list-group-item:last-child {
border-bottom: 0;
border-bottom-right-radius: 3px;
border-bottom-left-radius: 3px;
border-bottom-right-radius: 1px;
border-bottom-left-radius: 1px;
}
.panel-heading + .list-group .list-group-item:first-child {
border-top-width: 0;
@ -4812,8 +4812,8 @@ a.list-group-item-danger.active:focus {
}
.panel > .table:first-child,
.panel > .table-responsive:first-child > .table:first-child {
border-top-right-radius: 3px;
border-top-left-radius: 3px;
border-top-right-radius: 1px;
border-top-left-radius: 1px;
}
.panel > .table:first-child > thead:first-child > tr:first-child td:first-child,
.panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:first-child,
@ -4823,7 +4823,7 @@ a.list-group-item-danger.active:focus {
.panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:first-child,
.panel > .table:first-child > tbody:first-child > tr:first-child th:first-child,
.panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:first-child {
border-top-left-radius: 3px;
border-top-left-radius: 1px;
}
.panel > .table:first-child > thead:first-child > tr:first-child td:last-child,
.panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child td:last-child,
@ -4833,12 +4833,12 @@ a.list-group-item-danger.active:focus {
.panel > .table-responsive:first-child > .table:first-child > thead:first-child > tr:first-child th:last-child,
.panel > .table:first-child > tbody:first-child > tr:first-child th:last-child,
.panel > .table-responsive:first-child > .table:first-child > tbody:first-child > tr:first-child th:last-child {
border-top-right-radius: 3px;
border-top-right-radius: 1px;
}
.panel > .table:last-child,
.panel > .table-responsive:last-child > .table:last-child {
border-bottom-right-radius: 3px;
border-bottom-left-radius: 3px;
border-bottom-right-radius: 1px;
border-bottom-left-radius: 1px;
}
.panel > .table:last-child > tbody:last-child > tr:last-child td:first-child,
.panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:first-child,
@ -4848,7 +4848,7 @@ a.list-group-item-danger.active:focus {
.panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:first-child,
.panel > .table:last-child > tfoot:last-child > tr:last-child th:first-child,
.panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:first-child {
border-bottom-left-radius: 3px;
border-bottom-left-radius: 1px;
}
.panel > .table:last-child > tbody:last-child > tr:last-child td:last-child,
.panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child td:last-child,
@ -4858,7 +4858,7 @@ a.list-group-item-danger.active:focus {
.panel > .table-responsive:last-child > .table:last-child > tbody:last-child > tr:last-child th:last-child,
.panel > .table:last-child > tfoot:last-child > tr:last-child th:last-child,
.panel > .table-responsive:last-child > .table:last-child > tfoot:last-child > tr:last-child th:last-child {
border-bottom-right-radius: 3px;
border-bottom-right-radius: 1px;
}
.panel > .panel-body + .table,
.panel > .panel-body + .table-responsive {
@ -4929,7 +4929,7 @@ a.list-group-item-danger.active:focus {
}
.panel-group .panel {
margin-bottom: 0;
border-radius: 4px;
border-radius: 2px;
overflow: hidden;
}
.panel-group .panel + .panel {
@ -5037,7 +5037,7 @@ a.list-group-item-danger.active:focus {
margin-bottom: 20px;
background-color: #f5f5f5;
border: 1px solid #e3e3e3;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.05);
}
@ -5228,7 +5228,7 @@ button.close {
text-align: center;
text-decoration: none;
background-color: #000000;
border-radius: 4px;
border-radius: 2px;
}
.tooltip-arrow {
position: absolute;
@ -7482,7 +7482,7 @@ label {
-webkit-box-sizing: border-box;
}
.corner-all {
border-radius: 4px;
border-radius: 2px;
}
.no-padding {
padding: 0px;
@ -7990,7 +7990,7 @@ ul.breadcrumb span {
margin-top: 4px;
margin-bottom: 20px;
border: 1px solid #ababab;
border-radius: 4px;
border-radius: 2px;
}
.list_container > div {
border-bottom: 1px solid #ababab;
@ -8219,7 +8219,7 @@ div.cell {
display: flex;
flex-direction: column;
align-items: stretch;
border-radius: 4px;
border-radius: 2px;
box-sizing: border-box;
-moz-box-sizing: border-box;
-webkit-box-sizing: border-box;
@ -8290,7 +8290,7 @@ div.inner_cell {
/* input_area and input_prompt must match in top border and margin for alignment */
div.input_area {
border: 1px solid #cfcfcf;
border-radius: 4px;
border-radius: 2px;
background: #f7f7f7;
line-height: 1.21429em;
}
@ -8319,7 +8319,7 @@ div.unrecognized_cell {
align-items: stretch;
}
div.unrecognized_cell .inner_cell {
border-radius: 4px;
border-radius: 2px;
padding: 5px;
font-weight: bold;
color: red;
@ -8433,8 +8433,8 @@ div.input_area > div.highlight > pre {
padding: 0 8px 0 4px;
}
.CodeMirror-gutters {
border-bottom-left-radius: 4px;
border-top-left-radius: 4px;
border-bottom-left-radius: 2px;
border-top-left-radius: 2px;
}
.CodeMirror pre {
/* In CM3 this went to 4px from 0 in CM2. We need the 0 value because of how we size */
@ -8620,7 +8620,7 @@ div.output_scroll {
/* FF needs this *and the wrapper* to specify full width, or it will shrinkwrap */
width: 100%;
overflow: auto;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
box-shadow: inset 0 2px 8px rgba(0, 0, 0, 0.8);
display: block;
@ -8648,7 +8648,7 @@ div.out_prompt_overlay {
height: 100%;
padding: 0px 0.4em;
position: absolute;
border-radius: 4px;
border-radius: 2px;
}
div.out_prompt_overlay:hover {
/* use inner shadow to get border that is computed the same on WebKit/FF */
@ -9139,7 +9139,7 @@ h6:hover .anchor-link {
/* Slider Track */
border: 1px solid #CCCCCC;
background: #FFFFFF;
border-radius: 4px;
border-radius: 2px;
/* Round the corners of the slide track */
}
.widget-hslider {
@ -9177,7 +9177,7 @@ h6:hover .anchor-link {
/* Slider Track */
border: 1px solid #CCCCCC;
background: #FFFFFF;
border-radius: 4px;
border-radius: 2px;
/* Round the corners of the slide track */
/* Make the div a flex box (makes FF behave correctly). */
/* Old browsers */
@ -9244,7 +9244,7 @@ h6:hover .anchor-link {
/* Slider Track */
border: 1px solid #CCCCCC;
background: #FFFFFF;
border-radius: 4px;
border-radius: 2px;
/* Round the corners of the slide track */
/* Make the div a flex box (makes FF behave correctly). */
/* Old browsers */
@ -9510,7 +9510,7 @@ div.ui-widget-content {
pre.dialog {
background-color: #f7f7f7;
border: 1px solid #ddd;
border-radius: 4px;
border-radius: 2px;
padding: 0.4em;
padding-left: 2em;
}
@ -9550,7 +9550,7 @@ p {
border: thin solid #CFCFCF;
border-bottom: none;
background: #EEE;
border-radius: 4px 4px 0px 0px;
border-radius: 2px 2px 0px 0px;
width: 100%;
height: 29px;
padding-right: 4px;
@ -9610,7 +9610,7 @@ p {
background-color: #ffffff;
background-image: none;
border: 1px solid #cccccc;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
box-shadow: inset 0 1px 1px rgba(0, 0, 0, 0.075);
-webkit-transition: border-color ease-in-out .15s, box-shadow ease-in-out .15s;
@ -9668,7 +9668,7 @@ select[multiple].celltoolbar select {
z-index: 10;
overflow: hidden;
border: 1px solid #ababab;
border-radius: 4px;
border-radius: 2px;
-webkit-box-shadow: 0px 6px 10px -1px #adadad;
box-shadow: 0px 6px 10px -1px #adadad;
}
@ -9706,7 +9706,7 @@ select[multiple].celltoolbar select {
}
#menubar .navbar {
border-top: 1px;
border-radius: 0px 0px 4px 4px;
border-radius: 0px 0px 2px 2px;
margin-bottom: 6px;
}
#menubar .navbar-toggle {
@ -10210,7 +10210,7 @@ span.save_widget span.filename {
padding: 3px;
border: none;
font-size: 146.5%;
border-radius: 4px;
border-radius: 2px;
}
span.save_widget span.filename:hover {
background-color: #e6e6e6;
@ -10386,7 +10386,7 @@ span.autosave_status {
-moz-box-shadow: 0px 6px 10px -1px #adadad;
-webkit-box-shadow: 0px 6px 10px -1px #adadad;
box-shadow: 0px 6px 10px -1px #adadad;
border-radius: 4px;
border-radius: 2px;
position: absolute;
z-index: 1000;
}
@ -10425,19 +10425,16 @@ span.autosave_status {
}
.terminal {
float: left;
border: black solid 5px;
font-family: monospace;
font-size: 11px;
color: white;
background: black;
border-radius: 2px;
box-shadow: 0px 4px 11px 0px gray;
border: 0px;
padding: 0.4em;
}
.terminal,
.terminal dummy-screen {
line-height: 1.21429em;
line-height: 1em;
font-size: 14px;
}
.terminal-cursor {

Loading…
Cancel
Save