Jonas Jenwald
ca244d9bca
Introduce a viewer constant for document.documentElement.style
...
Over time, as we've been introducing JavaScript code to modify CSS variables, we've been adding shorthand properties to various classes to reduce unnecessary repetition when accessing the document-styles.
Rather than repeating this in multiple places, it seems overall simpler to just introduce a constant and re-use that throughout the viewer instead.
2022-05-25 09:55:54 +02:00
..
2022-03-14 14:36:38 +01:00
2015-01-26 16:44:45 +01:00
2021-11-12 15:37:33 +01:00
2021-12-15 23:17:08 +01:00
2022-05-08 11:15:04 +02:00
2022-05-22 15:34:15 +02:00
2022-01-06 12:25:33 +01:00
2022-05-25 09:55:54 +02:00
2015-08-14 18:59:55 +02:00
2022-03-28 11:36:31 +02:00
2011-07-05 10:53:57 -07:00
2022-04-16 14:16:39 +02:00
2022-04-16 14:16:39 +02:00
2021-12-15 23:17:08 +01:00
2022-05-15 18:18:37 +02:00
2021-12-15 17:18:57 +01:00
2021-09-11 11:15:25 +02:00
2022-05-15 18:18:37 +02:00
2022-01-23 19:53:01 +01:00
2022-03-12 17:25:45 +01:00
2021-12-15 23:14:25 +01:00
2021-11-13 23:07:36 +01:00
2022-05-15 18:18:37 +02:00
2021-07-08 12:54:58 +02:00
2022-03-28 11:36:31 +02:00
2022-03-28 11:36:31 +02:00
2022-05-08 12:12:49 +02:00
2022-03-06 16:06:53 +01:00
2022-03-28 11:36:31 +02:00
2022-03-31 23:12:56 +02:00
2022-03-19 12:26:03 +01:00
2019-12-26 12:34:24 +01:00
2022-04-05 14:13:20 +02:00
2021-05-16 11:44:05 +02:00
2022-03-04 12:11:52 +01:00
2021-12-05 11:04:17 +01:00
2022-05-25 09:55:54 +02:00
2022-05-05 11:53:09 +02:00
2022-03-28 11:36:31 +02:00
2021-12-15 23:17:08 +01:00
2022-05-15 18:18:37 +02:00
2022-05-25 09:55:54 +02:00
2022-04-11 19:46:10 +02:00
2022-05-09 13:03:08 +02:00
2022-04-23 12:48:54 +02:00
2022-02-19 09:41:04 +01:00
2022-05-06 13:45:39 +02:00
2021-10-12 13:45:19 +02:00
2019-12-26 12:34:24 +01:00
2022-03-12 17:25:45 +01:00
2021-12-15 23:17:08 +01:00
2022-05-07 22:45:56 +02:00
2021-12-15 23:17:08 +01:00
2021-12-15 23:17:08 +01:00
2022-03-24 14:20:27 +01:00
2021-12-15 23:17:08 +01:00
2022-05-25 09:55:54 +02:00
2022-05-25 09:55:54 +02:00
2020-03-21 13:55:06 +01:00
2017-05-31 09:22:25 -05:00
2022-03-28 11:36:29 +02:00
2019-01-23 20:33:20 +01:00
2016-02-14 13:23:34 +01:00
2017-05-31 09:22:25 -05:00
2022-05-15 17:30:37 +02:00
2022-05-07 22:45:56 +02:00
2022-05-07 22:45:56 +02:00
2021-10-29 11:39:33 -04:00
2021-12-15 23:17:08 +01:00