html, body {
  font-family: verdana;
  font-size: 14px;
  padding-top: 24px;
}

.header {
    position: fixed;
	top: 8px;
	margin-top: -8px;
	padding-top: 16px;
	width: 100%;
	background-color: white;
}

input {
  font-size: 16px;
}

h1 {
  font-size: 20px;
  margin-bottom: 5px;
}

h2 {
  font-size: 16px;
  margin-left: 4px;
  margin-top: 0px;
}

object {
  height: 32px;
  margin-right: 10px;
}

.summary {
  display: inline-flex;
  align-items: center;
}

details > summary {
  list-style: none;
}
details > summary::-webkit-details-marker {
  display: none;
}

.tip {
  display: flex;
  align-items: baseline;
  margin-bottom: 5px;
}

.tip > div:first-child {
  width: 100px;
  min-width: 100px;
  font-size: 12px;
  font-weight: bold;
  margin-left: 4px;
}

.tip > div {
  margin-left: 16px;
}