diff options
author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-12-18 22:23:30 +0100 |
---|---|---|
committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2009-12-18 22:23:30 +0100 |
commit | ed284d8d579e2ac580d81e1977cd8aa9bea5b1e4 (patch) | |
tree | fc1776fa844019c31518267352d42772994d319d /src/cssparser.cc | |
parent | 83c0cf6af8df3d6603d05dca469ff86102349f48 (diff) |
support border-width: thin | medium | thick
Diffstat (limited to 'src/cssparser.cc')
-rw-r--r-- | src/cssparser.cc | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/src/cssparser.cc b/src/cssparser.cc index 5f5bde08..3a22da9a 100644 --- a/src/cssparser.cc +++ b/src/cssparser.cc @@ -52,6 +52,10 @@ static const char *const Css_border_style_enum_vals[] = { "ridge", "inset", "outset", NULL }; +static const char *const Css_border_width_enum_vals[] = { + "thin", "medium", "thick", NULL +}; + static const char *const Css_cursor_enum_vals[] = { "crosshair", "default", "pointer", "move", "e-resize", "ne-resize", "nw-resize", "n-resize", "se-resize", "sw-resize", "s-resize", @@ -118,21 +122,25 @@ const CssPropertyInfo Css_property_info[CSS_PROPERTY_LAST] = { {"border-bottom-color", {CSS_TYPE_COLOR, CSS_TYPE_UNUSED}, NULL}, {"border-bottom-style", {CSS_TYPE_ENUM, CSS_TYPE_UNUSED}, Css_border_style_enum_vals}, - {"border-bottom-width", {CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, NULL}, + {"border-bottom-width", {CSS_TYPE_ENUM, CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, + Css_border_width_enum_vals}, {"border-collapse", {CSS_TYPE_UNUSED}, NULL}, {"border-left-color", {CSS_TYPE_COLOR, CSS_TYPE_UNUSED}, NULL}, {"border-left-style", {CSS_TYPE_ENUM, CSS_TYPE_UNUSED}, Css_border_style_enum_vals}, - {"border-left-width", {CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, NULL}, + {"border-left-width", {CSS_TYPE_ENUM, CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, + Css_border_width_enum_vals}, {"border-right-color", {CSS_TYPE_COLOR, CSS_TYPE_UNUSED}, NULL}, {"border-right-style", {CSS_TYPE_ENUM, CSS_TYPE_UNUSED}, Css_border_style_enum_vals}, - {"border-right-width", {CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, NULL}, + {"border-rigth-width", {CSS_TYPE_ENUM, CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, + Css_border_width_enum_vals}, {"border-spacing", {CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, NULL}, {"border-top-color", {CSS_TYPE_COLOR, CSS_TYPE_UNUSED}, NULL}, {"border-top-style", {CSS_TYPE_ENUM, CSS_TYPE_UNUSED}, Css_border_style_enum_vals}, - {"border-top-width", {CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, NULL}, + {"border-top-width", {CSS_TYPE_ENUM, CSS_TYPE_LENGTH, CSS_TYPE_UNUSED}, + Css_border_width_enum_vals}, {"bottom", {CSS_TYPE_UNUSED}, NULL}, {"caption-side", {CSS_TYPE_UNUSED}, NULL}, {"clear", {CSS_TYPE_UNUSED}, NULL}, |