ndwarshuis
/
org-mode
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
9,449 Commits 2 Branches 439 Tags 111 MiB
Commit Graph

3 Commits

Author SHA1 Message Date
Bastien Guerry 9d51ba9b13 UTILITIES: Use a separate css for the HTML manuals. 2011-12-13 00:21:16 +01:00
Bastien Guerry 4dfc520711 UTILITIES/man*: Fix bug: don't insert </style> 2011-12-10 13:46:50 +01:00
Carsten Dominik ab310f9405 Website: Improve reading experience of the manual 
The manual now used better the org.css file.  It also reacts to single
key presses like "n" and "p", and has a top-level table of contents
that is always active and visible.
 2009-01-19 12:45:20 +01:00