Codepen.io is down, anyone got a local copy of mardKv.css?

Codepen.io is down at the moment (https://updownradar.com/status/Codepen.io). Plotly documentation references two files on codepen:

As a result, some dashboards now have screwed layouts. Anyone got a local copy of mardKv.css to share?

Seems like mardKv.css only contained a few lines:

.dark-theme-control { 
  margin:auto; 
  margin-top: 20px; 
  border-style: none; 
}