Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Doc/Sugar/document/   (Isabelle Prover Version 2025-1©)  Datei vom 16.11.2025 mit Größe 898 B image not shown  

Quelle  at-valid-06.ref.css   Sprache: unbekannt

 
Spracherkennung für: .css vermutete Sprache: Unknown {[0] [0] [0]} [Methode: Schwerpunktbildung, einfache Gewichte, sechs Dimensionen]

@define-color bg_color rgb(249,160,57);

[Dauer der Verarbeitung: 0.13 Sekunden, vorverarbeitet 2026-07-11]