Sam Atkins 6038e36250
LibWeb: Add and use the "snap a length as a border width" algorithm ...
Previously, we always rounded border-widths up when converting them to
device pixels. However, the spec asks us to follow a specific algorithm
to "snap" these values, so that the computed value is snapped.
The difference from before, is that widths of between 0 and 1 device
pixels are rounded up to 1, and and values larger than 1 are rounded
down.
2023-07-30 22:18:26 +01:00
2023-06-13 06:14:01 +02:00
2023-06-13 06:14:01 +02:00
2023-06-13 06:08:27 +02:00
2023-03-27 23:28:07 +02:00
2023-04-20 20:43:30 +02:00
2023-04-20 20:43:30 +02:00
2023-07-28 12:44:09 +02:00
2023-07-26 08:37:16 +02:00
2023-06-09 20:37:51 +02:00
2023-06-09 20:37:51 +02:00
2023-01-05 17:42:31 +01:00
2022-10-20 15:16:23 +02:00
2023-06-09 20:37:51 +02:00
2023-06-09 20:37:51 +02:00
2023-01-11 14:03:18 +01:00
2023-06-09 20:37:51 +02:00
2023-07-26 08:35:23 +02:00
2023-07-26 05:17:56 +02:00
2022-10-20 15:16:23 +02:00
2023-07-28 17:02:33 +02:00
2023-07-28 12:44:09 +02:00
2023-06-09 20:37:51 +02:00
2023-05-15 14:08:08 +02:00
2023-07-27 19:54:17 +02:00
2023-07-27 19:54:17 +02:00
2023-06-09 20:37:51 +02:00
2023-05-13 09:08:42 +02:00
2023-05-21 07:44:29 +02:00
2023-07-26 08:37:16 +02:00
2023-06-19 18:51:00 +02:00
2023-07-26 08:37:16 +02:00
2023-03-15 08:48:49 +01:00
2023-04-20 20:43:30 +02:00
2022-12-10 12:03:19 +00:00
2022-10-20 15:16:23 +02:00
2023-07-30 22:18:26 +01:00
2023-07-25 15:21:04 +02:00
2023-07-17 21:47:34 +02:00
2023-07-17 18:54:54 +02:00
2023-04-20 20:43:30 +02:00
2023-07-17 18:54:54 +02:00
2023-06-16 06:55:21 +02:00
2023-06-10 21:46:33 +02:00
2023-03-11 10:46:26 +01:00
2023-06-03 05:54:49 +02:00
2023-06-03 05:54:49 +02:00
2023-07-30 22:18:26 +01:00
2023-07-21 11:42:30 +02:00
2023-06-09 20:37:51 +02:00
2023-01-11 14:03:18 +01:00
2023-06-09 20:37:51 +02:00
2023-01-11 12:55:00 +01:00
2023-06-09 20:37:51 +02:00
2022-03-19 12:42:10 +01:00
2023-07-25 11:52:02 +02:00
2023-03-20 17:57:58 +01:00
2023-06-13 06:08:27 +02:00
2023-04-12 07:40:22 +02:00
2023-04-19 07:52:26 +02:00
2023-04-19 07:52:26 +02:00
2023-06-13 06:08:27 +02:00
2023-05-20 08:49:42 +02:00
2023-07-23 06:32:39 +02:00
2023-07-23 06:32:39 +02:00
2023-07-27 08:01:36 +02:00
2023-07-25 15:21:04 +02:00
2023-01-14 19:22:08 +01:00
2023-07-03 11:50:58 +02:00
2023-07-03 11:50:58 +02:00
2023-07-28 05:29:43 +02:00
2023-03-15 08:48:49 +01:00
2023-06-09 20:37:51 +02:00
2023-04-07 16:02:22 +02:00
2023-06-02 15:00:38 +02:00
2023-02-28 12:21:56 +01:00
6038e36250