<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body {
  font-size: 20px;
}

h2 {
  font-size: 28px;
  font-weight: bold;
  margin-top: 24px;
  margin-bottom: 16px;
}

h3 {
  font-size: 28px;
  font-weight: normal;
  margin-top: 24px;
  margin-bottom: 16px;
}

h4 {
  font-size: 24px;
  font-weight: normal;
  margin-top: 16px;
  margin-bottom: 10px;
}

.wrap {
  padding: 15px;
}

.header {
  border-bottom: 2px dashed #e9392b;
}

.header img {
  height: 30px;
}

.header h1 {
  font-size: 45px;
}

img {
  max-height: 50vh;
}

details.device summary {
  font-size: 20px;
}
</pre></body></html>