Skip to content

Commit f15b620

Browse files
atharvasatharvas
committed
update
1 parent 7368e82 commit f15b620

30 files changed

+448
-18
lines changed

‎src/components/Meta.svelte‎

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -40,7 +40,10 @@
4040
<!-- Google Fonts preconnect for faster loading -->
4141
<link rel="preconnect" href="https://fonts.googleapis.com" />
4242
<link rel="preconnect" href="https://fonts.gstatic.com" crossorigin />
43-
<link href="https://fonts.googleapis.com/css2?family=Noto+Sans:wght@400;700&family=Castoro:ital@0;1&display=swap" rel="stylesheet" />
43+
<link
44+
href="https://fonts.googleapis.com/css2?family=Noto+Sans:wght@400;500;600;700&family=Castoro:ital@0;1&display=swap"
45+
rel="stylesheet"
46+
/>
4447

4548
{#each preloadFont as href}
4649
<link rel="preload" {href} as="font" type="font/woff2" crossorigin />

‎src/components/PaperHeader.svelte‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -196,7 +196,7 @@
196196
197197
/* Title */
198198
.paper-title {
199-
font-family: "Tiempos", Georgia, serif;
199+
font-family: var(--serif);
200200
font-size: var(--40px);
201201
font-weight: 700;
202202
line-height: 1.2;
@@ -206,7 +206,7 @@
206206
207207
/* Authors */
208208
.authors {
209-
font-family: "National 2", -apple-system, system-ui, sans-serif;
209+
font-family: var(--sans);
210210
font-size: var(--18px);
211211
line-height: 1.6;
212212
margin: 0 0 1rem;
@@ -235,7 +235,7 @@
235235
236236
/* Affiliations */
237237
.affiliations {
238-
font-family: "National 2", -apple-system, system-ui, sans-serif;
238+
font-family: var(--sans);
239239
font-size: var(--14px);
240240
line-height: 1.6;
241241
margin: 0 0 2rem;
@@ -265,7 +265,7 @@
265265
color: var(--wine-tan);
266266
text-decoration: none;
267267
border-radius: 2rem;
268-
font-family: "National 2", -apple-system, system-ui, sans-serif;
268+
font-family: var(--sans);
269269
font-size: var(--16px);
270270
font-weight: 500;
271271
transition: all 0.2s ease;
@@ -302,15 +302,15 @@
302302
}
303303
304304
.abstract-title {
305-
font-family: "National 2", -apple-system, system-ui, sans-serif;
305+
font-family: var(--sans);
306306
font-size: var(--24px);
307307
font-weight: 700;
308308
margin: 0 0 1.5rem;
309309
color: var(--wine-tan);
310310
}
311311
312312
.abstract-content {
313-
font-family: "National 2", -apple-system, system-ui, sans-serif;
313+
font-family: var(--sans);
314314
font-size: var(--18px);
315315
line-height: 1.65;
316316
text-align: left;

‎src/components/demo/Demo.Fonts.svelte‎

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
<script>
2+
import DemoFontsSample from "$components/demo/Demo.Fonts.Sample.svelte";
3+
</script>
4+
5+
<div class="wrapper">
6+
<h1>Font Demo</h1>
7+
<p>
8+
This page demonstrates the fonts used in the FormulaCode project.
9+
</p>
10+
11+
<div class="samples">
12+
<DemoFontsSample
13+
id="noto-sans"
14+
family="Noto Sans"
15+
size={16}
16+
text="The quick brown fox jumps over the lazy dog. 0123456789"
17+
/>
18+
19+
<DemoFontsSample
20+
id="castoro"
21+
family="Castoro"
22+
size={16}
23+
text="The quick brown fox jumps over the lazy dog. 0123456789"
24+
/>
25+
</div>
26+
</div>
27+
28+
<style>
29+
.wrapper {
30+
padding: 1rem;
31+
max-width: 60rem;
32+
margin: 0 auto;
33+
}
34+
35+
.samples {
36+
display: flex;
37+
flex-wrap: wrap;
38+
gap: 8px;
39+
margin-top: 2rem;
40+
}
41+
42+
h1 {
43+
margin-top: 0;
44+
}
45+
</style>

‎src/components/layercake/ScrollScatter.svg.svelte‎

Lines changed: 16 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -27,6 +27,10 @@
2727
const isAtLeast = step => chartScrollIndex === "exit" || (typeof chartScrollIndex === "number" && chartScrollIndex >= step);
2828
const isStep = step => typeof chartScrollIndex === "number" && chartScrollIndex === step;
2929
$: isExplorePhase = (typeof chartScrollIndex === "number" && chartScrollIndex >= 14) || chartScrollIndex == "exit";
30+
const THRESHOLD_EPSILON = 1e-3;
31+
const withinEpsilon = (value, target = 1) => Math.abs((Number(value) || target) - target) <= THRESHOLD_EPSILON;
32+
$: showAgentThresholdLine = !withinEpsilon($thresholdAgentNum);
33+
$: showOracleThresholdLine = !withinEpsilon($thresholdOracleNum);
3034
3135
$: highlightPoint = highlightBenchmark && typeof highlightBenchmark?.[xKey] === "number" && typeof highlightBenchmark?.[yKey] === "number"
3236
? { x: highlightBenchmark[xKey], y: highlightBenchmark[yKey] }
@@ -495,8 +499,12 @@ const isStep = step => typeof chartScrollIndex === "number" && chartScrollIndex
495499
<line class="oracleAVG-gray" x1={0} y1={$yScale(1.0)} x2={$width} y2={$yScale(1.0)} />
496500
<line class="agentAVG-gray" x1={$xScale(1.0)} y1={0} x2={$xScale(1.0)} y2={$height} />
497501
498-
<line class="oracleAVG" x1={0} y1={$yScale($thresholdOracleNum)} x2={$width} y2={$yScale($thresholdOracleNum)} />
499-
<line class="agentAVG" x1={$xScale($thresholdAgentNum)} y1={0} x2={$xScale($thresholdAgentNum)} y2={$height} />
502+
{#if showOracleThresholdLine}
503+
<line class="oracleAVG" x1={0} y1={$yScale($thresholdOracleNum)} x2={$width} y2={$yScale($thresholdOracleNum)} />
504+
{/if}
505+
{#if showAgentThresholdLine}
506+
<line class="agentAVG" x1={$xScale($thresholdAgentNum)} y1={0} x2={$xScale($thresholdAgentNum)} y2={$height} />
507+
{/if}
500508
<text
501509
class="label"
502510
x={$width-20}
@@ -593,7 +601,9 @@ const isStep = step => typeof chartScrollIndex === "number" && chartScrollIndex
593601
g.trendline path {
594602
stroke: var(--wine-tan);
595603
fill: none;
596-
stroke-width: 2;
604+
stroke-width: 1.25;
605+
stroke-dasharray: 4 6;
606+
stroke-linecap: round;
597607
}
598608
599609
.oracleAVG, .agentAVG {
@@ -602,9 +612,10 @@ const isStep = step => typeof chartScrollIndex === "number" && chartScrollIndex
602612
}
603613
604614
.oracleAVG-gray, .agentAVG-gray {
605-
stroke-width: 1;
615+
stroke-width: 0.85;
606616
stroke: var(--wine-dark-tan);
607-
stroke-dasharray: 3;
617+
stroke-dasharray: 2 6;
618+
stroke-linecap: round;
608619
}
609620
610621
.median-markings {

‎src/routes/player/[...recordingPath]/+page.svelte‎

Lines changed: 6 additions & 6 deletions
Original file line numberDiff line numberDiff line change
@@ -163,7 +163,7 @@ onMount(() => {
163163
.breadcrumbs h2 {
164164
margin: 0.25rem 0;
165165
font-size: 1.5rem;
166-
font-family: var(--sans, "Space Grotesk", system-ui);
166+
font-family: var(--sans);
167167
}
168168
169169
.breadcrumbs .label {
@@ -176,7 +176,7 @@ onMount(() => {
176176
177177
.path {
178178
margin: 0;
179-
font-family: var(--mono, "IBM Plex Mono", monospace);
179+
font-family: var(--mono);
180180
font-size: 0.9rem;
181181
color: #b2afa6;
182182
word-break: break-all;
@@ -251,7 +251,7 @@ min-width: 0;
251251
border: 1px solid rgba(255, 255, 255, 0.15);
252252
border-radius: 4px;
253253
padding: 0.35rem 0.5rem;
254-
font-family: var(--mono, "IBM Plex Mono", monospace);
254+
font-family: var(--mono);
255255
/* truncate long selected text instead of overflowing */
256256
overflow: hidden;
257257
text-overflow: ellipsis;
@@ -276,7 +276,7 @@ min-width: 0;
276276
border: 1px solid rgba(255, 255, 255, 0.15);
277277
border-radius: 4px;
278278
padding: 0.35rem 0.5rem;
279-
font-family: var(--mono, "IBM Plex Mono", monospace);
279+
font-family: var(--mono);
280280
}
281281
282282
.code-wrapper {
@@ -315,7 +315,7 @@ min-width: 0;
315315
}
316316
317317
.recording-path {
318-
font-family: var(--mono, "IBM Plex Mono", monospace);
318+
font-family: var(--mono);
319319
font-size: 0.8rem;
320320
color: #a5a5a0;
321321
margin: 0;
@@ -324,7 +324,7 @@ min-width: 0;
324324
325325
.error {
326326
color: #f6e7d1;
327-
font-family: var(--sans, system-ui);
327+
font-family: var(--sans);
328328
font-size: 1rem;
329329
text-align: center;
330330
}

‎static/assets/demo/fonts/atkinson.css‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
@font-face {
2+
font-family: "Atkinson";
3+
src: url("https://pudding.cool/assets/fonts/atkinson/atkinson-hyperlegible-v1-latin-400.woff2") format("woff2");
4+
font-weight: 400;
5+
font-style: normal;
6+
font-stretch: normal;
7+
font-display: swap;
8+
}
9+
10+
@font-face {
11+
font-family: "Atkinson";
12+
src: url("https://pudding.cool/assets/fonts/atkinson/atkinson-hyperlegible-v1-latin-700.woff2") format("woff2");
13+
font-weight: 700;
14+
font-style: normal;
15+
font-stretch: normal;
16+
font-display: swap;
17+
}

‎static/assets/demo/fonts/atlas.css‎

Lines changed: 45 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,45 @@
1+
@font-face {
2+
font-family: "Atlas Grotesk";
3+
src: url("https://pudding.cool/assets/fonts/atlas/AtlasGrotesk-Regular-Web.woff2") format("woff2");
4+
font-weight: 400;
5+
font-style: normal;
6+
font-stretch: normal;
7+
font-display: swap;
8+
}
9+
10+
@font-face {
11+
font-family: "Atlas Grotesk";
12+
src: url("https://pudding.cool/assets/fonts/atlas/AtlasGrotesk-Bold-Web.woff2") format("woff2");
13+
font-weight: 600;
14+
font-style: normal;
15+
font-stretch: normal;
16+
font-display: swap;
17+
}
18+
19+
@font-face {
20+
font-family: "Atlas Grotesk";
21+
src: url("https://pudding.cool/assets/fonts/atlas/AtlasGrotesk-Light-Web.woff2") format("woff2");
22+
font-weight: 300;
23+
font-style: normal;
24+
font-stretch: normal;
25+
font-display: swap;
26+
}
27+
28+
@font-face {
29+
font-family: "Atlas Grotesk";
30+
src: url("https://pudding.cool/assets/fonts/atlas/AtlasGrotesk-Medium-Web.woff2") format("woff2");
31+
font-weight: 500;
32+
font-style: normal;
33+
font-stretch: normal;
34+
font-display: swap;
35+
}
36+
37+
38+
@font-face {
39+
font-family: "Atlas Grotesk";
40+
src: url("https://pudding.cool/assets/fonts/atlas/AtlasGrotesk-Thin-Web.woff2") format("woff2");
41+
font-weight: 100;
42+
font-style: normal;
43+
font-stretch: normal;
44+
font-display: swap;
45+
}

‎static/assets/demo/fonts/baloo-bhai.css‎

Lines changed: 8 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
@font-face {
2+
font-family: "Baloo Bhai";
3+
src: url("https://pudding.cool/assets/fonts/baloo-bhai/baloo-bhai-2-v16-latin-regular.woff2") format("woff2");
4+
font-weight: 400;
5+
font-style: normal;
6+
font-stretch: normal;
7+
font-display: swap;
8+
}

‎static/assets/demo/fonts/canela.css‎

Lines changed: 17 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,17 @@
1+
@font-face {
2+
font-family: "Canela";
3+
src: url("https://pudding.cool/assets/fonts/canela/Canela-Bold-Web.woff") format("woff2");
4+
font-weight: 600;
5+
font-style: normal;
6+
font-stretch: normal;
7+
font-display: swap;
8+
}
9+
10+
@font-face {
11+
font-family: "Canela";
12+
src: url("https://pudding.cool/assets/fonts/canela/Canela-Light-Web.woff") format("woff2");
13+
font-weight: 300;
14+
font-style: normal;
15+
font-stretch: normal;
16+
font-display: swap;
17+
}

‎static/assets/demo/fonts/computer-modern.css‎

Lines changed: 26 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,26 @@
1+
@font-face {
2+
font-family: "Computer Modern";
3+
src: url("https://pudding.cool/assets/fonts/computer-modern/cmunrm.woff2") format("woff2");
4+
font-weight: 400;
5+
font-style: normal;
6+
font-stretch: normal;
7+
font-display: swap;
8+
}
9+
10+
@font-face {
11+
font-family: "Computer Modern";
12+
src: url("https://pudding.cool/assets/fonts/computer-modern/cmunrb.woff2") format("woff2");
13+
font-weight: 700;
14+
font-style: normal;
15+
font-stretch: normal;
16+
font-display: swap;
17+
}
18+
19+
@font-face {
20+
font-family: "Computer Modern";
21+
src: url("https://pudding.cool/assets/fonts/computer-modern/cmunsl.woff2") format("woff2");
22+
font-weight: 400;
23+
font-style: italic;
24+
font-stretch: normal;
25+
font-display: swap;
26+
}

0 commit comments

Comments
 (0)