/* @option user-selected theme width setting */

.width {
	width: 500px;
}