MediaWiki:Gadget-audioplayer.css
Revision as of 19:14, 3 October 2022 by Jacmob (talk | contribs) (Created page with ".rsw-music-player { height: 2em; vertical-align: middle; } →* Styles for [[Template:Playlist]] *: #music-playlist { →more mobile-friendly instead of static width: width: 90%; max-width: 350px; margin: 0 auto; text-align: center; padding-bottom: 0.5em; border: none; border: 1px solid var(--body-border); background: var(--body-light); } #music-playlist button { margin: 2px 0.5em; } #music-player { margin: 5px;...")
Note: After publishing, you may have to bypass your browser's cache to see the changes.
- Firefox / Safari: Hold Shift while clicking Reload, or press either Ctrl-F5 or Ctrl-R (⌘-R on a Mac)
- Google Chrome: Press Ctrl-Shift-R (⌘-Shift-R on a Mac)
- Internet Explorer / Edge: Hold Ctrl while clicking Refresh, or press Ctrl-F5
- Opera: Press Ctrl-F5.
1 .rsw-music-player {
2 height: 2em;
3 vertical-align: middle;
4 }
5
6 /** Styles for [[Template:Playlist]] **/
7 #music-playlist {
8 /* more mobile-friendly instead of static width */
9 width: 90%;
10 max-width: 350px;
11 margin: 0 auto;
12 text-align: center;
13 padding-bottom: 0.5em;
14 border: none;
15 border: 1px solid var(--body-border);
16 background: var(--body-light);
17 }
18
19 #music-playlist button {
20 margin: 2px 0.5em;
21 }
22
23 #music-player {
24 margin: 5px;
25 display: none;
26 }
27
28 button[disabled] ~ #music-player {
29 display: inline; /* fallback */
30 display: revert;
31 }
32
33 #music-playing a {
34 font-weight: bold;
35 }
36
37 .music-scroll-to a {
38 font-style: italic;
39 }
40
41 .music-scroll-to,
42 #music-playlist br {
43 display: none;
44 }
45
46 button[disabled] ~ .music-scroll-to,
47 #music-playlist button[disabled] ~ br {
48 display: inline; /* fallback */
49 display: revert;
50 }
51
52 .music-playlist-header {
53 background: var(--body-dark);
54 margin-bottom: 0.5em;
55 font-weight: bold;
56 font-size: large;
57 }
58
59 /* skin specific styles */
60 .wgl-darkmode #music-playlist {
61 border-color: #222e45;
62 background: #313e59;
63 }
64
65 .wgl-darkmode .music-playlist-header {
66 background: #222e45;
67 }