options.css

.setting {
	padding: 2px 4px;
	border-bottom: 1px solid var(--in-content-border-color);
	display: flex;
	align-items: flex-start;
}
.settinglabel {
	flex: 0 0 50%;
}

select {
	margin-left: 0;
	margin-top:0;
	padding-top:inherit;
}
input[type="number"], input[type="text"], .radiobuttongroup {
	width: 100%;
}

input[type="checkbox"] {
	margin-top: 2px;
}

input[type="number"] { /*common.css doesn't define this for number type, so copy it from text*/
	-moz-appearance: none; /* csslint allow: compatible-vendor-prefixes */
	color: var(--in-content-text-color);
	border: 1px solid var(--in-content-box-border-color);
	border-radius: 2px;
	background-color: var(--in-content-box-background);
	font-family: inherit;
	font-size: inherit;
	padding: 5px 10px;
}

input[type="radio"] {
	margin-top: 5px;
	margin-bottom: 5px;
}

.radiobuttongroup {
	display: inline-block;
}

.radiobuttongroup label {
	margin-right: 20px;
}

button {
	text-align: center;
}

.detail {
	font-size: 90%;
	max-width: 45%;
	padding-left: 20px;
	padding-top: 4px;
	padding-bottom: 2px;
	color: graytext;
}