@ -631,3 +631,7 @@ div.small, p.small {
span.insensitive {
color : gray;
}
div.prefGenericAddBox {
margin : 5px;