Gedichte Musik Bilder Quellcodebibliothek Diashow Normaldarstellung
Quellcodebibliothek Statistik Leitseite products/sources/formale Sprachen/PVS/while/   (Beweissystem der NASA Version 6.0.9©)  Datei vom 8.10.2014 mit Größe 192 kB image not shown  

Quelle  times.css   Sprache: unbekannt

 
/* times.css                                              Frank Lübeck */
/* Change default CSS to use Times font.    */

body { 
  font-family: Times,Times New Roman,serif;
}

[ Dauer der Verarbeitung: 0.9 Sekunden  (vorverarbeitet)  ]