Skip to content

Commit 1ed505a

Browse files
pseudo-rnd-thoughtspseudo-rnd-thoughts
authored
Update Atari redirect popup (#1343)
1 parent eacee61 commit 1ed505a

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

105 files changed

+9764
-1994
lines changed

Diff for: ‎docs/environments/atari.md

+92-18
Original file line numberDiff line numberDiff line change
@@ -10,30 +10,104 @@ lastpage:
1010
<head>
1111
<title>Redirecting to Atari's documentation</title>
1212
<style>
13+
:root {
14+
--background-color: #ffffff;
15+
--text-color: #333333;
16+
--popup-background: #ffffff;
17+
--popup-shadow: rgba(0, 0, 0, 0.5);
18+
--button-background: #f0f0f0;
19+
--button-text: #333333;
20+
--button-hover: #e0e0e0;
21+
--button-border: #cccccc;
22+
--link-color: #0066cc;
23+
}
24+
25+
@media (prefers-color-scheme: dark) {
26+
:root {
27+
--background-color: #222222;
28+
--text-color: #e0e0e0;
29+
--popup-background: #333333;
30+
--popup-shadow: rgba(0, 0, 0, 0.7);
31+
--button-background: #444444;
32+
--button-text: #e0e0e0;
33+
--button-hover: #555555;
34+
--button-border: #666666;
35+
--link-color: #66b0ff;
36+
}
37+
}
38+
39+
body {
40+
background-color: var(--background-color);
41+
color: var(--text-color);
42+
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
43+
line-height: 1.5;
44+
margin: 20px;
45+
transition: background-color 0.3s, color 0.3s;
46+
}
47+
48+
a {
49+
color: var(--link-color);
50+
text-decoration: none;
51+
}
52+
53+
a:hover {
54+
text-decoration: underline;
55+
}
56+
1357
/* Basic styles for the popup */
1458
.popup {
15-
display: none;
16-
position: fixed;
17-
top: 0;
18-
left: 0;
19-
width: 100%;
20-
height: 100%;
21-
background-color: rgba(0, 0, 0, 0.5);
22-
z-index: 999;
23-
justify-content: center;
24-
align-items: center;
59+
display: none;
60+
position: fixed;
61+
top: 0;
62+
left: 0;
63+
width: 100%;
64+
height: 100%;
65+
background-color: var(--popup-shadow);
66+
z-index: 999;
67+
justify-content: center;
68+
align-items: center;
2569
}
70+
2671
.popup-content {
27-
background-color: #fff;
28-
padding: 20px;
29-
border-radius: 10px;
30-
text-align: center;
31-
width: 300px;
72+
background-color: var(--popup-background);
73+
padding: 20px;
74+
border-radius: 10px;
75+
text-align: center;
76+
width: 300px;
77+
box-shadow: 0 4px 8px rgba(0, 0, 0, 0.2);
78+
transition: background-color 0.3s;
3279
}
80+
3381
button {
34-
margin-top: 10px;
35-
padding: 5px 10px;
36-
cursor: pointer;
82+
margin-top: 10px;
83+
padding: 8px 14px;
84+
cursor: pointer;
85+
background-color: var(--button-background);
86+
color: var(--button-text);
87+
border: 1px solid var(--button-border);
88+
border-radius: 4px;
89+
font-size: 14px;
90+
transition: background-color 0.2s, color 0.2s;
91+
}
92+
93+
button:hover {
94+
background-color: var(--button-hover);
95+
}
96+
97+
#atariRedirectBtn {
98+
background-color: var(--link-color);
99+
color: white;
100+
border: none;
101+
}
102+
103+
#atariRedirectBtn:hover {
104+
opacity: 0.9;
105+
}
106+
107+
label {
108+
display: block;
109+
margin: 15px 0;
110+
user-select: none;
37111
}
38112
</style>
39113
</head>

Diff for: ‎docs/environments/atari/adventure.md

