|  | f3ccaaefd8 | [minor] changed colors in examples stylesheets back to default | 2023-04-21 17:18:16 +02:00 |  | 
			
				
					|  | a15aee1da6 | [minor] update stylesheets | 2023-04-21 16:40:58 +02:00 |  | 
			
				
					|  | a6475f2c3b | tweak website design in html and css | 2023-04-21 13:52:56 +02:00 |  | 
			
				
					|  | fb4d5c2929 | [minor] optimized stylesheets | 2023-04-19 15:44:31 +02:00 |  | 
			
				
					|  | a56781dca3 | [minor] renamed and added stylesheets to git repository | 2022-12-08 13:23:21 +01:00 |  |