aboutsummaryrefslogtreecommitdiff
path: root/src/cssparser.cc
diff options
context:
space:
mode:
authorJohannes Hofmann <Johannes.Hofmann@gmx.de>2009-12-18 22:23:30 +0100
committerJohannes Hofmann <Johannes.Hofmann@gmx.de>2009-12-18 22:23:30 +0100
commited284d8d579e2ac580d81e1977cd8aa9bea5b1e4 (patch)
treefc1776fa844019c31518267352d42772994d319d /src/cssparser.cc
parent83c0cf6af8df3d6603d05dca469ff86102349f48 (diff)
support border-width: thin | medium | thick
Diffstat (limited to 'src/cssparser.cc')
-rw-r--r--src/cssparser.cc16
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},