Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Publications do not get distributed with docs/; hence, their stylesheet need not | Misha Brukman | 2003-10-28 | 1 | -6/+0 |
* | Added a style for making test red, which is used in CommandLine.html | Misha Brukman | 2003-10-24 | 1 | -0/+3 |
* | Add a style for document footers. | Misha Brukman | 2003-10-24 | 1 | -1/+3 |
* | * Made into valid CSS that W3C accepts | Misha Brukman | 2003-10-24 | 1 | -4/+19 |
* | We will distributed this stylesheet with the documentation, as well as use it | Misha Brukman | 2003-10-22 | 1 | -0/+27 |