#catcher /* 모달 틀 */
{
	border: 2px solid;
	padding: 16px;
	width: 800px;
}

#catcher[open] /* 모달이 열린 상태 */
{
	display: flex; /* 이걸 [open] 말고 상시 적용하면 모달을 닫아도 화면에서 완전히 사라지지 않음 */
	flex-direction: column;
	gap: 8px;
}

#catcher-buttons /* 버튼들을 담는 틀 */
{
	display: flex;
	justify-content: center;
	gap: 8px;
}

#catcher-buttons > button /* 버튼들 */
{
	border: 1px solid;
	cursor: pointer;
	width: 20%;
}

#catcher-buttons > button:hover { text-decoration: underline; } /* 버튼 위에 마우스를 올린 상태 */

#catcher-details /* 예외 메시지를 보여줄 영역 */
{
	background-color: white;
	border: 1px solid;
	color: black;
	font-family: monospace;
	font-size: medium;
	overflow-x: scroll;
	overflow-y: scroll;
	padding: 4px;
	resize: none;
	transition: all 1s ease;
	white-space: pre;
	width: 100%;
}

#catcher-details.flash /* 예외 메시지가 복사되는 찰나의 상태 */
{
	background-color: gainsboro;
	transition: none;
}