Robert Schmidt
5ddb9f683f
CI: cell content's <pre> style to stack horizontally
...
The results of individual UEs (e.g., ping) is listed vertically, like
so:
| ping results | UE1 |
| | UE2 |
| | UE3 |
Where UE1, UE2, ... represents an entire box with results for UE 1, 2,
... For many UEs, this results in considerable need for vertical space. This
commit changes to something like the following to save space:
| ping results | UE1 UE2 UE3 |
For a single UE, this commit has no major impact (the boxes are not
stretched to width anymore).
2023-08-07 10:32:20 +02:00
..
2023-04-28 16:04:35 +02:00
2023-07-28 12:02:58 +02:00
2022-08-28 16:21:43 +02:00
2021-10-10 22:12:13 +02:00
2023-02-06 16:55:04 +01:00
2023-08-07 10:31:58 +02:00
2023-07-28 12:02:58 +02:00
2020-07-02 17:06:43 +02:00
2019-03-04 10:50:36 +01:00
2019-03-27 17:37:10 +01:00
2019-03-27 17:37:10 +01:00
2023-05-30 14:47:04 +02:00
2023-02-23 17:38:10 +01:00
2023-02-23 17:38:10 +01:00
2022-11-30 14:30:18 +01:00
2022-09-13 05:24:09 +02:00
2022-10-25 16:50:34 +02:00
2023-02-23 17:37:31 +01:00
2023-02-24 18:19:36 +01:00
2023-07-28 15:11:04 +02:00
2023-07-03 15:37:36 +02:00
2023-07-03 14:37:23 +02:00
2023-07-21 15:31:12 +02:00
2022-10-18 08:40:59 +02:00
2023-07-03 14:42:31 +02:00
2023-08-07 10:32:20 +02:00
2023-08-04 13:30:54 +02:00
2023-04-21 10:19:31 +02:00
2023-02-24 18:19:36 +01:00
2023-07-31 12:57:22 +02:00
2022-09-06 12:05:24 +02:00
2020-09-04 09:28:29 +02:00
2022-02-25 17:27:02 +01:00
2023-04-04 09:39:28 +02:00
2022-11-21 14:30:25 +01:00
2023-04-04 09:39:28 +02:00
2023-07-21 16:01:02 +02:00
2021-03-19 13:55:01 +01:00
2023-08-04 13:05:06 +02:00
2023-07-11 15:28:53 +02:00
2022-09-29 10:06:20 +02:00
2023-05-30 14:47:04 +02:00
2023-07-21 13:12:29 +02:00
2023-08-04 13:05:06 +02:00
2023-07-21 13:12:29 +02:00
2023-07-21 13:12:29 +02:00
2023-05-04 10:34:02 +02:00
2023-07-21 13:12:29 +02:00
2023-07-21 13:12:29 +02:00
2023-07-21 13:12:29 +02:00
2023-07-21 13:12:29 +02:00
2023-07-21 13:12:29 +02:00
2022-07-21 17:57:26 +02:00
2023-07-09 14:05:45 +02:00
2022-04-27 18:36:01 +02:00
2023-02-23 17:38:10 +01:00
2023-02-23 17:38:10 +01:00
2023-06-21 15:11:50 +02:00
2022-10-27 12:29:34 +02:00
2022-06-04 09:32:00 +02:00
2022-02-01 09:42:39 +01:00
2020-11-30 22:27:15 +01:00
2023-07-03 14:44:33 +02:00