/* jREE - The Javascript Regular Expression Editor */
#jree .hint {color: gray; font-size: 10px;}
#jree * {font-family: helvetica cy;}
#jree input.text{ width: 95%; font-size: 16px;}
#jree table {width: 100%;}
#jree .table {width: 1%;}
#jree a,#jree img{cursor: pointer;}
#jree td{ vertical-align: top;}
#jree td.block{padding: 0.2em 1em;}
#jree td.class {padding: 0.2em 1em; border: dashed 1px gray;}
#jree td.block .actions a{font-size: 12px; margin-left: 1em; color: blue;}
#jree td.block .actions .act{background-color: #CCC;}
#jree .ifzero_1 {display: none;}
#jree .attr {font-size: 28px;}
#jree .properties {font-size: 10px;}
#jree .symbols {font-size: 28px; white-space: nowrap;}
#jree .count {font-style: italic; font-size: 28px;}

#jree #jree_main_menu{padding-left: 1em;}

#jree .block_l{background-image: url("block_l.gif"); }
#jree .block_r{background-image: url("block_r.gif"); }
#jree .class_l{background-image: url("class_l.gif"); }
#jree .class_r{background-image: url("class_r.gif"); }
#jree .block_l,#jree .block_r,#jree .class_l,#jree .class_r{background-repeat: repeat-y;}