+93-19
Original file line numberDiff line numberDiff line change
@@ -8,38 +8,112 @@ title: Adventure
88
<head>
99
<title>Redirecting to Adventure's documentation</title>
1010
<style>
11+
:root {
12+
--background-color: #ffffff;
13+
--text-color: #333333;
14+
--popup-background: #ffffff;
15+
--popup-shadow: rgba(0, 0, 0, 0.5);
16+
--button-background: #f0f0f0;
17+
--button-text: #333333;
18+
--button-hover: #e0e0e0;
19+
--button-border: #cccccc;
20+
--link-color: #0066cc;
21+
}
22+
23+
@media (prefers-color-scheme: dark) {
24+
:root {
25+
--background-color: #222222;
26+
--text-color: #e0e0e0;
27+
--popup-background: #333333;
28+
--popup-shadow: rgba(0, 0, 0, 0.7);
29+
--button-background: #444444;
30+
--button-text: #e0e0e0;
31+
--button-hover: #555555;
32+
--button-border: #666666;
33+
--link-color: #66b0ff;
34+
}
35+
}
36+
37+
body {
38+
background-color: var(--background-color);
39+
color: var(--text-color);
40+
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
41+
line-height: 1.5;
42+
margin: 20px;
43+
transition: background-color 0.3s, color 0.3s;
44+
}
45+
46+
a {
47+
color: var(--link-color);
48+
text-decoration: none;
49+
}
50+
51+
a:hover {
52+
text-decoration: underline;
53+
}
54+
1155
/* Basic styles for the popup */
1256
.popup {
13-
display: none;
14-
position: fixed;
15-
top: 0;
16-
left: 0;
17-
width: 100%;
18-
height: 100%;
19-
background-color: rgba(0, 0, 0, 0.5);
20-
z-index: 999;
21-
justify-content: center;
22-
align-items: center;
57+
display: none;
58+
position: fixed;
59+
top: 0;
60+
left: 0;
61+
width: 100%;
62+
height: 100%;
63+
background-color: var(--popup-shadow);
64+
z-index: 999;
65+
justify-content: center;
66+
align-items: center;
2367
}
68+
2469
.popup-content {
25-
background-color: #fff;
26-
padding: 20px;
27-
border-radius: 10px;
28-
text-align: center;
29-
width: 300px;
70+
background-color: var(--popup-background);
71+
padding: 20px;
72+
border-radius: 10px;
73+
text-align: center;
74+
width: 300px;
75+
box-shadow: 0 4px 8px rgba(0, 0, 0, 0.2);
76+
transition: background-color 0.3s;
3077
}
78+
3179
button {
32-
margin-top: 10px;
33-
padding: 5px 10px;
34-
cursor: pointer;
80+
margin-top: 10px;
81+
padding: 8px 14px;
82+
cursor: pointer;
83+
background-color: var(--button-background);
84+
color: var(--button-text);
85+
border: 1px solid var(--button-border);
86+
border-radius: 4px;
87+
font-size: 14px;
88+
transition: background-color 0.2s, color 0.2s;
89+
}
90+
91+
button:hover {
92+
background-color: var(--button-hover);
93+
}
94+
95+
#atariRedirectBtn {
96+
background-color: var(--link-color);
97+
color: white;
98+
border: none;
99+
}
100+
101+
#atariRedirectBtn:hover {
102+
opacity: 0.9;
103+
}
104+
105+
label {
106+
display: block;
107+
margin: 15px 0;
108+
user-select: none;
35109
}
36110
</style>
37111
</head>
38112
<body>
39113
<p>If you are not redirected automatically, follow this <a href="https://ale.farama.org/environments/adventure">link to Adventure's new page</a>.</p>
40114
<div id="popup" class="popup">
41115
<div class="popup-content">
42-
<p>Atari's documentation has moved to <b>ale.farama.org</b></p>
116+
<p>Adventure's documentation has moved to <b>ale.farama.org</b></p>
43117
<label>
44118
<input type="checkbox" id="atariAutoRedirect">Enable auto-redirect next time
45119
</label>

Diff for: ‎docs/environments/atari/air_raid.md

