danielebarchiesi@0: danielebarchiesi@0: .token-tree { danielebarchiesi@0: font-size: 0.85em; danielebarchiesi@0: margin-left: 19px; danielebarchiesi@0: } danielebarchiesi@0: danielebarchiesi@0: .ui-dialog-content .token-tree { danielebarchiesi@0: margin-left: 0; danielebarchiesi@0: } danielebarchiesi@0: danielebarchiesi@0: .token-tree td, .token-tree th { danielebarchiesi@0: padding-top: 0; danielebarchiesi@0: padding-bottom: 0; danielebarchiesi@0: } danielebarchiesi@0: danielebarchiesi@0: .token-group { danielebarchiesi@0: font-weight: bold; danielebarchiesi@0: } danielebarchiesi@0: danielebarchiesi@0: .js .token-group { danielebarchiesi@0: font-weight: normal; danielebarchiesi@0: } danielebarchiesi@0: danielebarchiesi@0: /* Prevent the token columns from being wrapped. */ danielebarchiesi@0: .token-tree td.token-key { danielebarchiesi@0: white-space: nowrap; danielebarchiesi@0: }