@ -1266,6 +1266,7 @@ a .icon-rotate-90:before,a .icon-rotate-180:before,a .icon-rotate-270:before,a .
. icon-weibo : before { content : "\f18a" }
. icon-renren : before { content : "\f18b" }
code { color : #000 }
pre { font-size : inherit ; line-height : inherit }
. border-box-sizing { box-sizing : border-box ; -moz- box-sizing : border-box ; -webkit- box-sizing : border-box }
. corner-all { border-radius : 4 px }
. 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 ; display : flex ; flex-direction : row ; align-items : stretch }
@ -1351,12 +1352,12 @@ div.cell.edit_mode{border-radius:4px;border:thin #008000 solid}
div . cell { width : 100 % ; padding : 5 px 5 px 5 px 0 ; margin : 0 ; outline : none }
div . prompt { min-width : 11 ex ; padding : .4 em ; margin : 0 ; font-family : monospace ; text-align : right ; line-height : 1.21429 em }
@ media ( max-width : 480px ) { div . prompt { text-align : left } } div . inner_cell { display : -webkit- box ; -webkit- box-orient : vertical ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : vertical ; -moz- box-align : stretch ; display : box ; box-orient : vertical ; box-align : stretch ; display : flex ; flex-direction : column ; align-items : stretch ; -webkit- box-flex : 1 ; -moz- box-flex : 1 ; box-flex : 1 ; flex : 1 }
div . input_area { border : 1 px solid #cfcfcf ; border-radius : 4 px ; background : #f7f7f7 }
div . input_area { border : 1 px solid #cfcfcf ; border-radius : 4 px ; background : #f7f7f7 ;line-height : 1.21429 em }
div . prompt : empty { padding-top : 0 ; padding-bottom : 0 }
div . input { page-break-inside : avoid ; 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 ; display : flex ; flex-direction : row ; align-items : stretch }
@ media ( max-width : 480px ) { div . input { display : -webkit- box ; -webkit- box-orient : vertical ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : vertical ; -moz- box-align : stretch ; display : box ; box-orient : vertical ; box-align : stretch ; display : flex ; flex-direction : column ; align-items : stretch } } div . input_prompt { color : #000080 ; border-top : 1 px solid transparent }
div . input_area > div . highlight { margin : .4 em ; border : none ; padding : 0 ; background-color : transparent }
div . input_area > div . highlight > pre { margin : 0 ; border : 0 ; padding : 0 ; background-color : transparent ; font-size : 14 px ; line-height : 1.21429 em }
div . input_area > div . highlight > pre { margin : 0 ; border : none ; padding : 0 ; background-color : transparent }
. CodeMirror { line-height : 1.21429 em ; height : auto ; background : none ; }
. CodeMirror-scroll { overflow-y : hidden ; overflow-x : auto }
@ -moz-document url-prefix ( ) { . CodeMirror-scroll { overflow-x : hidden } } . CodeMirror-lines { padding : .4 em }
@ -1394,7 +1395,7 @@ div.output_area{padding:0;page-break-inside:avoid;display:-webkit-box;-webkit-bo
div . output_area . rendered_html table { margin-left : 0 ; margin-right : 0 }
div . output_area . rendered_html img { margin-left : 0 ; margin-right : 0 }
. output { display : -webkit- box ; -webkit- box-orient : vertical ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : vertical ; -moz- box-align : stretch ; display : box ; box-orient : vertical ; box-align : stretch ; display : flex ; flex-direction : column ; align-items : stretch }
@ media ( max-width : 480px ) { div . output_area { display : -webkit- box ; -webkit- box-orient : vertical ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : vertical ; -moz- box-align : stretch ; display : box ; box-orient : vertical ; box-align : stretch ; display : flex ; flex-direction : column ; align-items : stretch } } div . output_area pre { margin : 0 ; padding : 0 ; border : 0 ; font-size: 100 % ; vertical-align: baseline ; color : #000 ; background-color : transparent ; -webkit- border-radius : 0 ; -moz- border-radius : 0 ; border-radius : 0 ; line-height : inherit }
@ media ( max-width : 480px ) { div . output_area { display : -webkit- box ; -webkit- box-orient : vertical ; -webkit- box-align : stretch ; display : -moz- box ; -moz- box-orient : vertical ; -moz- box-align : stretch ; display : box ; box-orient : vertical ; box-align : stretch ; display : flex ; flex-direction : column ; align-items : stretch } } div . output_area pre { margin : 0 ; padding : 0 ; border : 0 ; vertical-align: baseline ; color : #000 ; background-color : transparent ; border-radius : 0 ; -webkit- border-radius : 0 ; -moz- border-radius : 0 ; border-radius : 0 }
div . output_subarea { padding : .4 em .4 em 0 .4 em ; -webkit- box-flex : 1 ; -moz- box-flex : 1 ; box-flex : 1 ; flex : 1 }
div . output_text { text-align : left ; color : #000 ; line-height : 1.21429 em }
div . output_stderr { background : #fdd ; }
@ -1515,7 +1516,7 @@ ul#help_menu li a{overflow:hidden;padding-right:2.2em}ul#help_menu li a i{margin
. notification_widget { color : #777 ; padding : 1 px 12 px ; margin : 2 px 4 px ; z-index : 10 ; border : 1 px solid #ccc ; border-radius : 4 px ; background : rgba ( 240 , 240 , 240 , 0.5 ) } . notification_widget . span { padding-right : 2 px }
div # pager_splitter { height : 8 px }
# pager-container { position : relative ; padding : 15 px 0 }
div # pager { font-size : 14 px ; line-height : 20 px ; overflow : auto ; display : none } div # pager pre { font-size: 13 px ; line-height: 1.21429 em ; color : #000 ; background-color : #f7f7f7 ; padding : .4 em }
div # pager { font-size : 14 px ; line-height : 20 px ; overflow : auto ; display : none } div # pager pre { line-height: 1.21429 em ; color : #000 ; background-color : #f7f7f7 ; padding : .4 em }
. quickhelp { 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 ; display : flex ; flex-direction : row ; align-items : stretch }
. shortcut_key { display : inline-block ; width : 20 ex ; text-align : right ; font-family : monospace }
. shortcut_descr { display : inline-block ; -webkit- box-flex : 1 ; -moz- box-flex : 1 ; box-flex : 1 ; flex : 1 }