woher das css bekommen?

[Work]

Hallo,
mal eine bescheidene Frage,
weis jemand wo man das CSS herbekommen kann für folgendes

https://www.w3schools.com/w3css/tryit.asp?filename=tryw3css_navbar_input

eigentlich ist das ein Link wo das CSS HTML steht aber bei diesem Beispiel ist da nichts.

Haubseite ist folgende
https://www.w3schools.com/w3css/w3css_navigation.asp

vielen Dank

[AintCoolName]

Ganz unten im Menü bei References gibt es den download.

[BBig]

Ist das eine Fangfrage? Oder habe ich es nicht verstanden? :rolleyes:
Steht doch im "Code-Teil":

<link rel="stylesheet" href="https://www.w3schools.com/w3css/4/w3.css">
==> https://www.w3schools.com/w3css/4/w3.css

Oder für die ganze Seite: <Strg> + <U>
==> https://www.w3schools.com/lib/codemirror.css

[Work]

Danke für die Hilfe.