Sören Weber
7c04fdc473
theme: fix copy-to-clipboard hove #175
2022-02-16 14:37:54 +01:00
Sören Weber
f053f5a4bf
print: hide sidebar on Mac #183
2022-02-16 13:53:24 +01:00
Sören Weber
269fd5ed95
theme: rework color boxes for dark mode #175
2022-02-16 01:38:44 +01:00
Sören Weber
46328c3bc0
theme: remove CSS vendor prefixes #175
...
according to latest caniuse data
2022-02-15 20:15:51 +01:00
Sören Weber
5e06e2e21a
theme: corner cases for dark mode #175
2022-02-15 20:00:00 +01:00
Sören Weber
9ce12d08a3
nav: avoid underlines for icon links in header #151
2022-02-15 09:13:18 +01:00
Sören Weber
b4582aed91
theme: fix underline color for links #175
2022-02-15 09:11:10 +01:00
Sören Weber
c16680cb5c
theme: provide syntax highlightning theme for old Learn variants #175
...
so theme switching also will switch the sh-theme
2022-02-15 08:38:12 +01:00
Sören Weber
4f28e6af83
menu: avoid menu animation on page load in IE #180
2022-02-15 01:25:08 +01:00
Sören Weber
797042dee9
theme: change default color for tags #181
2022-02-15 00:42:53 +01:00
Sören Weber
4d0240d3d7
chore: update fontawesome to 6.0.0 #151
...
to use the fa-edit icon style
2022-02-15 00:23:37 +01:00
Sören Weber
6f8239ca64
nav: some love for header buttons #151
2022-02-14 23:59:06 +01:00
Sören Weber
9eb44953d9
theme: change default colors to Relearn defaults #181
2022-02-14 22:19:38 +01:00
Sören Weber
a48a7f540b
menu: fix scrollbar height #180
2022-02-14 20:34:18 +01:00
Sören Weber
d0d359bc3d
theme: float clearing for select boxes #178
2022-02-14 19:46:10 +01:00
Sören Weber
ff72c495de
theme: remove superflous stuff from stylesheets
2022-02-13 17:01:53 +01:00
Sören Weber
fe78574f3b
theme: fix select box left margin in Chrome #178
...
FF shows additional space and it's unclear where this comes from
2022-02-13 12:56:30 +01:00
Sören Weber
5ff752e441
theme: IE11 compat for theme switch #178
2022-02-13 12:49:45 +01:00
Sören Weber
0c261fb314
theme: fix alignment of menu select boxes #178
2022-02-13 10:58:00 +01:00
Sören Weber
b1bb8e2290
theme: capitalize theme name in option for FF #178
2022-02-13 10:06:16 +01:00
Sören Weber
874e542222
theme: avoid flickering on page load #178
2022-02-13 02:11:27 +01:00
Sören Weber
8c1a7304f9
theme: add a theme selector #178
2022-02-13 01:53:23 +01:00
Sören Weber
a32646b5cb
menu: rework select box UX #177
2022-02-12 23:49:33 +01:00
Sören Weber
4fda7916ff
menu: set footer position at bottom of screen #177
2022-02-12 23:14:33 +01:00
Sören Weber
8be8992771
#theme: more fallbacks for lately changed CSS vars
2022-02-11 09:07:58 +01:00
Sören Weber
9ea06563be
theme: support for dark mode #175
2022-02-11 00:59:40 +01:00
Sören Weber
f32eb1af93
docs: mention chroma themes CSS --MAIN-CODE colors #174
2022-02-08 21:34:35 +01:00
Sören Weber
198c2d1a00
attachments: use title text color for default styling #173
2022-02-08 20:19:24 +01:00
Sören Weber
00025afdee
docs: use light syntax highlightning theme #174
2022-02-08 19:55:09 +01:00
Sören Weber
0b67c7fb0d
notice: tweak dull colors #173
2022-02-08 19:51:48 +01:00
Sören Weber
f16fcdd7fd
syntax highlight: fix comments for CSS colors
2022-02-08 08:38:09 +01:00
Sören Weber
e590a44cf0
auto-complete: document change #155
2021-11-19 22:18:36 +01:00
Sören Weber
c4acec0880
auto-complete: even stick box if site was already scrolled before open #155
2021-11-18 21:17:20 +01:00
Sören Weber
59412de591
menu: align long text properly #154
...
why having indention if we have padding?
if line breaks into multiple lines, two adjacent items are still distinguishable
because of slightly more spacing
2021-11-17 08:44:42 +01:00
Sören Weber
cba76c3f41
search: make dropdown stick to search field when scrolling #155
2021-11-16 01:16:31 +01:00
Sören Weber
26a697ffe5
auto-complete: patch library with PR46/75 #155
...
to allow for non body parent
2021-11-16 01:15:46 +01:00
Sören Weber
43c72b7b64
maximize auto-complete lib #155
2021-11-16 00:51:54 +01:00
Sören Weber
4ca21ef1bb
menu: bring active item in sight for large menus #149
2021-11-13 14:11:46 +01:00
Sören Weber
1d739a62c9
mermaid: remove visual hints for print #143
2021-11-09 21:36:14 +01:00
Sören Weber
ec7dc9d042
mermaid: let zoom reset to initial size #145
2021-11-09 21:14:34 +01:00
Sören Weber
de1cfc1a2d
mermaid: apply PR18 #145
2021-11-09 21:13:01 +01:00
Sören Weber
d673f413be
mermaid: add visual hints for pan/zoom #143
2021-11-09 21:07:22 +01:00
Sören Weber
abfe838db2
mermaid: style #143
2021-11-09 21:05:54 +01:00
Sören Weber
d0b8b60463
mermaid: remove whitespace from big graphs #143
2021-11-09 19:51:52 +01:00
Sören Weber
f3c067bf9b
mermaid: assert that window.mermaid is actually mermaid #136
2021-11-03 21:42:38 +01:00
Sören Weber
870d59a700
theme: remove font Novacento #83
...
as it wasn't fully latin compatible
2021-11-03 19:52:55 +01:00
Sören Weber
d3b0b9a6fe
theme: 0 has no unit #130
2021-10-31 10:34:32 +01:00
Sören Weber
3f18e50626
theme: reduce margin for children shortcode #130
2021-10-31 10:31:22 +01:00
Sören Weber
9e5f38f5ae
theme: make chapter heading smaller #129
2021-10-31 10:01:29 +01:00
Sören Weber
53c73c8f3d
chore: adjust font-size after font upgrade #83
2021-10-31 09:49:53 +01:00