martin 0d399dc585 Aaaahhh I remember now why this was in here, because in future there might ... be course-level themes and user-level themes. Putting it back as before ... :-)		2002-09-27 14:19:59 +00:00
..
standard	Newly formatted header.html files in themes ... still works the same	2002-09-23 15:42:22 +00:00
standardblue	Newly formatted header.html files in themes ... still works the same	2002-09-23 15:42:22 +00:00
standardgreen	Newly formatted header.html files in themes ... still works the same	2002-09-23 15:42:22 +00:00
standardlogo	New standardlogo theme ... like standard but with a logo	2002-09-23 15:38:22 +00:00
standardred	Newly formatted header.html files in themes ... still works the same	2002-09-23 15:42:22 +00:00
index.php	Aaaahhh I remember now why this was in here, because in future there might	2002-09-27 14:19:59 +00:00