2020-01-19 13:16:40 +01:00
@ charset "UTF-8" ; body { background-color : #eee ; color : #333 ; font-family : "Times New Roman" , serif }
2018-01-20 03:05:15 +01:00
# content { padding-top : 64 px ; display : flex ; justify-content : center ; line-height : 1.4 ; flex-direction : column ; align-items : center }
2018-01-01 21:07:48 +01:00
. content-responsive { margin-left : auto ; margin-right : auto }
2018-01-20 14:41:21 +01:00
@ media ( max-width : 767px ) { . content-responsive { width : 95 % ; width : calc ( 100 % - 20 px ) ; margin-left : auto ; margin-right : auto } }
@ media ( min-width : 768px ) and ( max-width : 850px ) { . content-responsive { width : 95 % ; width : calc ( 100 % - 20 px ) ; margin-left : auto ; margin-right : auto } }
@ media ( min-width : 851px ) and ( max-width : 991px ) { . content-responsive { width : 95 % ; width : calc ( 100 % - 20 px ) ; margin-left : auto ; margin-right : auto } }
@ media ( min-width : 992px ) and ( max-width : 1199px ) { . content-responsive { width : 724 px } }
2018-01-01 21:07:48 +01:00
@ media ( min-width : 1200px ) { . content-responsive { width : 1170 px } }
2018-01-20 03:05:15 +01:00
. content-fullheight { flex-grow : 1 }
2018-01-01 21:07:48 +01:00
. contentheader { width : 100 % ; color : #333 ; font-size : large }
. contentheader h1 { font-family : Lato , "Helvetica Neue" , Helvetica , Arial , sans-serif ; font-size : 32 px ; font-weight : 900 ; margin-bottom : 0 }
@ media ( max-width : 767px ) { . contentheader h1 { font-size : 32 px } }
2019-11-08 15:15:58 +01:00
. contentheader hr { margin : 0 0 25 px 0 ; display : block ; border : 0 ; color : white ; height : 1 px ; background-color : #CCCCCC FF ; background : -moz- linear-gradient ( left , #CCCCCC FF , #FFFFFF 00 ) ; background : -webkit- linear-gradient ( left , #CCCCCC FF 0 , #FFFFFF 00 100 % ) }
2018-01-20 14:41:21 +01:00
@ media ( max-width : 991px ) {
. contentheader h1 { text-align : center ; margin-left : 10 px ; margin-right : 10 px }
2019-11-08 15:15:58 +01:00
. contentheader hr { background : -moz- radial-gradient ( circle , #CCCCCC FF , #FFFFFF 00 ) ; background : -webkit- radial-gradient ( circle , #CCCCCC FF 0 , #FFFFFF 00 100 % ) }
2018-01-20 14:41:21 +01:00
}
2018-01-01 21:07:48 +01:00
. blockcontent { display : block ; width : 100 % }
2018-01-20 03:05:15 +01:00
. generic_hidden { visibility : hidden !important }
2018-01-20 14:41:21 +01:00
. generic_collapsed { visibility : collapse !important ; display : none !important ; width : 0 !important ; height : 0 !important }
2019-11-08 15:15:58 +01:00
. boxedcontent { color : #333 ; border : 1 px solid #444 ; background : #e0e0e0 ; width : 100 % ; margin-left : auto ; margin-right : auto }
. boxedcontent . bc_header { background-color : #bbb ; color : #222 ; padding : 0 4 px }
2018-01-21 15:29:01 +01:00
. boxedcontent . bc_data { padding : 8 px }
2019-11-08 15:15:58 +01:00
. button { color : #ddd ; text-decoration : none ; background-color : #222 ; font-size : 1 rem ; border : 1 px solid black ; height : 36 px ; line-height : 36 px ; padding : 2 px 2 rem }
2018-01-21 19:07:43 +01:00
. button : hover { background-color : #555 }
2019-11-08 15:15:58 +01:00
. iconbutton { display : flex ; justify-content : center ; align-items : center ; background : #222 ; color : #ccc ; text-decoration : none ; border : 1 px solid #000 ; margin : 5 px 0 }
. iconbutton : hover { cursor : pointer ; background-color : #555 ; color : #222 }
. iconbutton svg { width : 14 pt ; height : 14 pt ; margin : 0 4 px ; fill : #ccc }
2018-01-26 21:00:50 +01:00
. iconbutton span { flex-grow : 1 ; text-align : center ; font-size : 14 pt }
2018-01-26 23:52:55 +01:00
. iconbutton_light { display : flex ; justify-content : center ; align-items : center ; background : #888 ; color : #222 ; text-decoration : none ; border : 1 px solid #000 ; margin : 5 px 0 }
2019-11-08 15:15:58 +01:00
. iconbutton_light : hover { cursor : pointer ; background-color : #555 ; color : #ccc }
. iconbutton_light svg { width : 14 pt ; height : 14 pt ; margin : 0 4 px ; fill : #222 }
2018-01-26 23:52:55 +01:00
. iconbutton_light span { flex-grow : 1 ; text-align : center ; font-size : 14 pt }
2018-01-27 00:28:32 +01:00
. stripedtable_container { overflow-x : auto }
. stripedtable { border-collapse : collapse ; text-align : left ; width : 100 % ; border : 1 px solid #666 }
. stripedtable td , . stripedtable th { padding : 3 px 10 px }
. stripedtable thead th { background-color : #7d7d7d ; color : #fff ; font-weight : bold ; border-left : 1 px solid #444 }
. stripedtable thead th : first-child { border : 0 }
. stripedtable tbody td { border-left : 1 px solid #666 ; font-weight : normal }
. stripedtable tbody td : first-child { border-left : 0 }
. stripedtable tbody tr : last-child td { border-bottom : 0 }
. stripedtable tbody tr : nth-child ( odd ) { background-color : #ccc }
2019-11-08 15:15:58 +01:00
. stripedtable tbody tr : nth-child ( even ) { background-color : #e0e0e0 }
. imgcarousel_parent { display : flex ; flex-direction : row ; align-content : center ; justify-content : center ; padding : 5 px }
2018-02-09 22:59:02 +01:00
. imgcarousel_content { background-size : contain ; background-position : center ; background-repeat : no-repeat ; height : 100 % ; width : 100 % ; display : flex }
. imgcarousel_content video { object-fit : contain ; width : 100 % ; height : auto ; max-height : 100 % ; align-self : center }
2018-01-28 01:29:25 +01:00
. imgcarousel_prev , . imgcarousel_next { display : flex ; flex-direction : column ; justify-content : center }
. imgcarousel_prev { margin-right : 5 px }
. imgcarousel_next { margin-left : 5 px }
2018-02-09 22:59:02 +01:00
. imgcarousel_next , . imgcarousel_prev { outline : 0 }
2019-11-08 15:15:58 +01:00
. imgcarousel_prev svg { width : 48 px ; height : 48 px ; border : 1 px solid black ; background : #333 ; fill : #ddd }
. imgcarousel_next svg { width : 48 px ; height : 48 px ; border : 1 px solid black ; background : #333 ; fill : #ddd }
. imgcarousel_prev : hover svg { background : #000 ; fill : #fff ; cursor : pointer }
. imgcarousel_next : hover svg { background : #000 ; fill : #fff ; cursor : pointer }
2019-11-08 16:09:42 +01:00
@ media ( max-width : 767px ) {
. pagination { flex-direction : column }
. pag20 { flex-direction : column }
. pag10 { flex-direction : column }
. pag05 { flex-direction : row }
}
@ media ( min-width : 768px ) and ( max-width : 850px ) {
. pagination { flex-direction : column }
. pag20 { flex-direction : column }
. pag10 { flex-direction : row }
. pag05 { flex-direction : row }
}
@ media ( min-width : 851px ) and ( max-width : 991px ) {
. pagination { flex-direction : column }
. pag20 { flex-direction : column }
. pag10 { flex-direction : row }
. pag05 { flex-direction : row }
}
@ media ( min-width : 992px ) and ( max-width : 1199px ) {
. pagination { flex-direction : column }
. pag20 { flex-direction : column }
. pag10 { flex-direction : row }
. pag05 { flex-direction : row }
}
@ media ( min-width : 1200px ) {
. pagination { flex-direction : column }
. pag20 { flex-direction : row }
. pag10 { flex-direction : row }
. pag05 { flex-direction : row }
}
. pagination { display : flex }
. pagination . pagAny { display : flex ; align-self : center }
. pagination . pag20 { display : flex ; align-self : center }
. pagination . pag10 { display : flex }
. pagination . pag05 { display : flex ; margin : 4 px 0 }
. pagination . pagbtn { display : block ; text-decoration : none ; min-width : 1.8 em ; padding : 0 5 px ; margin : 0 4 px ; border-radius : 2 px ; text-align : center ; color : #000 ; background : #aaa ; border : 1 px solid #777 }
. pagination . pagAny . pagbtn { margin : 4 px }
. pagination . pagbtn_disabled { color : #888 ; background : #bbb ; border : 1 px solid #777 }
. pagination . pagbtn . pagbtn_disabled : hover { border : 1 px solid #777 }
. pagination . pagbtn_active { color : #000 ; background : #666 ; border : 1 px solid #000 }
. pagination . pagbtn : hover { border : 1 px solid #000 }
2018-01-01 21:07:48 +01:00
# headerdiv { z-index : 999 ; background-color : #333 ; display : flex ; border-bottom : 1 px solid #111 ; box-shadow : 0 0 8 px #000 ; position : fixed ; width : 100 % }
# headerdiv . logowrapper { flex : initial ; margin : 0 ; padding : 0 ; height : 42 px }
2018-01-27 18:13:38 +01:00
# headerdiv . logowrapper a { cursor : default }
2018-01-21 19:35:49 +01:00
# headerdiv . logowrapper . logo { min-width : 197.5 px ; height : 30 px ; margin : 4 px 0 8 px 6 px ; flex : initial }
2018-01-01 21:07:48 +01:00
# headerdiv . tabrow { display : flex ; flex : auto }
# headerdiv . tabrow . tab { display : flex ; justify-content : center ; align-items : center ; background-color : #222 ; color : #CCC ; border-left : 1 px solid #000 ; border-right : 1 px solid #000 ; font-weight : bold ; text-decoration : none ; margin : 0 0 0 20 px ; padding : 2 px 5 px ; min-width : 64 px ; text-align : center ; flex : initial }
# headerdiv . tabrow . tab : hover { cursor : pointer ; background-color : #555 }
2018-01-20 03:05:15 +01:00
# headerdiv . tabrow . tab_active { background-color : #422 }
2018-01-27 14:21:34 +01:00
# headerdiv . tabrow . tab_admin { background-color : #224 }
2018-01-01 21:07:48 +01:00
# headerdiv . tabrow . tab_split { flex : auto }
# headerdiv . tabrow . tab_github { background-color : #4078c0 ; border-left : 1 px solid #111 ; border-right : 0 ; color : black }
# headerdiv . tabrow . tab_github : hover { background-color : #c9510c ; color : black }
2019-11-08 15:15:58 +01:00
# headerdiv . tabrow . tab_logout { background-color : #a00 ; border-left : 1 px solid #111 ; border-right : 0 ; color : black ; min-width : 38 px }
2018-01-21 19:35:49 +01:00
# headerdiv . tabrow . tab_logout : hover { background-color : #c9510c ; color : black }
2018-01-01 21:07:48 +01:00
@ media ( max-width : 850px ) {
# headerdiv { position : static ; flex-direction : column }
# headerdiv . logowrapper { display : flex ; align-items : center ; justify-content : center }
# headerdiv . tabrow { flex-direction : column }
# headerdiv . tabrow . tab { border : 1 px solid #000 ; font-weight : bold ; margin : 5 px 10 px }
# content { padding-top : 0 }
}
html , body { margin : 0 ; padding : 0 ; height : 100 % }
2018-01-20 03:05:15 +01:00
# mastercontainer { display : flex ; flex-direction : column ; min-height : 100 % ; position : relative }
2018-01-01 21:07:48 +01:00
# content { padding-bottom : 60 px }
2019-11-08 15:15:58 +01:00
# footerdiv { position : absolute ; bottom : 0 ; width : 100 % ; height : 60 px ; text-align : center ; color : #ccc ; left : 0 ; right : 0 ; margin : 0 auto }
2018-01-01 21:07:48 +01:00
@ media ( max-width : 767px ) { # footerdiv { width : auto } }
2018-01-20 14:41:21 +01:00
@ media ( min-width : 768px ) and ( max-width : 850px ) { # footerdiv { width : auto } }
@ media ( min-width : 851px ) and ( max-width : 991px ) { # footerdiv { width : auto } }
@ media ( min-width : 992px ) and ( max-width : 1199px ) { # footerdiv { width : 724 px } }
2018-01-01 21:07:48 +01:00
@ media ( min-width : 1200px ) { # footerdiv { width : 1170 px } }
2019-11-08 15:15:58 +01:00
# footerdiv hr { margin-bottom : 5 px ; display : block ; border : 0 ; color : white ; height : 1 px ; background : #ccc ; background : -webkit- gradient ( radial , 50 % 50 % , 0 , 50 % 50 % , 350 , from ( #CCCCCC FF ) , to ( #FFFFFF 00 ) ) }
2018-01-20 03:05:15 +01:00
@ media ( max-width : 850px ) { # footerdiv . footerspan2 { display : none ; visibility : collapse } }
2019-11-08 15:15:58 +01:00
. index_pnl_base { display : inline-flex ; flex-direction : column ; border : 1 px solid #444 ; margin : 15 px ; width : 652 px }
. index_pnl_header { display : flex ; align-items : center ; justify-content : center ; padding : 4 px ; background : #bbb }
2018-01-26 19:19:56 +01:00
. index_pnl_header a { color : #222 ; text-decoration : none ; font-family : Lato , "Helvetica Neue" , Helvetica , Arial , sans-serif ; font-size : 22 px ; font-weight : 900 }
@ media ( max-width : 850px ) { . index_pnl_header a { font-size : 16 px } }
. index_pnl_header a : hover { text-decoration : underline }
2019-11-08 15:15:58 +01:00
. index_pnl_content { display : flex ; flex-direction : column ; background : #e0e0e0 ; padding : 6 px }
2018-01-26 19:19:56 +01:00
@ media ( max-width : 850px ) { . index_pnl_base { width : 330 px } }
2018-01-28 01:29:25 +01:00
. aboutcontent { display : block ; width : 100 % }
. aboutcontent . boxedcontent { margin-bottom : 20 px }
2019-12-28 22:42:25 +01:00
. about_egg_container { display : flex ; flex-direction : column ; align-items : center }
2018-01-28 01:29:25 +01:00
. git_list { display : inline-block ; width : 715 px ; height : 115 px ; overflow : visible }
@ media ( max-width : 991px ) {
. git_list { width : 100 % ; height : auto }
. extGitGraphContainer { width : 95 % ; width : calc ( 100 % - 16 px ) }
}
. git_list text . caption { font-size : 10 px ; fill : #666 }
. git_list text . caption_month { font-size : 8 px ; fill : #BBB }
. git_list text . caption_day { font-size : 8 px ; fill : #BBB }
2019-11-03 16:04:33 +01:00
. svg-tip : after { box-sizing : border-box ; position : absolute ; left : 50 % ; height : 5 px ; width : 5 px ; bottom : -10 px ; margin : 0 0 0 -5 px ; content : " " ; border : 5 px solid transparent ; border-top-color : rgba ( 0 , 0 , 0 , 0.8 ) ; border-image : none }
2018-01-28 01:29:25 +01:00
. svg-tip { padding : 5 px ; background : none repeat scroll 0 0 rgba ( 0 , 0 , 0 , 0.8 ) ; color : #BBB ; font-size : 12 px ; position : absolute ; z-index : 99999 ; text-align : center ; border-radius : 3 px ; box-sizing : border-box ; opacity : 0 }
. extGitGraphContainer { background-color : #fcfcfc ; margin : 10 px ; display : inline-block ; border : 1 px solid #222 ; border-radius : 0 ; box-shadow : 0 0 1 px rgba ( 0 , 0 , 0 , 0.25 ) inset }
. egg_footer { margin-top : 5 px ; text-align : right ; margin-right : 5 px ; margin-bottom : 5 px ; color : #888 }
. egg_footer > a { text-decoration : none ; color : inherit }
. egg_footer > a : hover { text-decoration : none ; color : #22F }
. about_circles { display : flex ; flex-direction : column }
. about_circles a { margin : 5 px 0 }
. about_circles . iconbutton_light span { text-align : left }
2019-12-28 15:44:21 +01:00
. egg_col_x5_0 { fill : #eee }
. egg_col_x5_1 { fill : #6bcdff }
. egg_col_x5_2 { fill : #00a1f3 }
. egg_col_x5_3 { fill : #0079b7 }
. egg_col_x5_4 { fill : #003958 }
2018-01-28 01:29:25 +01:00
. admincontent { display : block ; width : 100 % }
. admincontent . boxedcontent { margin-bottom : 20 px }
2019-12-28 22:42:25 +01:00
. egg_ajaxOutput { display : flex ; box-sizing : border-box ; width : 100 % ; align-self : center ; margin-left : auto ; margin-right : auto ; resize : none ; height : 300 px }
2018-01-28 01:29:25 +01:00
. keyvaluelist { display : flex ; flex-direction : column }
. keyvaluelist div { display : flex ; flex-direction : row }
. keyvaluelist div span { align-self : center }
2019-12-28 23:52:19 +01:00
. keyvaluelist div span : first-child { font-weight : bold ; min-width : 500 px ; align-self : start }
2018-01-28 01:29:25 +01:00
. kvl_100 div span : first-child { min-width : 100 px }
. kvl_200 div span : first-child { min-width : 200 px }
. kvl_300 div span : first-child { min-width : 300 px }
2020-01-20 18:00:30 +01:00
. consistency_result { width : 500 px ; color : #222 ; border : 1 px solid #888 ; padding : 0 5 px ; margin : 1 px 0 }
2020-01-19 13:16:40 +01:00
. consistency_result : after { content : " }
2019-11-08 15:15:58 +01:00
. consistency_result_ok { background : #0f0 }
. consistency_result_warn { background : #ff0 }
. consistency_result_err { background : red }
2020-01-19 01:22:06 +01:00
. consistency_result_intermed { background : #eee }
. consistency_result_running { background : #ddd ; border : 1 px solid #000 }
2019-11-08 15:15:58 +01:00
. admincontent . boxedcontent hr { width : 95 % ; height : 1 px ; border : 0 ; color : #FFFFFF 00 ; background : -moz- radial-gradient ( circle , rgba ( 0 , 0 , 0 , 0.1 ) , rgba ( 0 , 0 , 0 , 0 ) ) ; background : -webkit- radial-gradient ( circle , rgba ( 0 , 0 , 0 , 0.1 ) 0 , rgba ( 0 , 0 , 0 , 0 ) 100 % ) }
2020-01-17 01:28:34 +01:00
. admindberr { color : #b22 }
2020-01-19 01:22:06 +01:00
. boxedcontent . alertbox { background-color : #f44 ; color : #222 ; border : 1 px solid #a44 ; font-weight : bold ; text-align : center }
. boxedcontent . alertbox . bc_data { padding-top : 2 px ; padding-bottom : 2 px }
. boxedcontent . warnbox { background-color : #ffa726 ; color : #333 ; border : 1 px solid #444 ; font-weight : bold ; text-align : center }
. boxedcontent . warnbox . bc_data { padding-top : 2 px ; padding-bottom : 2 px }
. boxedcontent . graybox { background-color : #888 ; color : #222 ; border : 1 px solid #444 ; font-weight : bold ; text-align : center }
. boxedcontent . graybox . bc_data { padding-top : 2 px ; padding-bottom : 2 px }
. boxedcontent . successbox { background-color : #168b00 ; color : #222 ; border : 1 px solid #444 ; font-weight : bold ; text-align : center }
. boxedcontent . successbox . bc_data { padding-top : 2 px ; padding-bottom : 2 px }
2018-01-28 01:29:25 +01:00
# loginform div { display : flex ; flex-direction : column }
# loginform div button { margin : 10 px 0 ; padding : 0 }
2019-11-08 15:15:58 +01:00
. loginerror { display : flex ; background : #f44 ; color : #222 ; border : 1 px solid #a44 ; border-radius : 2 px ; font-weight : bold ; padding : 0 5 px ; margin : 5 px 0 20 px 0 }
2018-01-01 21:07:48 +01:00
. bloglistelem_container { display : flex ; align-items : center ; flex-direction : column }
2019-11-08 15:15:58 +01:00
. bloglistelem { width : 100 % ; border : 1 px solid #444 ; margin : 10 px 5 px ; color : #333 ; text-decoration : none }
. ble_blog { background-color : #bbb }
. ble_log { background-color : #e0e0e0 }
. ble_blog . ble_date { background-color : #999 ; color : #222 }
. ble_log . ble_date { background-color : #bbb ; color : #222 }
. ble_blog { color : #333 }
2018-01-20 03:05:15 +01:00
. ble_log { color : #555 }
2019-11-08 15:15:58 +01:00
. bloglistelem : hover { border : solid 1 px #000 }
. ble_blog : hover { background-color : #fff ; color : #000 }
. ble_log : hover { background-color : #fff ; color : #000 }
. ble_blog : hover . ble_date { background-color : #fff ; color : #000 ; border-bottom : 1 px solid #000 }
. ble_log : hover . ble_date { background-color : #fff ; color : #000 ; border-bottom : 1 px solid #000 }
. ble_date { border-bottom : 1 px solid transparent ; padding : 2 px ; font-size : .8 em ; font-style : italic }
2018-01-01 21:07:48 +01:00
. ble_title { font-weight : bold ; font-size : 1.2 em ; text-align : left ; margin : 2 px 0 2 px 10 px }
@ media ( max-width : 767px ) { . ble_title { font-size : 1.25 em } }
2018-01-20 03:05:15 +01:00
. base_markdown code { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; direction : ltr ; text-align : left ; white-space : pre ; word-spacing : normal ; word-break : normal ; -moz- tab-size : 4 ; tab-size : 4 ; -webkit- hyphens : none ; -moz- hyphens : none ; -ms- hyphens : none ; hyphens : none }
2019-11-08 15:15:58 +01:00
. base_markdown pre { font-size : 14 px ; display : block ; padding : 9.5 px ; margin : 0 0 10 px ; line-height : 20 px ; word-break : break-all ; word-wrap : break-word ; white-space : pre-wrap ; background-color : #f8f8f8 ; color : #000 ; border : 1 px solid rgba ( 0 , 0 , 0 , 0.15 ) ; border-radius : 2 px }
. base_markdown blockquote { padding : 0 0 0 15 px ; margin : 0 0 20 px ; border-left : 5 px solid #ccc }
2018-01-20 03:05:15 +01:00
. base_markdown img { max-width : 100 % }
2018-01-01 21:07:48 +01:00
. mdtable_container { overflow-x : auto }
2018-01-01 23:03:05 +01:00
. notable { width : unset !important ; border : none !important }
. notable th , . notable td , . notable tr { border : none !important ; background : transparent !important }
2018-01-21 15:29:01 +01:00
. blogcontent_euler , . blogcontent_markdown , . blogcontent_plain { width : 90 % }
2018-01-26 19:19:56 +01:00
# PEB_tableProblems . PEB_tablerowProblems : hover { background-color : #999 }
2018-01-01 21:07:48 +01:00
# PEB_tableProblems . PEB_TC_Value { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace }
# PEB_tableProblems . PEB_TC_Value : not ( : hover ) { color : transparent ; -o- transition : .5 s ; -ms- transition : .5 s ; -moz- transition : .5 s ; -webkit- transition : .5 s ; transition : .5 s }
2019-11-08 15:15:58 +01:00
# PEB_tableProblems . PEB_TC_Value : hover { color : #222 ; -o- transition : .5 s ; -ms- transition : .5 s ; -moz- transition : .5 s ; -webkit- transition : .5 s ; transition : .5 s }
2018-01-01 21:07:48 +01:00
# PEB_tableProblems . PEB_TC_Time { border-radius : 1 px ; display : inline-block ; padding : 1 px 6 px ; min-width : 60 px }
2019-11-08 15:15:58 +01:00
# PEB_tableProblems . PEB_TC_Timelevel_0 { background-color : #0a0 !important }
2018-01-01 21:07:48 +01:00
# PEB_tableProblems . PEB_TC_Timelevel_1 { background-color : #84ff0a !important }
2019-11-08 15:15:58 +01:00
# PEB_tableProblems . PEB_TC_Timelevel_2 { background-color : #ff0 !important }
# PEB_tableProblems . PEB_TC_Timelevel_3 { background-color : #f60 !important }
# PEB_tableProblems . PEB_TC_Timelevel_4 { background-color : #f11 !important }
2018-01-01 21:07:48 +01:00
# PEB_tableProblems . PEB_TC_Size { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace }
2019-11-08 15:15:58 +01:00
# PEB_tableProblems . PEB_TC_Size_93 , # PEB_tableProblems . PEB_TC_Size_98 { min-width : 7 ch }
2018-12-22 21:46:30 +01:00
# PEB_tableProblems . PEB_TC_Size_93 { float : right ; font-family : "Times New Roman" , serif ; border-radius : 1 px ; background-color : #0A0 ; display : inline-block ; padding : 1 px 6 px }
# PEB_tableProblems . PEB_TC_Size_98 { float : right ; font-family : "Times New Roman" , serif ; border-radius : 1 px ; background-color : #FF0 ; display : inline-block ; padding : 1 px 6 px }
2019-11-08 15:15:58 +01:00
# PEB_tableProblems a { color : #222 ; display : block ; text-decoration : none }
2018-01-01 21:07:48 +01:00
# PEB_tableProblems . PEB_TC_Title a { text-decoration : underline }
@ media ( max-width : 1199px ) { # PEB_tableProblems tr td : nth-child ( 1 ) , # PEB_tableProblems tr th : nth-child ( 1 ) { display : none } }
@ media ( max-width : 767px ) {
# PEB_tableProblems tr td : nth-child ( 1 ) , # PEB_tableProblems tr th : nth-child ( 1 ) { display : none }
# PEB_tableProblems tr td : nth-child ( 3 ) , # PEB_tableProblems tr th : nth-child ( 3 ) { display : none }
# PEB_tableProblems tr td : nth-child ( 4 ) , # PEB_tableProblems tr th : nth-child ( 4 ) { display : none }
}
2019-11-08 15:15:58 +01:00
. bce_description , . bce_explanation { background : #eee ; color : #333 ; border : 1 px solid rgba ( 0 , 0 , 0 , 0.15 ) ; padding : 0 5 px }
2019-11-03 00:06:25 +01:00
. aoc_calendar_parent { display : flex ; justify-content : center ; margin-top : 1 em ; padding-bottom : 1.5 em }
2019-11-08 16:09:42 +01:00
. aoc_calendar_header { display : flex ; flex-direction : row ; justify-content : space-between ; margin-bottom : .5 em ; background : #888 }
2019-11-03 00:06:25 +01:00
. aoc_calendar_header_link { display : flex ; color : #000 ; text-decoration : none }
. aoc_calendar_header_title { flex-grow : 0 ; display : flex ; color : #000 ; font-family : Lato , "Helvetica Neue" , Helvetica , Arial , sans-serif ; font-weight : bold }
2020-01-06 21:58:09 +01:00
. aoc_calendar_header_title a { color : #000 ; font-family : Lato , "Helvetica Neue" , Helvetica , Arial , sans-serif ; text-decoration : none }
2019-11-03 00:06:25 +01:00
. aoc_calendar_header_link . aoc_prev { flex-grow : 0 ; padding-left : .5 em }
. aoc_calendar_header_link . aoc_next { flex-grow : 0 ; padding-right : .5 em }
. aoc_calendar_header_link . aoc_link_hidden { visibility : hidden }
2019-11-08 16:09:42 +01:00
. aoc_calendar { display : flex ; flex-direction : column ; background : #aaa ; font-size : xx-large ; font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; border : 1 px solid #333 ; padding-bottom : .5 em }
2019-11-03 00:06:25 +01:00
. aoc_calendar_row { display : flex ; flex-direction : row ; justify-content : center ; margin-left : .5 em ; margin-right : .5 em }
. aoc_calendar_field { display : flex ; align-items : center ; justify-content : center ; width : 2 em ; height : 2 em ; margin : 4 px ; text-decoration : none ; font-weight : bold }
2019-11-08 16:09:42 +01:00
. aoc_calendar_field . aoc_enabled { background : #2d4e3b ; color : #bb2528 ; border : 1 px solid #fff ; text-shadow : 0 0 .2 em #222 ; font-weight : bold }
2019-11-03 00:06:25 +01:00
. aoc_calendar_field . aoc_enabled : hover { background : #165b00 ; color : #bb2528 ; border : 1 px solid #bb2528 ; text-shadow : 0 0 0 #000 }
. aoc_calendar_field . aoc_disabled { background : #444 ; color : #888 ; border : 1 px solid #888 ; cursor : default ; font-weight : normal }
2019-11-08 16:09:42 +01:00
. bc_aoc_description_parent { background-color : #333 ; color : #ddd }
. bc_aoc_description { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; padding : 1 ch ; max-width : 82 ch }
. bc_aoc_input { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; border : 1 px solid #333 ; padding : 1 em ; max-height : 150 px ; overflow-y : scroll ; background : #f8f8f8 ; color : #000 }
. bc_aoc_solution_parent { border : 1 px solid #333 }
2019-11-03 15:33:23 +01:00
. bc_aoc_solution_code { padding : 0 }
2019-11-08 16:09:42 +01:00
. bc_aoc_solution_code pre { margin : 0 !important ; border : 0 }
. bc_aoc_solution_value { background : #888 ; color : #000 }
2018-01-20 03:05:15 +01:00
. prgl_parent { display : flex ; flex-direction : column }
2018-01-20 14:41:21 +01:00
@ media ( max-width : 850px ) { . prgl_parent { align-items : center } }
2019-11-08 15:15:58 +01:00
. prgl_elem { display : flex ; flex-direction : row ; text-decoration : none ; background : #bbb ; border : 1 px solid #444 ; color : #333 ; margin : 5 px 0 }
. prgl_elem : hover { background : #fff ; color : #000 ; border : solid 1 px #000 }
. prgl_elem : hover . prgl_elem_sdesc { color : #000 }
. prgl_elem : hover . prgl_elem_subinfo_caption { color : #000 }
. prgl_elem : hover . prgl_elem_subinfo_data { color : #000 }
2018-01-27 18:13:38 +01:00
. prgl_elem : hover . prgl_elem_left img { filter : grayscale ( 100 % ) }
2018-01-20 03:05:15 +01:00
. prgl_elem_left { padding : 4 px ; display : flex }
2018-01-28 14:23:12 +01:00
. prgl_elem_left img { width : 250 px ; height : auto ; min-height : 100 px }
2018-01-20 03:05:15 +01:00
. prgl_elem_right { display : flex ; flex-direction : column ; flex-grow : 1 }
2019-11-08 15:15:58 +01:00
. prgl_elem_title { color : #333 ; font-size : 40 pt ; font-weight : bolder ; flex-grow : 1 ; display : flex ; justify-content : center ; align-items : center }
2018-01-20 03:05:15 +01:00
. prgl_elem_sdesc { color : #555 ; font-size : 14 pt ; flex-grow : 1 ; margin-bottom : 20 px ; margin-left : 10 px ; margin-right : 10 px ; display : flex ; justify-content : center ; align-items : center }
. prgl_elem_info { display : flex ; flex-direction : row }
. prgl_elem_subinfo { flex : 1 ; display : flex ; flex-direction : row }
2019-11-08 15:15:58 +01:00
. prgl_elem_subinfo_caption { color : #333 ; font-weight : bold ; margin : 0 5 px 0 10 px }
2018-01-20 03:05:15 +01:00
. prgl_elem_subinfo_data { color : #555 ; display : flex ; flex-direction : row ; align-items : center ; height : 100 % }
. prgl_elem_subinfo_data img { display : inline ; height : 13 pt ; margin : 1 px 2 px 0 2 px }
@ media ( max-width : 1199px ) {
. prgl_elem_title { font-size : 22 pt }
. prgl_elem_subinfo { flex-direction : column }
. prgl_elem_subinfo_data { justify-content : center }
. prgl_elem_subinfo_caption { text-align : center }
. prgl_elem_sdesc { font-size : 12 pt ; margin-bottom : 10 px }
}
@ media ( max-width : 850px ) {
. prgl_elem { flex-direction : column ; width : 350 px }
2018-01-28 14:23:12 +01:00
. prgl_elem_left img { width : 100 % ; height : 100 % }
2018-01-20 03:05:15 +01:00
. prgl_elem_title { font-size : 24 pt ; word-wrap : break-word ; text-align : center }
. prgl_elem_left { justify-content : center }
. prgl_elem_info { flex-direction : column ; margin : 8 px 0 8 px 8 px }
. prgl_elem_subinfo { flex-direction : row }
. prgl_elem_sdesc { display : none ; visibility : hidden }
}
2019-11-08 15:15:58 +01:00
. prgv_content { display : flex ; flex-direction : column ; color : #333 ; border : 1 px solid #444 ; background-color : #e0e0e0 ; width : 100 % ; margin-left : auto ; margin-right : auto }
2018-01-20 03:05:15 +01:00
# prgv_header h1 { font-size : 48 pt ; text-align : center ; margin-top : 5 px }
2019-11-08 15:15:58 +01:00
# prgv_header hr { background : -moz- radial-gradient ( circle , #CCCCCC FF , #FFFFFF 00 ) ; background : -webkit- radial-gradient ( circle , #CCCCCC FF 0 , #FFFFFF 00 100 % ) }
2018-01-20 03:05:15 +01:00
. prgv_top { display : flex ; flex-direction : row ; margin-top : 15 px }
2019-11-08 15:15:58 +01:00
. prgv_left { display : inline-flex ; justify-content : center ; border : 1 px solid #333 ; flex-grow : 1 ; margin-left : 10 px ; margin-top : auto ; margin-bottom : auto }
2018-01-28 14:23:12 +01:00
. prgv_left img { height : 100 % ; width : 100 % ; object-fit : contain }
2019-11-08 15:15:58 +01:00
. prgv_right { background : #aaa ; border : 1 px solid #333 ; color : #222 ; margin : 0 10 px ; padding : 8 px 5 px 2 px 5 px ; min-height : 250 px ; min-width : 235 px ; display : grid ; grid-template-columns : auto 1 fr ; grid-template-rows : auto auto auto auto auto auto 1 fr auto ; grid-column-gap : 15 px ; grid-row-gap : 2 px }
2018-01-20 03:05:15 +01:00
. prgv_right_key { font-weight : bold }
2019-11-08 15:15:58 +01:00
. prgv_right_value a { color : #222 ; text-decoration : none }
2018-01-20 03:05:15 +01:00
. prgv_right_value a : hover { color : #339 ; text-decoration : none }
. prgv_right_comb { grid-column : 1 / span 2 }
2018-02-03 19:00:39 +01:00
. prgv_right_lang { display : flex ; justify-content : flex-end }
2018-01-20 03:05:15 +01:00
. prgv_dl_download { background : #422 }
. prgv_dl_github { background : #4078c0 }
. prgv_right_lang img { display : inline ; height : 16 pt ; max-width : 32 px ; margin : 1 px 2 px 0 2 px }
2019-11-08 15:15:58 +01:00
. prgv_center { margin : 0 8 px 8 px 8 px ; padding : 16 px ; background : #eee ; color : #333 ; border : 1 px solid rgba ( 0 , 0 , 0 , 0.15 ) }
. prgv_sep { margin : 40 px 0 40 px 0 ; display : block ; border : 0 ; color : white ; height : 1 px ; background-color : #CCCCCC FF ; background : -moz- radial-gradient ( circle , #CCCCCC FF , #FFFFFF 00 ) ; background : -webkit- radial-gradient ( circle , #CCCCCC FF 0 , #FFFFFF 00 100 % ) }
2018-01-20 14:41:21 +01:00
@ media ( max-width : 991px ) { . prgv_content { border : 0 } }
@ media ( max-width : 767px ) {
. prgv_top { flex-direction : column ; margin-top : 0 }
. prgv_left { margin : 0 10 px 10 px 10 px }
. prgv_right { min-height : 0 ; min-width : 0 }
. prgv_right_lang { justify-content : space - evenly }
# prgv_header h1 { font-size : 28 pt }
}
2019-11-08 15:15:58 +01:00
. progv_extra { height : 500 px ; border : 1 px solid #333 ; background : #aaa ; margin : 10 px }
. booklst_entry { display : flex ; flex-direction : row ; text-decoration : none ; background : #bbb ; border : 1 px solid #444 ; color : #333 ; margin : 5 px 0 }
. booklst_entry : hover { background : #fff ; color : #000 ; border : solid 1 px #000 }
. booklst_entry : hover . booklst_date { color : #000 }
. booklst_entry : hover . booklst_title { color : #000 }
2018-01-27 18:13:38 +01:00
. booklst_entry : hover . booklst_left img { filter : grayscale ( 100 % ) }
2019-11-08 15:15:58 +01:00
. booklst_entry : hover . booklst_date span { background : #fff ; border-left : 1 px solid #000 ; border-bottom : 1 px solid #000 }
2018-01-27 18:13:38 +01:00
. booklst_left { padding : 4 px ; display : flex }
2018-01-28 14:23:12 +01:00
. booklst_left img { width : 150 px ; height : 200 px ; object-fit : contain }
2018-01-27 18:13:38 +01:00
. booklst_right { display : flex ; flex-direction : column ; flex-grow : 1 }
2019-11-08 15:15:58 +01:00
. booklst_title { color : #333 ; font-size : 40 pt ; font-weight : bolder ; flex-grow : 1 ; display : flex ; justify-content : center ; align-items : center ; text-align : center }
. booklst_date { display : flex ; flex-direction : row-reverse ; color : #333 }
2018-01-27 18:13:38 +01:00
. booklst_date span { background : #AAA ; padding : 0 3 px ; border-left : 1 px solid transparent ; border-bottom : 1 px solid transparent }
@ media ( max-width : 767px ) {
. booklst_left { flex-direction : column ; align-items : center }
. booklst_entry { flex-direction : column }
. booklst_date { display : none ; visibility : hidden }
. booklst_title { font-size : 32 pt }
}
2019-11-08 15:15:58 +01:00
. bookv_content { display : flex ; flex-direction : column ; color : #333 ; border : 1 px solid #444 ; background-color : #e0e0e0 ; width : 100 % ; margin-left : auto ; margin-right : auto }
2018-01-28 01:29:25 +01:00
# bookv_header h1 { font-size : 48 pt ; text-align : center ; margin-top : 5 px }
2019-11-08 15:15:58 +01:00
# bookv_header hr { background : -moz- radial-gradient ( circle , #CCCCCC FF , #FFFFFF 00 ) ; background : -webkit- radial-gradient ( circle , #CCCCCC FF 0 , #FFFFFF 00 100 % ) }
2018-01-28 01:29:25 +01:00
. bookv_top { display : flex ; flex-direction : row ; margin-top : 15 px ; padding-bottom : 10 px }
. bookv_left { display : inline-flex ; justify-content : center ; flex-grow : 1 ; margin-left : 10 px ; margin-top : auto ; margin-bottom : auto }
2018-01-28 14:23:12 +01:00
. bookv_left img { height : 100 % ; width : 100 % ; object-fit : contain }
2019-11-08 15:15:58 +01:00
. bookv_right { background : #aaa ; border : 1 px solid #333 ; margin : 0 10 px ; padding : 8 px 5 px 2 px 5 px ; min-height : 250 px ; min-width : 200 px ; display : grid ; grid-template-columns : auto 1 fr ; grid-template-rows : auto auto auto auto auto auto 1 fr auto ; grid-column-gap : 15 px ; grid-row-gap : 2 px }
2018-01-28 01:29:25 +01:00
. bookv_right_key { font-weight : bold }
2019-11-08 15:15:58 +01:00
. bookv_right_value a { color : #222 ; text-decoration : none }
2018-01-28 01:29:25 +01:00
. bookv_right_value a : hover { color : #339 ; text-decoration : none }
. bookv_right_comb { grid-column : 1 / span 2 }
2018-02-03 19:00:39 +01:00
. bookv_right_lang { display : flex ; justify-content : flex-end }
2018-01-28 01:29:25 +01:00
. bookv_dl_download { background : #422 }
. bookv_dl_github { background : #4078c0 }
. bookv_right_lang img { display : inline ; height : 16 pt ; max-width : 32 px ; margin : 1 px 2 px 0 2 px }
2019-11-08 15:15:58 +01:00
. bookv_extra { height : 500 px ; border : 1 px solid #333 ; background : #aaa ; margin : 10 px }
2018-01-21 15:29:01 +01:00
@ media ( max-width : 991px ) {
2018-01-28 01:29:25 +01:00
. bookv_content { border : 0 }
# bookv_header h1 { font-size : 28 pt }
}
@ media ( max-width : 1199px ) { # bookv_header h1 { font-size : 28 pt } }
@ media ( max-width : 767px ) {
. bookv_top { flex-direction : column ; margin-top : 0 }
. bookv_left { margin : 0 10 px 10 px 10 px }
. bookv_right { min-height : 0 ; min-width : 0 }
. bookv_right_lang { justify-content : space - evenly }
# bookv_header h1 { font-size : 18 pt }
}
2018-05-13 15:46:13 +02:00
. webapplistelem_container { display : flex ; align-items : center ; flex-direction : column }
2019-11-08 15:15:58 +01:00
. webapplistelem { width : 100 % ; border : 1 px solid #444 ; margin : 10 px 5 px ; color : #333 ; text-decoration : none }
. webapplistelem { background-color : #bbb }
. webapplistelem . wle_date { background-color : #999 ; color : #222 }
. webapplistelem : hover { border : solid 1 px #000 }
. webapplistelem : hover { background-color : #fff ; color : #000 }
. webapplistelem : hover . wle_date { background-color : #fff ; color : #000 ; border-bottom : 1 px solid #000 }
. wle_date { border-bottom : 1 px solid transparent ; padding : 2 px ; font-size : .8 em ; font-style : italic }
2018-05-13 15:46:13 +02:00
. wle_title { font-weight : bold ; font-size : 1.2 em ; text-align : left ; margin : 2 px 0 2 px 10 px }
@ media ( max-width : 767px ) { . wle_title { font-size : 1.25 em } }
2020-01-15 02:50:23 +01:00
. ev_master { align-self : center ; width : 100 % }
2018-01-28 01:29:25 +01:00
@ media ( min-width : 851px ) { . ev_master { padding-bottom : 80 px } }
2019-11-08 15:15:58 +01:00
. ev_master . ev_code { color : #333 ; text-align : center ; font-size : 150 pt ; font-weight : 500 ; font-family : Consolas , Monaco , "Courier New" , Menlo , monospace }
2018-01-28 01:29:25 +01:00
. ev_master . ev_msg { color : #888 ; text-align : center ; font-size : 25 pt }
2020-01-17 00:25:29 +01:00
. ev_master . ev_statusmore { color : #333 ; background-color : #bbb ; text-align : left ; padding : 4 px ; font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; font-size : small ; overflow-x : auto ; white-space : nowrap ; width : 100 % }
2018-01-28 01:29:25 +01:00
@ media ( max-width : 767px ) {
. ev_master . ev_code { font-size : 75 pt }
. ev_master . ev_msg { font-size : 15 pt }
2018-01-21 15:29:01 +01:00
}
2018-01-01 21:07:48 +01:00
. euler_pnl_row { display : flex ; flex-direction : row ; flex-wrap : wrap }
@ media ( max-width : 850px ) { . euler_pnl_row { flex-direction : column } }
. euler_pnl_row2 { display : flex ; flex-direction : row }
. euler_pnl_cell { width : 24 px ; height : 24 px ; font-size : 11 px ; margin : 3 px ; border : 1 px solid #333 ; display : flex ; align-items : center ; justify-content : center }
2019-11-08 15:15:58 +01:00
. euler_pnl_cell : hover { background-color : #fff ; color : #000 ; border : 1 px solid #000 }
2018-01-01 21:07:48 +01:00
. euler_pnl_cell a { color : black ; text-decoration : none ; width : 100 % ; height : 100 % ; display : flex ; justify-content : center ; align-items : center }
. euler_pnl_cell a : hover { color : black ; text-decoration : none }
. euler_pnl_cell a : visited { color : black ; text-decoration : none }
. euler_pnl_celltime_perfect { background : #98c398 }
. euler_pnl_celltime_good { background : #b9d89b }
. euler_pnl_celltime_ok { background : #d8d898 }
. euler_pnl_celltime_bad { background : #d8b298 }
. euler_pnl_celltime_fail { background : #d89d9d }
. euler_pnl_cell_notexist { background : #ccc }
2018-01-26 19:19:56 +01:00
. programs_pnl_content { display : flex ; flex-direction : row ; flex-wrap : wrap ; justify-content : center }
2019-11-08 15:15:58 +01:00
. programs_pnl_entry { display : flex ; flex-direction : column ; width : 190 px ; border : 1 px solid #333 ; background : #aaa ; color : #222 ; text-decoration : none ; margin : 4 px }
. programs_pnl_entry : hover { background : #fff ; color : #000 ; border : 1 px solid #000 }
. programs_pnl_entry : hover . programs_pnl_center { color : #000 }
. programs_pnl_entry : hover . programs_pnl_bottom { background : #fff ; border-top : 1 px solid #000 }
2018-01-27 18:13:38 +01:00
. programs_pnl_entry : hover . programs_pnl_img img { filter : grayscale ( 100 % ) }
2018-01-26 19:19:56 +01:00
. programs_pnl_img { display : flex ; flex-direction : column ; justify-content : flex-start ; margin : 4 px }
. programs_pnl_img img { width : 100 % ; height : auto }
2019-11-08 15:15:58 +01:00
. programs_pnl_center { display : flex ; justify-content : center ; align-items : flex-end ; text-align : center ; color : #222 ; font-weight : bolder ; font-size : 15 pt ; flex-grow : 1 ; margin : 0 2 px }
2018-01-26 19:19:56 +01:00
. programs_pnl_bottom { background : #888 ; border-top : 1 px solid transparent ; display : flex ; flex-direction : row }
. programs_pnl_bottom_1 , . programs_pnl_bottom_2 { flex-grow : 1 ; text-align : center ; display : flex ; flex-direction : column }
. programs_pnl_bottom_sub_top { color : #444 }
2019-11-08 15:15:58 +01:00
. programs_pnl_bottom_sub_bot { color : #222 ; font-weight : bolder }
2018-01-20 03:05:15 +01:00
@ media ( max-width : 850px ) {
2018-01-26 19:19:56 +01:00
. programs_pnl_entry { width : 100 % }
. programs_pnl_bottom_sub_top { margin-left : 4 px ; margin-right : 6 px }
. programs_pnl_bottom_1 , . programs_pnl_bottom_2 { flex-direction : row }
2018-01-20 03:05:15 +01:00
}
2018-01-26 21:12:04 +01:00
. blog_pnl_content { display : flex ; align-items : center ; flex-direction : column }
2019-11-08 15:15:58 +01:00
. blogpnl_base { width : 100 % ; border : 1 px solid #333 ; margin : 10 px 5 px ; color : #222 ; text-decoration : none ; background-color : #aaa }
. blogpnl_date { background-color : #888 ; color : #000 }
. blogpnl_base : hover { border : solid 1 px #000 ; background-color : #fff ; color : #000 }
. blogpnl_base : hover . blogpnl_date { background-color : #fff ; color : #000 ; border-bottom : 1 px solid #000 }
. blogpnl_date { border-bottom : 1 px solid transparent ; padding : 2 px ; font-size : .8 em ; font-style : italic }
2018-01-26 21:12:04 +01:00
. blogpnl_title { font-weight : bold ; font-size : 1.2 em ; text-align : left ; margin : 2 px 0 2 px 10 px }
@ media ( max-width : 850px ) { . blogpnl_title { text-align : center } }
2018-01-27 18:13:38 +01:00
. books_pnl_content { display : flex ; flex-direction : row ; flex-wrap : wrap ; justify-content : space - evenly }
2019-11-08 15:15:58 +01:00
. books_pnl_entry { display : flex ; flex-direction : column ; margin : 4 px ; border : 1 px solid #333 ; background : #aaa ; color : #222 ; text-decoration : none }
2018-01-27 18:13:38 +01:00
. books_pnl_entry img { margin : 4 px ; width : 150 px ; height : auto }
2019-11-08 15:15:58 +01:00
. books_pnl_entry div { display : flex ; justify-content : center ; align-items : flex-end ; flex-grow : 1 ; border-top : 1 px solid transparent ; text-align : center ; font-weight : bold ; text-decoration : none }
2018-01-27 18:13:38 +01:00
@ media ( max-width : 850px ) { . books_pnl_extra { display : none ; visibility : collapse } }
2019-11-08 15:15:58 +01:00
. books_pnl_entry : hover { border : 1 px solid #000 ; background : #fff }
. books_pnl_entry : hover div { color : #000 }
2018-01-27 18:13:38 +01:00
. books_pnl_entry : hover img { filter : grayscale ( 100 % ) }
2018-01-01 21:07:48 +01:00
. bfjoust_runner_owner { border : 1 px solid #888 ; background : #f8f8f8 ; padding : 6 px }
. bfjoust_runner_owner . hsplit { display : flex ; flex-direction : row ; flex-wrap : nowrap }
. bfjoust_runner_owner . hsplit_1 { flex : 1 ; margin : 4 px }
. bfjoust_runner_owner . hsplit_2 { flex : 1 ; margin : 4 px }
. bfjoust_runner_owner textarea { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; display : block }
. bfjoust_runner_owner . source { height : 350 px }
. bfjoust_runner_owner . sink { height : 100 px }
. bfjoust_runner_owner . bottomelem { height : 200 px }
@ media ( max-width : 767px ) {
. bfjoust_runner_owner . hsplit { display : block }
. bfjoust_runner_owner . hsplit_1 { display : block ; width : calc ( 100 % - 8 px ) }
. bfjoust_runner_owner . hsplit_2 { display : block ; width : calc ( 100 % - 8 px ) }
. bfjoust_runner_owner textarea { margin-left : auto ; margin-right : auto }
}
. bfjoust_runner_owner # commandpanel { text-align : center ; background-color : lightgray ; border-radius : 3 px ; border : 1 px solid gray ; display : table ; width : calc ( 100 % - 8 px ) ; margin : 4 px ; padding : 5 px 0 }
. bfjoust_runner_owner # commandpanel a { color : #FFF ; background-color : #000 ; border-radius : 3 px ; padding : 4 px 8 px ; text-decoration : none }
. bfjoust_runner_owner # commandpanel a : hover { text-decoration : none ; background-color : #666 }
. bfjoust_runner_owner # commandpanel # a_run { background-color : #080 }
. bfjoust_runner_owner # commandpanel # a_run : hover { text-decoration : none ; background-color : #666 }
. bfjoust_runner_owner # commandpanel # a_stop { background-color : #F00 }
. bfjoust_runner_owner # commandpanel # a_stop : hover { text-decoration : none ; background-color : #666 }
. bfjoust_runner_owner # commandpanel # a_arena { background-color : #F80 }
. bfjoust_runner_owner # commandpanel # a_arena : hover { text-decoration : none ; background-color : #666 }
. bfjoust_runner_owner # run_size { width : 40 px }
. bfjoust_runner_owner # run_speed { width : 70 px }
. bfjoust_runner_owner # board { background-color : #FFF ; border-radius : 6 px ; border : 1 px solid #CCC }
. bce_code { background : #f8f8f8 ; color : black ; border : 1 px solid rgba ( 0 , 0 , 0 , 0.15 ) }
2018-01-20 03:05:15 +01:00
. bce_code . bce_code_data , . bce_code . bce_code_editarea { overflow-x : auto ; font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; padding : 5 px 9.5 px ; line-height : 12 pt ; font-size : 10 pt }
. bce_code . bce_code_data { white-space : pre }
. bce_code . bce_code_editarea { display : block ; resize : none ; box-sizing : border-box ; line-height : 12 pt ; font-size : 10 pt }
2018-01-01 21:07:48 +01:00
. bce_code . bce_code_ctrl { background : #BBB ; display : flex ; flex-direction : row }
. bce_code . bce_code_ctrl . ctrl_btn_left , . bce_code . bce_code_ctrl . ctrl_btn_right { display : flex ; flex-direction : row }
. bce_code . bce_code_ctrl . ctrl_btn_left { margin-right : auto }
. bce_code . bce_code_ctrl . ctrl_btn_right { margin-left : auto }
2018-01-20 03:05:15 +01:00
. bce_code . bce_code_ctrl . ctrl_btn { user-select : none ; -moz- user-select : none ; -webkit- user-select : none ; -ms- user-select : none ; display : block ; border : 1 px solid #000 ; background : #444 ; color : #BBB ; margin : 4 px ; padding : 0 5 px ; min-width : 65 px ; text-align : center ; text-decoration : none ; font-weight : bold }
2018-01-01 21:07:48 +01:00
. bce_code . bce_code_ctrl . ctrl_btn : hover { cursor : pointer ; background : #333 ; color : #FFF ; border : 1 px solid black }
2018-01-20 03:05:15 +01:00
. bce_code . bce_code_ctrl . ctrl_btn_group { display : flex ; flex-direction : row }
. bce_code . bce_code_ctrl . ctrl_btn_ll { margin-right : 0 ; flex-grow : 1 }
. bce_code . bce_code_ctrl . ctrl_btn_rr { margin-left : 0 ; flex-grow : 0 ; min-width : 25 px ; border-left : 0 }
. bce_code . bce_code_ctrl . ctrl_btn_rr : hover { border-left : 0 }
2018-01-01 21:07:48 +01:00
. bce_code . bce_code_ctrl . ctrl_btn_disabled { background : #999 ; color : #BBB }
. bce_code . bce_code_ctrl . ctrl_btn_disabled : hover { background : #999 ; color : #BBB ; cursor : default }
@ media ( max-width : 767px ) {
. bce_code . bce_code_ctrl { display : flex ; flex-direction : column ; margin : 0 }
. bce_code . bce_code_ctrl . ctrl_btn_left , . bce_code . bce_code_ctrl . ctrl_btn_right { display : flex ; flex-direction : column ; margin : 0 }
. bce_code . ctrl_btn_left , . bce_code . ctrl_btn_right { display : flex ; flex-direction : column ; margin : 0 }
}
2018-01-20 03:05:15 +01:00
. bce_code_out { display : flex ; flex-direction : row ; background : #BBB }
. bce_code_out . bce_code_out_text { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; overflow-y : auto ; overflow-x : auto ; background : #FFF ; color : #000 ; border : 1 px solid #888 ; flex-grow : 1 }
. bce_code_out . bce_code_out_stack { font-family : Consolas , Monaco , "Courier New" , Menlo , monospace ; overflow-y : scroll ; overflow-x : auto ; background : #FFF ; color : #000 ; border : 1 px solid #888 ; flex-grow : 1 }
. bce_code_out . bce_code_out_left { flex-grow : 1 ; margin : 0 4 px 4 px 4 px ; height : 300 px ; display : flex ; flex-direction : column }
. bce_code_out . bce_code_out_right { height : 300 px ; width : 200 px ; margin : 0 4 px 4 px 4 px ; display : flex ; flex-direction : column }
@ media ( max-width : 767px ) {
. bce_code_out { flex-direction : column }
. bce_code_out . bce_code_out_left { flex-grow : 0 ; height : 100 px }
. bce_code_out . bce_code_out_right { width : auto ; height : 150 px }
}
