Skip to content

Commit 9b2d228

Browse files
AllenDowneyAllenDowney
committed
Built site for gh-pages
1 parent 21d3c23 commit 9b2d228

28 files changed

Lines changed: 2219 additions & 1102 deletions

‎.nojekyll‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1 +1 @@
1-
b00c82c0
1+
01015173

‎Think-Java.pdf‎

891 KB
Binary file not shown.

‎appa.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,6 +102,7 @@
102102
"search-label": "Search"
103103
}
104104
}</script>
105+
<script defer="" src="assets/javarunner/javarunner.js"></script>
105106

106107
<script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
107108
<script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
@@ -134,6 +135,7 @@
134135
</script>
135136

136137
<link rel="stylesheet" href="custom.css">
138+
<link rel="stylesheet" href="assets/javarunner/javarunner.css">
137139
</head>
138140

139141
<body class="nav-sidebar floating">

‎appb.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,9 +102,11 @@
102102
"search-label": "Search"
103103
}
104104
}</script>
105+
<script defer="" src="assets/javarunner/javarunner.js"></script>
105106

106107

107108
<link rel="stylesheet" href="custom.css">
109+
<link rel="stylesheet" href="assets/javarunner/javarunner.css">
108110
</head>
109111

110112
<body class="nav-sidebar floating">

‎appc.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -102,6 +102,7 @@
102102
"search-label": "Search"
103103
}
104104
}</script>
105+
<script defer="" src="assets/javarunner/javarunner.js"></script>
105106

106107
<script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
107108
<script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
@@ -134,6 +135,7 @@
134135
</script>
135136

136137
<link rel="stylesheet" href="custom.css">
138+
<link rel="stylesheet" href="assets/javarunner/javarunner.css">
137139
</head>
138140

139141
<body class="nav-sidebar floating">

‎appd.html‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -101,6 +101,7 @@
101101
"search-label": "Search"
102102
}
103103
}</script>
104+
<script defer="" src="assets/javarunner/javarunner.js"></script>
104105

105106
<script src="https://cdnjs.cloudflare.com/polyfill/v3/polyfill.min.js?features=es6"></script>
106107
<script src="https://cdn.jsdelivr.net/npm/mathjax@3/es5/tex-chtml-full.js" type="text/javascript"></script>
@@ -133,6 +134,7 @@
133134
</script>
134135

135136
<link rel="stylesheet" href="custom.css">
137+
<link rel="stylesheet" href="assets/javarunner/javarunner.css">
136138
</head>
137139

138140
<body class="nav-sidebar floating">

‎assets/javarunner/javarunner.css‎

