Hugging Face's logo

Spaces:
mfuntowicz
/
hfinfer
Running

App Files
hfinfer
File size: 1,501 Bytes
5071df6
4ed61ad
 
 
 
 
 
 
 
 
 
 
 
5071df6
 
 
 
 
b66867a
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
4ed61ad
 
5071df6
 
 
 
4ed61ad
 
5071df6
b66867a
 
 
 
 
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
:root {
  --bg: #0d1117;
  --card: #161b22;
  --border: #2b333d;
  --fg: #e6edf3;
  --muted: #8b949e;
  --accent: #4f8ff7;
  --good: #4fc38a;
  --bad: #f7784f;

  color-scheme: dark;
  font-family:
    Inter, system-ui, -apple-system, 'Segoe UI', Roboto, Helvetica, Arial, sans-serif;
  font-synthesis: none;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
}

/* Light theme: system preference and explicit opt-in. The dark values in
   :root above stay the default; `html[data-theme='dark']` re-asserts them
   with enough specificity to beat the media query. */
@media (prefers-color-scheme: light) {
  :root {
    --bg: #f4f6f8;
    --card: #ffffff;
    --border: #d4dbe2;
    --fg: #1c2128;
    --muted: #59636e;
    --accent: #2563eb;
    --good: #15803d;
    --bad: #c2410c;

    color-scheme: light;
  }
}

html[data-theme='light'] {
  --bg: #f4f6f8;
  --card: #ffffff;
  --border: #d4dbe2;
  --fg: #1c2128;
  --muted: #59636e;
  --accent: #2563eb;
  --good: #15803d;
  --bad: #c2410c;

  color-scheme: light;
}

html[data-theme='dark'] {
  --bg: #0d1117;
  --card: #161b22;
  --border: #2b333d;
  --fg: #e6edf3;
  --muted: #8b949e;
  --accent: #4f8ff7;
  --good: #4fc38a;
  --bad: #f7784f;

  color-scheme: dark;
}

* {
  box-sizing: border-box;
}

body {
  margin: 0;
  background: var(--bg);
  color: var(--fg);
}

/* Keyboard focus must always be visible (theme-var colors only). */
:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
}