diff options
| author | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2010-10-01 16:12:16 +0200 |
|---|---|---|
| committer | Johannes Hofmann <Johannes.Hofmann@gmx.de> | 2010-10-01 16:12:16 +0200 |
| commit | 47a9e5206c2f6d7775198533a70cb40013b467f2 (patch) | |
| tree | 4b02a821d99ac8aeb4750e4ad9ad1a2c2c25ef48 /dw | |
| parent | 43bba3831700cf45fab30c913e6af38a4e67d9ef (diff) | |
rework border-width handling
The initial value of border-width-* is "medium" not 0
(see http://www.w3.org/TR/CSS2/box.html#border-width-properties).
Redo the border handling for tables to deal with this.
Diffstat (limited to 'dw')
| -rw-r--r-- | dw/style.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/dw/style.cc b/dw/style.cc index cc58ce28..f71543f7 100644 --- a/dw/style.cc +++ b/dw/style.cc @@ -47,7 +47,7 @@ void StyleAttrs::initValues () backgroundColor = NULL; width = height = lineHeight = LENGTH_AUTO; margin.setVal (0); - borderWidth.setVal (0); + borderWidth.setVal (2); padding.setVal (0); setBorderColor (NULL); setBorderStyle (BORDER_NONE); @@ -75,7 +75,7 @@ void StyleAttrs::resetValues () height = LENGTH_AUTO; margin.setVal (0); - borderWidth.setVal (0); + borderWidth.setVal (2); padding.setVal (0); setBorderColor (NULL); setBorderStyle (BORDER_NONE); |