styles/.dir.info
changeset 2306 a7e674281291
parent 309 8cc4d0e7b41b
child 2567 08de56108ad5
--- a/styles/.dir.info	Tue Sep 08 12:03:46 1998 +0200
+++ b/styles/.dir.info	Tue Sep 08 12:04:14 1998 +0200
@@ -10,10 +10,10 @@
 
 There are still some places in the system, where style information is
 programmed into (instead of controlled via the StyleSheet) - but these
-will be removed shortly (these are historical leftovers).
+will be removed over time (these are historical leftovers).
 So be prepared, that some things are not fully working.
 
-Do not modify these original style files - but instead create your own.
+Do not modify the original style files - but instead create your own.
 Styles are read using the same path mechanism as all other file accesses,
 so you can put your private style-files into your private directories,
 even in case a public file exists with the same name.
@@ -53,7 +53,7 @@
 A note on the existing styles:
 
     Most are included as demo and to give you a starting point.
-    Manu are not really usable for ergonomic reasons.
+    Many are not really usable for ergonomic reasons.
     You may want to try your own, by combining features from different styles.
     For example, if you think the #st80-style may look good combined with green-background
     text-selection hilighting; go ahead and create your own.