* Documented common environment variables.
This commit is contained in:
parent
f982df3cd7
commit
ad3121a52d
8 changed files with 313 additions and 180 deletions
|
|
@ -229,4 +229,9 @@ div.epigraph
|
|||
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