body, td { font-family : tahoma, arial, helvetica, sans-serif; font-size : 8pt; text-decoration: none; font-style : none; font-weight : none; color: #333333; } table.props_table { float : left; margin-right : 10px; margin-bottom: 2px; } table.head_table { clear : left; margin-bottom : 2px; } td.system_name { font-size : 16pt; font-weight : bold; color: : #000000; background-color: #CBD5E1; border-left : 0px none #FFF; border-right : 0px none #FFF; border-top : 0px none #FFF; border-bottom : 2px solid #FFF; padding-left : 6px; padding-right : 5px; padding-top : 3px; padding-bottom : 3px; } td.props_header { color: : #000000; background-color: #DCE3EC; border-left : 0px solid #FFF; border-right : 1px solid #FFF; border-top : 0px solid #FFF; border-bottom : 0px solid #FFF; padding-left : 6px; padding-right : 6px; padding-top : 1px; padding-bottom : 1px; } td.props_header_last { color: : #000000; background-color: #DCE3EC; border-left : 0px solid #FFF; border-right : 0px solid #FFF; border-top : 0px solid #FFF; border-bottom : 0px solid #FFF; padding-left : 6px; padding-right : 6px; padding-top : 1px; padding-bottom : 1px; } td.props_header_red { color: #FF0000; background-color: #DCE3EC; border-left : 0px solid #FFF; border-right : 0px solid #FFF; border-top : 0px solid #FFF; border-bottom : 0px solid #FFF; padding-left : 6px; padding-right : 6px; padding-top : 1px; padding-bottom : 1px; } td.props_body { color: : #000000; background-color: #FFFFFF; border-left : 1px solid #DCE3EC; border-right : 0px solid #DCE3EC; border-top : 0px solid #DCE3EC; border-bottom : 1px solid #DCE3EC; padding-left : 6px; padding-right : 6px; padding-top : 1px; padding-bottom : 1px; } td.props_body_last { color: : #000000; background-color: #FFFFFF; border-left : 1px solid #DCE3EC; border-right : 1px solid #DCE3EC; border-top : 0px solid #DCE3EC; border-bottom : 1px solid #DCE3EC; padding-left : 6px; padding-right : 6px; padding-top : 1px; padding-bottom : 1px; } td.boundless { color: : #000000; background-color: #FFFFFF; border-left : 0px solid #DCE3EC; border-right : 0px solid #DCE3EC; border-top : 0px solid #DCE3EC; border-bottom : 0px solid #DCE3EC; padding-left : 6px; padding-right : 6px; padding-top : 1px; padding-bottom : 1px; } td.instance_name { font-size : 12pt; font-weight : bold; padding-left : 6px; padding-right : 6px; padding-top : 3px; padding-bottom : 3px; } td.instance_state { font-size : 8pt; font-weight : bold; text-align : right; padding-left : 6px; padding-right : 6px; padding-top : 3px; padding-bottom : 3px; } td.process_name { font-size : 8pt; font-weight : bold; padding-left : 6px; padding-right : 6px; padding-top : 3px; padding-bottom : 3px; } td.process_state { font-size : 8pt; font-weight : bold; text-align : right; padding-left : 6px; padding-right : 6px; padding-top : 3px; padding-bottom : 3px; } p.header { color: #000000; background-color: #FFFFFF; font-size : 10pt; font-weight : bold; text-align : left; } a.button { font-family : tahoma, arial, helvetica, sans-serif; font-size : 8pt; font-style : none; text-decoration : none; background-color: #DCE3EC; color : #333333; border-left : 1px solid #CBD5E1; border-right : 1px solid #333333; border-top : 1px solid #CBD5E1; border-bottom : 1px solid #333333; padding-left : 0px; padding-right : 0px; padding-top : 0px; padding-bottom : 0px; } /* * instance states */ /* initial state after program start */ .instance_state_0 { background-color: #CBD5E1; } /* execute bootstrap processes */ .instance_state_1 { background-color: #FFFB8C; } /* message server connect */ .instance_state_2 { background-color: #FFFB8C; } /* starting the instance */ .instance_state_3 { background-color: #FFFB8C; } /* partial running at least one node */ .instance_state_4 { background-color: #FFFB8C; } /* all nodes are running */ .instance_state_5 { background-color: #AACDA1; } /* stopping the instance */ .instance_state_6 { background-color: #FFFB8C; } /* the instance is stopped */ .instance_state_7 { background-color: #CBD5E1; } /* wait for restart */ .instance_state_8 { background-color: #FFFB8C; } /* * process states */ /* initial state after program start */ .process_state_0 { background-color: #CBD5E1; } /* wait for starting */ .process_state_1 { background-color: #FFFB8C; } /* is starting */ .process_state_2 { background-color: #FFFB8C; } /* is running */ .process_state_3 { background-color: #AACDA1; } /* wait for stop */ .process_state_4 { background-color: #FFFB8C; } /* is stopping */ .process_state_5 { background-color: #FFFB8C; } /* is stopped */ .process_state_6 { background-color: #CBD5E1; } /* is debugging */ .process_state_7 { background-color: #D0F3C4; } /* applications are starting */ .process_state_10 { background-color: #FFFB8C; }