Round percentage widths to nearest pixel instead of down.

svn path=/trunk/netsurf/; revision=3891
2008-03-06 19:41:49 +00:00 · 2008-03-06 19:41:49 +00:00 · ceb5f5ff7f
parent fed99c2cb5
commit ceb5f5ff7f
1 changed files with 2 additions and 2 deletions
--- a/render/layout.c
+++ b/render/layout.c
@ -738,8 +738,8 @@ void layout_find_dimensions(int available_width,
 						style);
 				break;
 			case CSS_WIDTH_PERCENT:
-				*width = available_width *
-					style->width.value.percent / 100;
+				*width = 0.5 + (available_width *
+					style->width.value.percent / 100.0);
 					/* gadget widths include margins,
 					 * borders and padding */
 					if (box->gadget) {