Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Meta: changes to support a revamped developer's edition #2747

Merged
merged 14 commits into from
Jun 22, 2017
Merged

Meta: changes to support a revamped developer's edition #2747

Show file tree
Hide file tree
Changes from 10 commits
Commits
Show all changes
14 commits
Select commit Hold shift + click to select a range
72aba39
Meta: changes to support a revamped developer's edition
domenic Jun 8, 2017
3795d80
A little extra space for TOC
domenic Jun 12, 2017
7b98635
Restrict list widths too
domenic Jun 12, 2017
ce36c64
Omit fingerprints and security infra from dev edition
domenic Jun 12, 2017
2c02f09
Other style tweaks
domenic Jun 12, 2017
35781fc
Update for Wattsi changes
domenic Jun 15, 2017
7f0d22a
Include 'Uses HTMLFooElement' in dev edition
zcorpan Jun 20, 2017
690b5fa
Fix text surrounding IDL blocks to make sense in dev edition
zcorpan Jun 20, 2017
c165065
casted → cast
zcorpan Jun 20, 2017
3625325
Make the workers section more dev-focused
domenic Jun 20, 2017
73c7ea6
Tweak header
domenic Jun 20, 2017
2e8a510
Move stuff around in stylesheet a bit
domenic Jun 21, 2017
5a9e36d
Fix typo
domenic Jun 21, 2017
eccac93
Include fonts
domenic Jun 21, 2017
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Binary file added dev/mplus-2p-heavy.woff
View file
Open in desktop
Binary file not shown.
Loading