* GC docs.
This commit is contained in:
parent
128c174295
commit
806b91f104
3 changed files with 112 additions and 177 deletions
|
|
@ -230,8 +230,3 @@ table.productionset table.productionset
|
|||
{
|
||||
font-family: monospace;
|
||||
}
|
||||
|
||||
a[href] {
|
||||
text-decoration: none;
|
||||
border-bottom: 1px dotted #005aa0;
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue