Skip to content

Commit 958c9bb

Browse files
dginevdginev
committed
CSS v0.7.6
1 parent b88fd65 commit 958c9bb

File tree

5 files changed

+274
-6
lines changed

5 files changed

+274
-6
lines changed

‎assets/ar5iv-site.0.2.1.css‎

Lines changed: 265 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,265 @@
1+
/*======================================================================
2+
Fallback fonts */
3+
@font-face{
4+
font-display: fallback;
5+
font-family: "Noto Sans Mono";
6+
font-style: normal;
7+
font-weight: 700;
8+
src: local("Noto Sans Mono Bold"),
9+
local("NotoSansMono-Bold"),
10+
url(/assets/fonts/noto-sans-mono-v14-ext-700.woff2) format("woff2"); }
11+
@font-face{
12+
font-display: fallback;
13+
font-family: "Noto Sans Mono";
14+
font-style: normal;
15+
src: local("Noto Sans Mono"),
16+
local("NotoSansMono-Regular"),
17+
url(/assets/fonts/noto-sans-mono-v14-ext-regular.woff2) format("woff2"); }
18+
19+
@font-face{
20+
font-display: fallback;
21+
font-family: "Noto Sans";
22+
font-weight: 700;
23+
font-style: italic;
24+
src: local("Noto Sans Bold Italic"),
25+
local("NotoSans-BoldItalic"),
26+
url(/assets/fonts/noto-sans-v25-ext-700italic.woff2) format("woff2"); }
27+
@font-face{
28+
font-display: fallback;
29+
font-family: "Noto Sans";
30+
font-style: normal;
31+
font-weight: 700;
32+
src: local("Noto Sans Bold"),
33+
local("NotoSans-Bold"),
34+
url(/assets/fonts/noto-sans-v25-ext-700.woff2) format("woff2"); }
35+
@font-face{
36+
font-display: fallback;
37+
font-family: "Noto Sans";
38+
font-style: italic;
39+
src: local("Noto Sans Italic"),
40+
local("NotoSans-Italic"),
41+
url(/assets/fonts/noto-sans-v25-ext-italic.woff2) format("woff2"); }
42+
@font-face{
43+
font-display: fallback;
44+
font-family: "Noto Sans";
45+
font-style: normal;
46+
src: local("Noto Sans"),
47+
local("NotoSans-Regular"),
48+
url(/assets/fonts/noto-sans-v25-ext.woff2) format("woff2"); }
49+
50+
@font-face{
51+
font-display: fallback;
52+
font-family: "Noto Serif";
53+
font-weight: 700;
54+
font-style: italic;
55+
src: local("Noto Serif Bold Italic"),
56+
local("NotoSerif-BoldItalic"),
57+
url(/assets/fonts/noto-serif-v20-ext-700italic.woff2) format("woff2"); }
58+
@font-face{
59+
font-display: fallback;
60+
font-family: "Noto Serif";
61+
font-style: normal;
62+
font-weight: 700;
63+
src: local("Noto Serif Bold"),
64+
local("NotoSerif-Bold"),
65+
url(/assets/fonts/noto-serif-v20-ext-700.woff2) format("woff2"); }
66+
@font-face{
67+
font-display: fallback;
68+
font-family: "Noto Serif";
69+
font-style: italic;
70+
src: local("Noto Serif Italic"),
71+
local("NotoSerif-Italic"),
72+
url(/assets/fonts/noto-serif-v20-ext-italic.woff2) format("woff2"); }
73+
@font-face{
74+
font-display: fallback;
75+
font-family: "Noto Serif";
76+
font-style: normal;
77+
src: local("Noto Serif"),
78+
local("NotoSerif-Regular"),
79+
url(/assets/fonts/noto-serif-v20-ext-regular.woff2) format("woff2"); }
80+
@font-face {
81+
font-display: fallback;
82+
font-family: "STIX Two Math";
83+
font-style: normal;
84+
src: local("STIX Two Math"),
85+
local("STIXTwoMath-Regular"),
86+
url(/assets/fonts/STIXTwoMath-Regular.woff2) format("woff2"); }
87+
/*======================================================================
88+
ar5iv branding */
89+
div.ar5iv-footer {
90+
vertical-align: middle;
91+
margin-left: auto;
92+
margin-right:auto;
93+
margin-top: 5rem;
94+
margin-bottom: 5rem;
95+
text-align: center;
96+
max-width: var(--main-width);
97+
}
98+
99+
.ar5iv-homepage {
100+
position: relative;
101+
}
102+
.ar5iv-homepage-content {
103+
padding-bottom: 1.5rem;
104+
}
105+
.ar5iv-homepage-main-list {
106+
list-style-type: circle;
107+
}
108+
@media only screen and (max-width: 40.0rem) {
109+
.ar5iv-homepage-main-list {
110+
padding-left: 1.5rem;
111+
}
112+
}
113+
footer.ar5iv-homepage-footer {
114+
border:none;
115+
text-align: center;
116+
position: absolute;
117+
bottom: 0;
118+
width: 100%;
119+
height: 2.5rem;
120+
}
121+
footer.ar5iv-homepage-footer svg {
122+
background-color: var(--background-color);
123+
color: var(--text-color);
124+
filter:initial;
125+
}
126+
127+
.ar5iv-text-button {
128+
max-width: 10rem;
129+
display: inline-block;
130+
color:var(--text-color);
131+
border-radius: 1.1rem;
132+
font-size: 0.9rem;
133+
padding-top: 0.05rem;
134+
padding-bottom: 0.05rem;
135+
padding-left: 1rem;
136+
padding-right: 1rem;
137+
margin-top: 1rem;
138+
vertical-align: top;
139+
border: none;
140+
text-decoration: none;
141+
overflow-wrap: break-word;
142+
}
143+
.ar5iv-home-button {
144+
text-decoration: none;
145+
display: inline-block;
146+
margin-top: 0.9rem;
147+
vertical-align: bottom;
148+
}
149+
.ar5iv-home-button > img {
150+
border-radius: 1.1rem;
151+
}
152+
.color-scheme-icon::before {
153+
content: "🌙";
154+
}
155+
[data-theme="dark"] .color-scheme-icon::before {
156+
content: "☀️";
157+
}
158+
.ar5iv-toggle-color-scheme {
159+
text-decoration: none;
160+
display: block;
161+
float: left;
162+
padding: 0.5rem;
163+
margin-top: 0.1rem;
164+
color: transparent;
165+
text-shadow: 0 0 0 var(--text-color);
166+
}
167+
a.ar5iv-nav-button {
168+
font-size: 2rem;
169+
color: var(--link-text-color);
170+
text-decoration: none;
171+
display: inline-block;
172+
margin-top: 0.75rem;
173+
vertical-align: top;
174+
}
175+
.ar5iv-nav-button-prev {
176+
padding-right: 0.5rem;
177+
}
178+
.ar5iv-nav-button-next {
179+
padding-left: 0.5rem;
180+
}
181+
182+
.ar5iv-footer-button {
183+
color: var(--link-text-color);
184+
padding: 0.5rem;
185+
display: inline-block;
186+
text-decoration: none;
187+
margin-right: 1rem;
188+
}
189+
190+
a.arxiv-ui-theme {
191+
color: white;
192+
background-color: rgb(179, 27, 27)
193+
}
194+
195+
.ar5iv-severity-ok::after {
196+
content: " (OK)";
197+
color: var(--text-color);
198+
}
199+
.ar5iv-severity-warning::after {
200+
content: " (W)";
201+
color: var(--warning-text-color);
202+
}
203+
.ar5iv-severity-error::after {
204+
content: " (E)";
205+
color: var(--error-text-color);
206+
}
207+
.ar5iv-severity-fatal::after {
208+
content: " (F)";
209+
color: var(--fatal-text-color);
210+
}
211+
212+
.ar5iv-bibitem-preview {
213+
z-index: 100;
214+
position: absolute;
215+
background-color: var(--background-color);
216+
color: var(--text-color);
217+
border: solid 1px var(--border-color);
218+
display: block;
219+
min-width: 20rem;
220+
max-width: 40rem;
221+
min-height: 4rem;
222+
max-height: 16rem;
223+
padding: 0.5rem;
224+
}
225+
.ar5iv-button-close-preview {
226+
float: right;
227+
display: block;
228+
margin: 0.2rem 0rem 0rem 0.2rem;
229+
background-color: var(--background-color);
230+
color: var(--text-color);
231+
border: double 2px var(--border-color);
232+
}
233+
234+
/* Hide the polyfill dirty work behind a curtain */
235+
#mathjax-loading-message {
236+
display: block;
237+
font-size:1.5rem;
238+
margin:auto;
239+
max-width: 52rem;
240+
text-align: center;
241+
padding: 6rem;
242+
z-index: 100;
243+
}
244+
#mathjax-loading-spinner {
245+
display: block;
246+
margin:auto;
247+
background-color: white;
248+
z-index: 100;
249+
border: 16px solid #f3f3f3; /* Light grey */
250+
border-top: 16px solid #3498db; /* Blue */
251+
border-radius: 50%;
252+
width: 6rem;
253+
height: 6rem;
254+
animation: spin 2s linear infinite;
255+
}
256+
@keyframes spin {
257+
0% { transform: rotate(0deg); }
258+
100% { transform: rotate(360deg); }
259+
}
260+
261+
/* one important override specific to the ar5iv site,
262+
to keep the color mode toggle nicely inline */
263+
.ltx_page_logo {
264+
display: inline-block !important;
265+
}

‎assets/ar5iv.0.7.4.min.css‎

Lines changed: 0 additions & 4 deletions
This file was deleted.

‎assets/ar5iv.0.7.6.min.css‎

Lines changed: 7 additions & 0 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎assets/fonts/STIXTwoMath-Regular.woff2‎

546 KB
Binary file not shown.

‎src/constants.rs‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
pub static LOG_FILENAME: &str = "cortex.log";
2-
pub static AR5IV_CSS_URL: &str = "/assets/ar5iv.0.7.5.min.css";
3-
pub static SITE_CSS_URL: &str = "/assets/ar5iv-site.0.2.0.css";
2+
pub static AR5IV_CSS_URL: &str = "/assets/ar5iv.0.7.6.min.css";
3+
pub static SITE_CSS_URL: &str = "/assets/ar5iv-site.0.2.1.css";
44

55
pub static DOC_NOT_FOUND_TEMPLATE : &str = r###"<!DOCTYPE html>
66
<html lang="en">

0 commit comments

Comments
 (0)