473 Commits

Author	SHA1	Message	Date
Richard Feldman	2a6b74e28a	Fix logo positioning	2023-10-21 23:25:05 -04:00
Richard Feldman	8aacd3358e	Revise info boxes etc	2023-10-21 22:32:20 -04:00
Richard Feldman	420d514695	Don't render the nav logo at on homepage	2023-10-21 20:59:18 -04:00
Richard Feldman	779d887618	Inline Roc logo svg into homepage	2023-10-21 20:46:28 -04:00
Richard Feldman	d2f5b272d8	Big bird	2023-10-21 18:34:43 -04:00
Richard Feldman	4019188240	Revise homepage logo position a bit	2023-10-21 14:10:13 -04:00
Richard Feldman	9e7ae2aa74	Incorporate bird logo into homepage	2023-10-21 14:05:30 -04:00
Richard Feldman	49274476fd	Improve homepage CSS a bunch	2023-10-21 11:01:57 -04:00
Richard Feldman	a94b1d84f4	Move over friendly.md and functional.md	2023-10-21 10:10:40 -04:00
Richard Feldman	4c06d0357a	Improve build-dev-local.sh	2023-10-21 10:10:39 -04:00
Richard Feldman	12f77d94a0	Add favicon	2023-10-21 10:09:07 -04:00
Richard Feldman	8232a06c86	Merge remote-tracking branch 'origin/main' into wip-website-updates	2023-10-21 08:59:48 -04:00
Richard Feldman	cd7a031d09	Merge pull request #5918 from ABuffSeagull/main ... Add optimize.sh script for website	2023-10-19 23:06:53 -04:00
Luke Boswell	4c9f31aa99	restore WIP css and improve styling	2023-10-19 17:11:45 +11:00
Luke Boswell	b90167db47	fix README	2023-10-19 16:23:01 +11:00
Luke Boswell	f55258cd58	remove duplicate static files	2023-10-19 16:21:07 +11:00
Luke Boswell	eb3e97fd95	Update scripts to WIP site for REPL ... workaround for copy static files add REPL to WIP home page WIP site download REPL nightly scripts build WIP Netlify and dev	2023-10-19 16:11:23 +11:00
ABuffSeagull	fa3d3fdd20	Add optimize.sh script for website	2023-10-18 23:28:01 -04:00
Brian Carroll	7646eef387	Fix a confusing initial value in the web REPL JS	2023-10-01 21:17:44 +02:00
Richard Feldman	8eb1d78138	Apply web repl mobile styles to larger smartphones	2023-09-28 14:44:12 -04:00
Brian Carroll	1d95ecf021	Delete mock WASI, we're not using it	2023-09-28 09:30:31 +01:00
Brian Carroll	ed81414c5d	Reduce height of web REPL loading message, to match loaded state	2023-09-28 09:27:52 +01:00
Brian Carroll	53406942c7	Make web REPL JS a bit clearer	2023-09-28 09:11:39 +01:00
Richard Feldman	0974d5709d	Give web repl some mobile-friendly styling	2023-09-27 22:09:54 -04:00
Anton-4	5020b4d1d9	Merge pull request #5858 from lukewilliamboswell/fix-wip-script ... Fix wip-site roc build script	2023-09-27 10:39:01 +02:00
Luke Boswell	938ccbb8b3	update wip build script	2023-09-27 16:35:57 +10:00
Richard Feldman	e2a8c1955d	wip trying things	2023-09-25 09:17:52 -04:00
Anton-4	c310be2b11	no need to link to Bool anymore	2023-09-23 15:02:11 +02:00
Brian Carroll	2ab241dbd6	Remove styles from repl.css that duplicated/conflicted with site.css	2023-09-19 08:37:07 +01:00
Richard Feldman	5dff133e7e	Update build.roc	2023-09-18 16:46:55 -05:00
Richard Feldman	f590b8c740	Add fast.md	2023-09-18 16:46:54 -05:00
Richard Feldman	5fb0c0ac55	Update homepage	2023-09-18 16:46:54 -05:00
Richard Feldman	cfd0c39cb2	Revise homepage some more	2023-09-18 16:46:54 -05:00
Richard Feldman	21a9313333	Update WIP homepage	2023-09-18 16:46:54 -05:00
Richard Feldman	5fd3d069ee	Trying out a new layout for WIP website	2023-09-18 16:46:54 -05:00
Richard Feldman	738fbdcfaa	More WIP website changes	2023-09-18 16:46:53 -05:00
Richard Feldman	480b97543d	More updates to the WIP new website	2023-09-18 16:46:53 -05:00
Richard Feldman	3ea8cf1813	Fix a dark mode contrast issue	2023-09-18 16:25:37 -05:00
Richard Feldman	b8c09b45c5	Use white-space: pre-wrap over <br>	2023-09-18 16:19:09 -05:00
Richard Feldman	73bf7ac904	Don't move caret down a line on Enter in repl	2023-09-18 15:39:12 -05:00
Richard Feldman	13b87c4e21	Smooth out web repl textarea height growth	2023-09-18 15:26:10 -05:00
Richard Feldman	bf33286390	Don't run web repl input when textarea loses focus	2023-09-18 15:26:10 -05:00
Richard Feldman	ceff4d082e	Improve some cross-browser CSS inconsistencies	2023-09-18 15:26:10 -05:00
Richard Feldman	2a5c5c6aca	Autoformat public/index.html	2023-09-18 15:26:10 -05:00
Richard Feldman	bd44fbac3b	Explicitly set repl to UTF-8 encoding	2023-09-18 15:26:09 -05:00
Richard Feldman	1f396871f9	Simplify repl tips	2023-09-18 15:26:09 -05:00
Richard Feldman	2bf6dd9b18	Add top bar to web repl	2023-09-18 15:26:09 -05:00
Richard Feldman	c892e09baa	Restyle web repl	2023-09-18 15:26:09 -05:00
Richard Feldman	0ab49454b3	Fix favicon on Safari	2023-09-18 15:26:09 -05:00
Richard Feldman	d3ae8b719b	Fix some favicon stuff, autoformat www content	2023-09-18 15:26:08 -05:00