Skip to content

Commit 640c320

Browse files
committed
STYLE: increase heading font size, reduce publication spacing, left-align mobile list
1 parent b58427d commit 640c320

6 files changed

Lines changed: 18 additions & 18 deletions

File tree

contact.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@
7272

7373
h2 {
7474
font-family: 'EB Garamond', Georgia, serif;
75-
font-size: 1.25em;
75+
font-size: 1.5em;
7676
font-weight: 500;
7777
letter-spacing: 0;
7878
color: #374151;
@@ -238,7 +238,7 @@
238238
right: 20px;
239239
background: none;
240240
border: none;
241-
font-size: 1.4em;
241+
font-size: 1.5em;
242242
cursor: pointer;
243243
color: #374151;
244244
line-height: 1;

group.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@
7272

7373
h2 {
7474
font-family: 'EB Garamond', Georgia, serif;
75-
font-size: 1.25em;
75+
font-size: 1.5em;
7676
font-weight: 500;
7777
letter-spacing: 0;
7878
color: #374151;
@@ -82,7 +82,7 @@
8282

8383
h3 {
8484
font-family: 'EB Garamond', Georgia, serif;
85-
font-size: 1.25em;
85+
font-size: 1.5em;
8686
font-weight: 500;
8787
letter-spacing: 0;
8888
color: #374151;
@@ -348,7 +348,7 @@
348348
right: 20px;
349349
background: none;
350350
border: none;
351-
font-size: 1.4em;
351+
font-size: 1.5em;
352352
cursor: pointer;
353353
color: #374151;
354354
line-height: 1;

hiring.html

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@
7272

7373
h2 {
7474
font-family: 'EB Garamond', Georgia, serif;
75-
font-size: 1.25em;
75+
font-size: 1.5em;
7676
font-weight: 500;
7777
letter-spacing: 0;
7878
color: #374151;
@@ -222,7 +222,7 @@
222222
font-size: 14px;
223223
}
224224

225-
p, .intro, .news-content, p.ack, .section-text {
225+
p, .intro, .news-content, p.ack, .section-text, ul {
226226
text-align: left;
227227
font-size: 0.9em;
228228
}
@@ -276,7 +276,7 @@
276276
right: 20px;
277277
background: none;
278278
border: none;
279-
font-size: 1.4em;
279+
font-size: 1.5em;
280280
cursor: pointer;
281281
color: #374151;
282282
line-height: 1;

index.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -86,7 +86,7 @@
8686

8787
h3 {
8888
font-family: 'EB Garamond', Georgia, serif;
89-
font-size: 1.25em;
89+
font-size: 1.5em;
9090
font-weight: 500;
9191
letter-spacing: 0;
9292
color: #374151;
@@ -312,7 +312,7 @@
312312
right: 20px;
313313
background: none;
314314
border: none;
315-
font-size: 1.4em;
315+
font-size: 1.5em;
316316
cursor: pointer;
317317
color: #374151;
318318
line-height: 1;

publications.html

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -72,12 +72,12 @@
7272

7373
h2 {
7474
font-family: 'EB Garamond', Georgia, serif;
75-
font-size: 1.25em;
75+
font-size: 1.5em;
7676
font-weight: 500;
7777
letter-spacing: 0;
7878
color: #374151;
79-
margin-bottom: 20px;
80-
79+
margin-bottom: 10px;
80+
8181
}
8282

8383
.year-divider {
@@ -86,8 +86,8 @@
8686
font-weight: 600;
8787
letter-spacing: 0;
8888
color: #111;
89-
margin-top: 36px;
90-
margin-bottom: 16px;
89+
margin-top: 20px;
90+
margin-bottom: 10px;
9191
}
9292

9393
.paper {
@@ -280,7 +280,7 @@
280280
right: 20px;
281281
background: none;
282282
border: none;
283-
font-size: 1.4em;
283+
font-size: 1.5em;
284284
cursor: pointer;
285285
color: #374151;
286286
line-height: 1;

research.html

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -72,7 +72,7 @@
7272

7373
h2 {
7474
font-family: 'EB Garamond', Georgia, serif;
75-
font-size: 1.25em;
75+
font-size: 1.5em;
7676
font-weight: 500;
7777
letter-spacing: 0;
7878
color: #374151;
@@ -304,7 +304,7 @@
304304
right: 20px;
305305
background: none;
306306
border: none;
307-
font-size: 1.4em;
307+
font-size: 1.5em;
308308
cursor: pointer;
309309
color: #374151;
310310
line-height: 1;

0 commit comments

Comments
 (0)