+93-19
Original file line numberDiff line numberDiff line change
@@ -8,38 +8,112 @@ title: Air Raid
88
<head>
99
<title>Redirecting to Air Raid's documentation</title>
1010
<style>
11+
:root {
12+
--background-color: #ffffff;
13+
--text-color: #333333;
14+
--popup-background: #ffffff;
15+
--popup-shadow: rgba(0, 0, 0, 0.5);
16+
--button-background: #f0f0f0;
17+
--button-text: #333333;
18+
--button-hover: #e0e0e0;
19+
--button-border: #cccccc;
20+
--link-color: #0066cc;
21+
}
22+
23+
@media (prefers-color-scheme: dark) {
24+
:root {
25+
--background-color: #222222;
26+
--text-color: #e0e0e0;
27+
--popup-background: #333333;
28+
--popup-shadow: rgba(0, 0, 0, 0.7);
29+
--button-background: #444444;
30+
--button-text: #e0e0e0;
31+
--button-hover: #555555;
32+
--button-border: #666666;
33+
--link-color: #66b0ff;
34+
}
35+
}
36+
37+
body {
38+
background-color: var(--background-color);
39+
color: var(--text-color);
40+
font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, Helvetica, Arial, sans-serif;
41+
line-height: 1.5;
42+
margin: 20px;
43+
transition: background-color 0.3s, color 0.3s;
44+
}
45+
46+
a {
47+
color: var(--link-color);
48+
text-decoration: none;
49+
}
50+
51+
a:hover {
52+
text-decoration: underline;
53+
}
54+
1155
/* Basic styles for the popup */
1256
.popup {
13-
display: none;
14-
position: fixed;
15-
top: 0;
16-
left: 0;
17-
width: 100%;
18-
height: 100%;
19-
background-color: rgba(0, 0, 0, 0.5);
20-
z-index: 999;
21-
justify-content: center;
22-
align-items: center;
57+
display: none;
58+
position: fixed;
59+
top: 0;
60+
left: 0;
61+
width: 100%;
62+
height: 100%;
63+
background-color: var(--popup-shadow);
64+
z-index: 999;
65+
justify-content: center;
66+
align-items: center;
2367
}
68+
2469
.popup-content {
25-
background-color: #fff;
26-
padding: 20px;
27-
border-radius: 10px;
28-
text-align: center;
29-
width: 300px;
70+
background-color: var(--popup-background);
71+
padding: 20px;
72+
border-radius: 10px;
73+
text-align: center;
74+
width: 300px;
75+
box-shadow: 0 4px 8px rgba(0, 0, 0, 0.2);
76+
transition: background-color 0.3s;
3077
}
78+
3179
button {
32-
margin-top: 10px;
33-
padding: 5px 10px;
34-
cursor: pointer;
80+
margin-top: 10px;
81+
padding: 8px 14px;
82+
cursor: pointer;
83+
background-color: var(--button-background);
84+
color: var(--button-text);
85+
border: 1px solid var(--button-border);
86+
border-radius: 4px;
87+
font-size: 14px;
88+
transition: background-color 0.2s, color 0.2s;
89+
}
90+
91+
button:hover {
92+
background-color: var(--button-hover);
93+
}
94+
95+
#atariRedirectBtn {
96+
background-color: var(--link-color);
97+
color: white;
98+
border: none;
99+
}
100+
101+
#atariRedirectBtn:hover {
102+
opacity: 0.9;
103+
}
104+
105+
label {
106+
display: block;
107+
margin: 15px 0;
108+
user-select: none;
35109
}
36110
</style>
37111
</head>
38112
<body>
39113
<p>If you are not redirected automatically, follow this <a href="https://ale.farama.org/environments/air_raid">link to Air Raid's new page</a>.</p>
40114
<div id="popup" class="popup">
41115
<div class="popup-content">
42-
<p>Atari's documentation has moved to <b>ale.farama.org</b></p>
116+
<p>Air Raid's documentation has moved to <b>ale.farama.org</b></p>
43117
<label>
44118
<input type="checkbox" id="atariAutoRedirect">Enable auto-redirect next time
45119
</label>

0 commit comments

Comments
 (0)