Lines changed: 272 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,272 @@
1+
/* java-runner Widget Styles */
2+
3+
:root {
4+
--jr-bg: #ffffff;
5+
--jr-border: #d0d0d0;
6+
--jr-toolbar-bg: #f5f5f5;
7+
--jr-tab-text: #555555;
8+
--jr-tab-hover: #e8e8e8;
9+
--jr-tab-active-text: #000000;
10+
--jr-accent: #007acc;
11+
--jr-accent-hover: #005a9e;
12+
--jr-console-bg: #1e1e1e;
13+
--jr-console-text: #d4d4d4;
14+
--jr-console-input: #73d0ff;
15+
--jr-console-error: #ff6b6b;
16+
--jr-console-separator: #444444;
17+
--jr-btn-run: #1a7f37;
18+
--jr-btn-run-hover: #15692d;
19+
--jr-btn-stop: #dc3545;
20+
--jr-btn-stop-hover: #c82333;
21+
--jr-btn-reset: #6c757d;
22+
--jr-btn-reset-hover: #5a6268;
23+
--jr-btn-test: #6f42c1;
24+
--jr-btn-test-hover: #5a32a3;
25+
--jr-input-bg: #2d2d2d;
26+
--jr-input-border: #666666;
27+
--jr-radius: 6px;
28+
--jr-font-mono: "Fira Code", "Consolas", "Monaco", "Courier New", monospace;
29+
}
30+
31+
/* ---- Widget shell ---- */
32+
33+
.jr-widget {
34+
border: 1px solid var(--jr-border);
35+
border-radius: var(--jr-radius);
36+
overflow: hidden;
37+
margin: 1em 0;
38+
background: var(--jr-bg);
39+
font-family: sans-serif;
40+
}
41+
42+
/* ---- Toolbar ---- */
43+
44+
.jr-toolbar {
45+
display: flex;
46+
gap: 6px;
47+
padding: 6px 10px;
48+
background: var(--jr-toolbar-bg);
49+
border-top: 1px solid var(--jr-border);
50+
border-bottom: 1px solid var(--jr-border);
51+
}
52+
53+
.jr-btn {
54+
border: none;
55+
border-radius: 4px;
56+
padding: 5px 14px;
57+
font-size: 13px;
58+
font-weight: 600;
59+
cursor: pointer;
60+
color: #fff;
61+
transition: background 0.15s;
62+
}
63+
64+
.jr-btn-run { background: var(--jr-btn-run); }
65+
.jr-btn-run:hover { background: var(--jr-btn-run-hover); }
66+
.jr-btn-stop { background: var(--jr-btn-stop); }
67+
.jr-btn-stop:hover { background: var(--jr-btn-stop-hover); }
68+
.jr-btn-reset { background: var(--jr-btn-reset); }
69+
.jr-btn-reset:hover { background: var(--jr-btn-reset-hover); }
70+
.jr-btn-test { background: var(--jr-btn-test); }
71+
.jr-btn-test:hover { background: var(--jr-btn-test-hover); }
72+
73+
/* ---- Tab bar ---- */
74+
75+
.jr-tab-bar {
76+
display: flex;
77+
background: var(--jr-toolbar-bg);
78+
border-bottom: 1px solid var(--jr-border);
79+
overflow-x: auto;
80+
font-size: 13px;
81+
}
82+
83+
.jr-tab {
84+
display: flex;
85+
align-items: center;
86+
gap: 4px;
87+
padding: 6px 12px;
88+
cursor: pointer;
89+
border-right: 1px solid var(--jr-border);
90+
white-space: nowrap;
91+
user-select: none;
92+
color: var(--jr-tab-text);
93+
transition: background 0.15s;
94+
}
95+
96+
.jr-tab:hover {
97+
background: var(--jr-tab-hover);
98+
}
99+
100+
.jr-tab-active {
101+
background: var(--jr-bg);
102+
color: var(--jr-tab-active-text);
103+
font-weight: 600;
104+
border-bottom: 2px solid var(--jr-accent);
105+
}
106+
107+
.jr-tab-close {
108+
font-size: 15px;
109+
line-height: 1;
110+
padding: 0 2px;
111+
border-radius: 3px;
112+
color: #999;
113+
}
114+
115+
.jr-tab-close:hover {
116+
background: #ccc;
117+
color: #333;
118+
}
119+
120+
.jr-tab-add {
121+
font-size: 16px;
122+
font-weight: 600;
123+
color: #888;
124+
padding: 6px 14px;
125+
border-right: none;
126+
}
127+
128+
.jr-tab-add:hover {
129+
background: var(--jr-tab-hover);
130+
color: #333;
131+
}
132+
133+
.jr-tab-dragging {
134+
opacity: 0.4;
135+
}
136+
137+
.jr-tab-dragover {
138+
border-left: 2px solid var(--jr-accent);
139+
}
140+
141+
/* ---- Editor ---- */
142+
143+
.jr-editor {
144+
border-bottom: 1px solid var(--jr-border);
145+
}
146+
147+
.jr-editor .cm-editor {
148+
max-height: 600px;
149+
overflow: auto;
150+
}
151+
152+
.jr-editor .cm-editor.cm-focused {
153+
outline: none;
154+
}
155+
156+
/* ---- Shared console / REPL base ---- */
157+
158+
.jr-console,
159+
.jr-repl {
160+
background: var(--jr-console-bg);
161+
color: var(--jr-console-text);
162+
font-family: var(--jr-font-mono);
163+
font-size: 13px;
164+
line-height: 1.4;
165+
overflow-x: auto;
166+
}
167+
168+
.jr-console-output,
169+
.jr-repl-output {
170+
margin: 0;
171+
padding: 10px 12px;
172+
white-space: pre;
173+
word-break: normal;
174+
overflow-wrap: normal;
175+
}
176+
177+
.jr-error,
178+
.jr-repl-error {
179+
color: var(--jr-console-error);
180+
}
181+
182+
.jr-input-echo {
183+
color: var(--jr-console-input);
184+
}
185+
186+
/* ---- Console ---- */
187+
188+
.jr-console {
189+
max-height: 300px;
190+
overflow-y: auto;
191+
position: relative;
192+
}
193+
194+
.jr-console-output {
195+
min-height: 1.5em;
196+
}
197+
198+
.jr-console-input {
199+
display: flex;
200+
gap: 6px;
201+
padding: 4px 12px 8px;
202+
align-items: center;
203+
border-top: 1px solid var(--jr-console-separator);
204+
}
205+
206+
.jr-console-input-field {
207+
flex: 1;
208+
background: var(--jr-input-bg);
209+
border: 1px solid var(--jr-input-border);
210+
border-radius: 3px;
211+
padding: 4px 8px;
212+
color: var(--jr-console-input);
213+
font-family: var(--jr-font-mono);
214+
font-size: 13px;
215+
outline: none;
216+
}
217+
218+
.jr-console-input-field:focus {
219+
border-color: var(--jr-accent);
220+
}
221+
222+
.jr-console-submit {
223+
background: var(--jr-accent);
224+
color: #fff;
225+
border: none;
226+
border-radius: 3px;
227+
padding: 4px 12px;
228+
font-size: 12px;
229+
cursor: pointer;
230+
}
231+
232+
.jr-console-submit:hover {
233+
background: var(--jr-accent-hover);
234+
}
235+
236+
/* ---- REPL ---- */
237+
238+
.jr-repl {
239+
border: 1px solid var(--jr-border);
240+
border-radius: var(--jr-radius);
241+
margin: 1em 0;
242+
max-height: 400px;
243+
overflow-y: auto;
244+
}
245+
246+
.jr-repl-output {
247+
padding-bottom: 0;
248+
}
249+
250+
.jr-repl-input-line {
251+
display: flex;
252+
align-items: center;
253+
padding: 0px 12px 10px;
254+
}
255+
256+
.jr-repl-prompt {
257+
color: var(--jr-console-input);
258+
font-weight: bold;
259+
white-space: pre;
260+
user-select: none;
261+
}
262+
263+
.jr-repl-input {
264+
flex: 1;
265+
background: transparent;
266+
border: none;
267+
color: var(--jr-console-text);
268+
font-family: inherit;
269+
font-size: inherit;
270+
outline: none;
271+
padding: 0;
272+
}

‎assets/javarunner/javarunner.js‎

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

0 commit comments

Comments
 (0)