div-border.json

{
  "type": "object",
  "$description": "translations.json#/div_border",
  "properties": {
    "has_shadow": {
      "$ref": "common.json#/boolean_int",
      "default_value": "false",
      "$description": "translations.json#/div_border_has_shadow"
    },
    "shadow": {
      "$ref": "div-shadow.json",
      "$description": "translations.json#/div_border_shadow"
    },
    "stroke": {
      "$ref": "div-stroke.json",
      "$description": "translations.json#/div_border_stroke"
    },
    "corner_radius": {
      "$ref": "common.json#/non_negative_integer",
      "$description": "translations.json#/div_border_corner_radius"
    },
    "corners_radius": {
      "$ref": "div-corners-radius.json",
      "$description": "translations.json#/div_border_corners_radius"
    }
  }
}