mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix HTML version of the keyword table.

Browse Source 
This should really fix rust-lang/rust#17528.
This commit is contained in:
NODA, Kai 2014-10-12 16:16:43 +08:00
parent 86509d8d7a
commit b2949ae543
2 changed files with 7 additions and 18 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

18
src/doc/reference.md
View File

@ -185,40 +185,24 @@ grammar as double-quoted strings. Other tokens have exact rules given.
### Keywords
The keywords are the following strings, organized by first letter:
<p id="keyword-table-marker">The keywords are the following strings, organized by first letter:</p>
<div id="keywords">
| | | | |
|----------|--------|--------|-------|
| as | | | |
|----------|--------|--------|-------|
| box | break | | |
|----------|--------|--------|-------|
| continue | crate | | |
|----------|--------|--------|-------|
| else | enum | extern | |
|----------|--------|--------|-------|
| false | fn | for | |
|----------|--------|--------|-------|
| if | impl | in | |
|----------|--------|--------|-------|
| let | loop | | |
|----------|--------|--------|-------|
| match | mod | mut | |
|----------|--------|--------|-------|
| priv | proc | pub | |
|----------|--------|--------|-------|
| ref | return | | |
|----------|--------|--------|-------|
| self | static | struct | super |
|----------|--------|--------|-------|
| trait | true | type | |
|----------|--------|--------|-------|
| unsafe | use | | |
|----------|--------|--------|-------|
| while | | | |
|----------|--------|--------|-------|
</div>
Each of these keywords has special meaning in its grammar, and all of them are
excluded from the `ident` rule.

7
src/doc/rust.css
View File

@ -393,4 +393,9 @@ pre.rust { position: relative; }
}
}
#keywords table td { border: none; }
#keyword-table-marker + table thead { display: none; }
#keyword-table-marker + table td { border: none; }
#keyword-table-marker + table {
margin-left: 2em;
margin-bottom: 1em;
}