3 Commits

Author	SHA1	Message	Date
Thomas Hallgren	75e1c10250	synopis: add header styles that match the GF home page	2018-10-25 17:04:36 +02:00
hallgren	06aa7948da	Add a Quick Links menu to the Libary Synopsis web page. ... The menu is generated dynamically by JavaScript functions defined in quicklinks.js, by traversing the Detailed Table of Contents in the generated synopsis.html.	2017-06-01 18:21:52 +00:00
aarne	5977d08bb7	auxiliaries for making the synopsis with multilingual examples	2010-12-11 20:47:53 +00:00