[id=coding-rules-custom-rule-creation-name], [id=coding-rules-custom-rule-creation-key] {
width: 30em;
}
+
+[id=coding-rules-detail-custom-rules] {
+ padding-left: 2 * @navigatorPadding;
+}
+
+.coding-rules-detail-custom-rule + .coding-rules-detail-custom-rule {
+ margin-top: @navigatorPadding;
+ padding-top: @navigatorPadding;
+ border-top: 1px solid @navigatorBorderLightColor;
+}
+
+.coding-rules-detail-custom-rule td {
+ padding: @navigatorPadding;
+}
+
+.coding-rules-detail-custom-rule-name {
+ font-weight: bold;
+}