body {
	margin-top: 35vh;
	display: flex;
	flex-direction: column;
	align-items: center;
	background-color: #fbfbfe;
	color: #050315;
}

h1,
h2,
h3,
h4 {
	color: #050315;
}

body > h1 {
	font-size: 2.5rem;
	font-weight: 800;
	color: #433bff;
}

.search-bar {
	display: flex;
	flex-direction: column;
	align-items: center;
	margin: 1em auto 3em;
}

.search-bar input {
	padding: 10px 20px;
	border-radius: 8px;
	outline: none;
	width: 400px;
	border-color: #443dff;
}

.search-bar input:focus {
	outline: none; /* Removes the default browser outline */
	border-color: #443dff; /* Changes border color on focus */
	box-shadow: 0 0 5px rgba(68, 61, 255, 0.5); /* Adds a subtle shadow on focus */
}

.search-bar button {
	background-color: #433bff;
	color: white;

	padding: 10px 20px;
	margin: 5px;

	border: none;
	border-radius: 8px;

	font-size: 16px;
	font-weight: bold;
	text-align: center;
	text-decoration: none;

	cursor: pointer;
	transition: background-color 0.3s ease;
}

.search-bar button:hover {
	background-color: #3731d8;
}

.search-bar button:active {
	background-color: #171564;
	transform: translateY(1px);
}

.search-bar > label {
	font-size: 1.2rem;
	margin-bottom: 8px;
}

#search-content > h2 {
	font-size: 1.8rem;
	color: #433bff;
}

#search-results {
	margin-top: 8px;
}

#search-results li {
	list-style: none;
	margin-bottom: 8px;
	padding: 0.7rem;
	border: 2px solid #dedcff;
	border-radius: 8px;
}

#search-results li > :not(h4) {
	margin-left: 32px;
}

#search-results li > h4 {
	color: #2f27ce;
}

a:link {
	color: #050316;
}

a:hover {
	color: #443dff;
}

.hidden {
	visibility: hidden;
}

/* ============================================ */
/* PART 4: Query Reformulation Styling */
/* ============================================ */

#reformulation-info {
	background-color: #f0f0ff;
	border: 2px solid #433bff;
	border-radius: 8px;
	padding: 1rem;
	margin-bottom: 1.5rem;
	max-width: 800px;
}

#reformulation-info h3 {
	color: #433bff;
	margin-bottom: 0.5rem;
	font-size: 1.3rem;
}

#reformulation-info p {
	margin: 0.5rem 0;
}

#reformulation-info strong {
	color: #2f27ce;
}

/* Section titles for result groups */
.section-title {
	font-size: 1.5rem;
	margin-top: 1.5rem;
	margin-bottom: 0.8rem;
	padding-bottom: 0.5rem;
	border-bottom: 2px solid #dedcff;
}

/* Result list styling */
.result-list {
	margin-top: 8px;
	margin-bottom: 1.5rem;
}

.result-list li {
	list-style: none;
	margin-bottom: 8px;
	padding: 0.7rem;
	border-radius: 8px;
}

.result-list li > :not(h4) {
	margin-left: 32px;
}

.result-list li > h4 {
	font-weight: bold;
}

/* Original results styling (S) - Blue theme */
#original-results-section .section-title {
	color: #2563eb;
}

#original-results li,
.original-result {
	background-color: #dbeafe;
	border: 2px solid #93c5fd;
}

#original-results li > h4,
.original-result > h4 {
	color: #1e40af;
}

/* Reformulated results styling (S') - Green theme */
#reformulated-results-section .section-title {
	color: #16a34a;
}

#reformulated-results li,
.reformulated-result {
	background-color: #dcfce7;
	border: 2px solid #86efac;
}

#reformulated-results li > h4,
.reformulated-result > h4 {
	color: #15803d;
}

/* Responsive adjustments */
@media (max-width: 768px) {
	#reformulation-info {
		max-width: 90%;
		padding: 0.8rem;
	}
	
	.search-bar input {
		width: 300px;
	}
}