Sam Atkins
fe7e797483
LibWeb: Implement the CSS outline property :^)
...
...along with `outline-color`, `outline-style`, and `outline-width`.
This re-uses the existing border-painting code, which seems to work well
enough!
This replaces the previous code for drawing focus-outlines, with generic
outline painting for any elements that want it. Focus outlines are now
instead supported by this code in Default.css:
```css
:focus-visible {
outline: auto;
}
```
2023-08-03 05:25:48 +02:00
..
2023-08-03 05:25:48 +02:00
2023-07-29 19:16:08 +02:00
2023-07-29 11:58:51 +02:00
2023-07-29 11:58:51 +02:00
2023-03-30 21:29:50 +02:00
2023-08-03 05:25:48 +02:00
2023-03-15 12:48:25 -04:00
2023-05-29 05:35:41 +02:00
2022-09-06 00:27:09 +02:00
2023-06-20 15:50:26 +01:00
2023-02-18 00:52:47 +01:00
2022-09-06 00:27:09 +02:00
2023-05-29 05:35:41 +02:00
2023-07-11 09:38:37 +03:30
2022-09-06 00:27:09 +02:00
2023-07-11 09:38:37 +03:30
2023-07-11 09:38:37 +03:30
2023-06-21 12:26:22 +02:00
2023-07-11 09:38:37 +03:30
2023-07-11 09:38:37 +03:30
2023-06-21 12:26:22 +02:00
2023-07-08 10:32:56 +01:00
2022-09-06 00:27:09 +02:00
2023-07-30 20:27:19 +01:00
2023-07-30 20:27:19 +01:00
2023-07-30 20:27:19 +01:00
2023-07-15 10:23:33 +02:00
2023-07-15 10:23:33 +02:00
2023-07-30 20:27:19 +01:00
2023-05-29 05:35:41 +02:00
2023-08-01 07:41:06 +02:00
2023-08-01 07:41:06 +02:00
2022-09-06 00:27:09 +02:00
2023-07-09 12:54:06 +02:00
2023-07-09 12:54:06 +02:00
2023-03-05 21:59:16 +00:00
2023-07-08 10:32:56 +01:00
2023-08-01 07:41:06 +02:00
2023-08-01 07:41:06 +02:00
2023-03-07 11:51:12 +00:00
2023-07-08 10:32:56 +01:00
2023-07-24 02:28:21 +02:00
2023-02-15 12:48:26 -05:00
2023-07-13 05:10:41 +02:00
2023-06-13 06:08:27 +02:00
2023-03-20 20:37:40 -04:00
2023-08-03 05:25:48 +02:00
2023-05-24 17:19:18 +02:00
2023-05-31 10:56:32 +02:00
2023-01-21 14:35:00 +01:00
2023-07-08 10:32:56 +01:00
2023-07-08 10:32:56 +01:00
2023-08-02 11:35:57 +01:00
2023-07-08 10:32:56 +01:00
2023-07-15 10:23:33 +02:00
2023-08-02 12:49:46 +01:00
2023-03-07 11:51:12 +00:00
2023-03-30 21:29:50 +02:00
2023-03-06 23:46:35 +01:00
2022-03-31 01:10:47 +02:00
2023-05-24 14:40:35 +02:00
2023-03-30 21:29:50 +02:00
2023-08-03 05:25:48 +02:00
2022-09-20 14:48:07 +02:00
2023-01-09 11:09:31 +01:00
2023-06-02 17:46:35 +02:00
2023-08-03 05:25:48 +02:00
2023-05-06 08:07:28 +02:00
2023-06-13 06:08:27 +02:00
2023-08-03 05:25:48 +02:00
2023-08-03 05:25:48 +02:00
2023-08-03 05:25:48 +02:00
2023-02-15 12:48:26 -05:00
2023-08-01 07:41:06 +02:00
2023-07-30 20:27:19 +01:00
2023-08-03 05:25:48 +02:00
2023-08-03 05:25:48 +02:00
2023-05-08 09:29:44 +02:00
2022-11-14 14:47:37 +00:00
2023-03-15 08:48:49 +01:00
2022-09-06 00:27:09 +02:00
2023-07-17 18:58:05 +02:00
2023-07-29 19:16:08 +02:00
2023-03-07 11:51:12 +00:00
2023-06-02 17:46:35 +02:00
2023-08-02 12:49:46 +01:00