Quellcodebibliothek
Statistik
Leitseite
products
/
Sources
/
formale Sprachen
/
Roqc
/
doc
/
common
/
styles
/
html
/
simple
/ (
Beweissystem des Inria
Version 9.1.0
©
) Datei vom 15.8.2025 mit Größe 198 B
Quelle style.css Sprache: unbekannt
#footer {
border-top: solid black 1pt;
text-align: center;
text-indent: 0pt;
}
.menu { }
.menu li {
display: inline;
margin: 0pt;
padding: .5ex 1em;
list-style: none
}
[ Dauer der Verarbeitung: 0.12 Sekunden (vorverarbeitet)
]
2026-04-02