/*  Colors
 * 
 *  bg & title - #d6c2a8               base
 *  h3bg & borders & links - #e1d2bf   +2
 *  shadows & main border - #cbb191    -2
 *  
 */


/*  Reset  */

body,div,dl,dt,dd,ul,ol,li,h1,h2,h3,h4,h5,h6,pre,form,fieldset,input,textarea,p,blockquote,th,td { 
	padding: 0;
	margin: 0;
	}
table {
	border-collapse: collapse;
	border-spacing: 0;
	}
fieldset,img { 
	border: 0;
	}
ol,ul {
	list-style: none;
	}
h1,h2,h3,h4,h5,h6 {
	font-weight: normal;
	font-size: 100%;
	}
abbr,acronym { border: 0;
	}

/*  General   */

body {
	background: #d6c2a8;
	font-size: 18px;
	color: #000;
	/* font-family:Palatino,"Palatino Linotype",Georgia,"Times New Roman",Times,serif; */
	font-family: "Segoe UI";
    font-weight: 300;
    src: local("Segoe UI Semilight"), local("Segoe UI");
	letter-spacing: .02em;
}

a, a:hover, a:visited {
	color: #4b3924;
}

h1 {
	font-weight: bold;
	font-size: 40px;
	color: #4b3924;
	letter-spacing: .05em;
}

h2 {
	font-weight: bold;
	font-size: 22px;
	color: #4b3924;
}

h3 {
	font-weight: bold;
	font-size: 20px;
	background: #e1d2bf;
	padding: 10px 40px;
	margin-left: -40px;
	width: 450px;
	color: #000;
	margin-top: 20px;
	margin-bottom: 20px;
}

h4 {
	font-weight: bold;
	font-size: 18px;
	margin-top: 20px;
}

p {
	margin-bottom: 6px;
}

/*  Content   */

#wrapper {
	background-color: #fff;
	width: 850px;
	margin: 60px auto;
	padding: 40px;
	box-shadow: 10px 10px 5px #cbb191;
	-moz-box-shadow: 10px 10px 5px #cbb191;
	-webkit-box-shadow: 10px 10px 5px #cbb191;
	border: 1px solid #cbb191;
}

#header {
	padding-bottom: 275px;
	height: 100%;
	border-bottom: 2px solid #d6c2a8;
}

#title {
	float: right;
	/*margin-top: -20px;*/
	width: 50%;
}

#contact {
	float: left;
	margin-right: 10px;	
	padding-top: 10px;

}

#contact td {
	padding-right: 10px;
}

#background {
	clear: both;
}

#background p {
	margin: 20px 60px 20px 40px;
}

#experience {
	margin-bottom: 40px;
}

#bio {
	border-bottom: 2px solid #d6c2a8;
}

#nav {
	text-align: center;
	word-wrap: break-word;
}

.exp {
	margin: 10px 40px;
}

.year {
	float: right;
	margin-top: -40px;
	font-weight: bold;
	margin-right: 40px;
}

.gpa {
	float: right;
	margin-top: -20px;
	margin-right: 40px;
}

.description {
	clear: both;
	margin: 20px 40px;
}

.pub {
	 margin: 20px 0px 20px 0px;
}

.pubtitle {
	 font-size: 110%;
	 font-weight: 500;
	 margin-bottom: 5px;
}

.pubconf {
	background-color: #ADD8E6;
  border-radius: 10px;
  padding: 1px 5px 1px 5px;
  font-size: 10pt;
}

.pubsec {
	 margin-bottom: 10px;
	 padding-bottom: 5px;
	 border-bottom: 2px solid #d6c2a8;

}

#education .exp {
	margin-bottom: 30px;
}

#skills {
	border-bottom: 2px solid #e1d2bf;
	padding-bottom: 100px;
}

#skills ul {
	margin: 20px;
}

#skills li {
	float: left;
	margin-right: 15px;
	margin-left: 15px;
	width: 210px;
	padding-bottom: 10px;
	font-size: 14px;
}

#footer {
	clear: both;
	font-size: 12px;
	text-align: center;
	padding-top: 40px;
}

.project {
	margin: 30px 20px;
	height: 100px;
}

.projimg {
	height: 90px;
	width: 180px;
	float: left;
	margin: 0px 50px 0px 0px;
}

.projdes {
	padding: 10px;
}

/* Project pages */
.project-page h3 {
	margin-top: 28px;
}

.project-back-link {
	margin-bottom: 14px;
	font-size: 15px;
}

.project-back-link a {
	font-weight: 600;
}

.project-hero {
	padding: 28px;
	margin-bottom: 24px;
	background: #fbfaf8;
	border: 1px solid #e7ded2;
	border-top: 5px solid #5f7f95;
}

.project-kicker {
	margin-bottom: 10px;
	font-size: 14px;
	font-weight: 700;
	color: #5d4932;
	text-transform: uppercase;
}

.project-hero h1 {
	margin-bottom: 4px;
	letter-spacing: 0;
}

.project-hero h2 {
	margin-bottom: 16px;
	line-height: 1.35;
}

.project-lede {
	max-width: 720px;
	line-height: 1.55;
}

.project-meta {
	display: flex;
	flex-wrap: wrap;
	gap: 8px;
	margin-top: 18px;
}

.project-meta span {
	display: inline-block;
	padding: 4px 9px;
	background: #e9f1f6;
	border: 1px solid #b8cbd8;
	border-radius: 3px;
	font-size: 14px;
	font-weight: 600;
	color: #253846;
}

.project-actions {
	margin-top: 18px;
}

.project-actions a,
.project-resource a {
	display: inline-block;
	margin-right: 10px;
	padding: 7px 11px;
	background: #4b3924;
	color: #fff;
	text-decoration: none;
	border-radius: 3px;
}

.project-summary-grid {
	display: grid;
	grid-template-columns: repeat(auto-fit, minmax(170px, 1fr));
	gap: 14px;
	margin: 0 0 24px 0;
}

.project-summary-results {
	margin-top: 18px;
	margin-bottom: 0;
}

.project-summary-card {
	padding: 16px;
	background: #fbfaf8;
	border: 1px solid #e7ded2;
	border-left: 4px solid #5f7f95;
}

.project-stat {
	display: block;
	margin-bottom: 6px;
	font-size: 28px;
	font-weight: 700;
	color: #2b2116;
}

.project-summary-card p {
	line-height: 1.4;
}

.project-two-column {
	display: grid;
	grid-template-columns: 1fr 1fr;
	gap: 24px;
}

.arcane-pipeline {
	display: grid;
	grid-template-columns: repeat(4, 1fr);
	gap: 12px;
	margin-top: 12px;
}

.system-overview-figure {
	margin: 14px 0 18px 0;
	padding: 14px;
	background: #fff;
	border: 1px solid #e7ded2;
	border-radius: 4px;
	overflow-x: auto;
}

.system-overview-figure img {
	display: block;
	width: 100%;
	min-width: 720px;
	height: auto;
}

.system-overview-figure figcaption {
	margin-top: 10px;
	font-size: 14px;
	line-height: 1.35;
	color: #5d4932;
}

.system-overview-placeholder {
	display: grid;
	grid-template-columns: 1fr auto 1fr auto 1fr auto 1fr;
	align-items: center;
	gap: 10px;
	margin: 14px 0 18px 0;
	padding: 18px;
	background: #fbfaf8;
	border: 1px dashed #b8cbd8;
	border-radius: 4px;
}

.overview-node {
	min-height: 70px;
	display: flex;
	align-items: center;
	justify-content: center;
	padding: 10px;
	text-align: center;
	overflow-wrap: anywhere;
	line-height: 1.25;
	font-weight: 600;
	background: #fff;
	border: 1px solid #e7ded2;
	border-top: 4px solid #5f7f95;
}

.overview-input {
	border-top-color: #6f8f76;
}

.overview-model {
	border-top-color: #5f7f95;
}

.overview-fuzzer {
	border-top-color: #a8874b;
}

.overview-output {
	border-top-color: #8a7357;
}

.overview-arrow {
	font-weight: 700;
	color: #5d4932;
}

.system-overview-placeholder figcaption {
	grid-column: 1 / -1;
	margin-top: 8px;
	font-size: 14px;
	line-height: 1.35;
	color: #5d4932;
}

.arcane-step {
	position: relative;
	padding: 16px;
	background: #fbfaf8;
	border: 1px solid #e7ded2;
}

.arcane-step span {
	display: inline-flex;
	align-items: center;
	justify-content: center;
	width: 26px;
	height: 26px;
	margin-bottom: 9px;
	border-radius: 50%;
	background: #5f7f95;
	color: #fff;
	font-weight: 700;
}

.arcane-step h4 {
	margin-top: 0;
	margin-bottom: 6px;
	color: #3d3021;
}

.arcane-step p {
	line-height: 1.4;
}

.project-list {
	list-style: circle;
	margin: 10px 0 0 24px;
}

.project-list li {
	margin-bottom: 8px;
	line-height: 1.45;
}

.citation-box {
	white-space: pre-wrap;
	padding: 14px;
	background: #fbfaf8;
	border: 1px solid #cbb191;
	border-left: 4px solid #5f7f95;
	font-family: Consolas, "Courier New", monospace;
	font-size: 13px;
	line-height: 1.45;
	color: #2b2116;
}

.warning {
	font-size: 20px;
	color: white;
	background: orange;
	padding-top:5px;
	padding-bottom:5px;
	text-align: center;
}

.announcement {
	border-style: solid;
	font-size: 20px;
	color: red;
	padding-top:5px;
	padding-bottom:5px;
	text-align: center;
}

.inline-block {
	display: inline-block;
	vertical-align: top;
}

.research-area-grid {
	display: grid;
	grid-template-columns: repeat(3, 1fr);
	gap: 16px;
	margin: 12px 0 24px 0;
}

.research-area-card {
	padding: 16px;
	background: #fbfaf8;
	border: 1px solid #e7ded2;
	border-top: 4px solid #8a7357;
	border-radius: 4px;
}

.research-area-applications {
	border-top-color: #6f8f76;
}

.research-area-security {
	border-top-color: #5f7f95;
}

.research-area-ai {
	border-top-color: #a8874b;
}

.research-area-card h4 {
	margin-top: 0;
	margin-bottom: 8px;
	color: #3d3021;
}

.research-area-card p {
	line-height: 1.45;
	margin-bottom: 0;
}

.research-projects-panel {
	margin: -8px 0 28px 0;
}

.research-projects-panel h4 {
	margin-top: 0;
	margin-bottom: 12px;
	color: #3d3021;
}

.research-project-columns {
	display: grid;
	grid-template-columns: repeat(3, 1fr);
	gap: 18px;
}

.research-project-column {
	padding: 12px 14px 12px 18px;
	background: #fbfaf8;
	border: 1px solid #e7ded2;
	border-left: 4px solid #8a7357;
	border-radius: 4px;
}

.research-project-applications {
	border-left-color: #6f8f76;
}

.research-project-security {
	border-left-color: #5f7f95;
}

.research-project-ai {
	border-left-color: #a8874b;
}

.research-project-list {
	list-style: circle;
	margin: 0 0 0 18px;
}

.research-project-list li {
	margin-bottom: 4px;
	line-height: 1.35;
}


.student-div {
  width: 150px;
  height: 180px;
  padding-top:20px;
  padding-right:20px;
  padding-left:20px;
  padding-bottom:50px;
  display: inline-block;
  text-align: center;
  vertical-align: top;
}

.student-grid {
	display: grid;
	grid-template-columns: repeat(auto-fill, minmax(160px, 1fr));
	gap: 18px;
	margin: 12px 0 26px 0;
}

.student-card {
	min-height: 260px;
	padding: 14px 12px;
	text-align: center;
	background: #fbfaf8;
	border: 1px solid #e7ded2;
	border-radius: 4px;
}

.student-card-no-photo {
	min-height: 0;
	text-align: left;
}

.student-img {
  border-radius: 50%;
  width: 150px;
  height: 150px;
  border: 3px solid #9a8a75;
  box-shadow: 0 0 0 4px #fff, 0 2px 8px rgba(75, 57, 36, 0.18);
  object-fit: cover;
}

.student-card .student-img {
	display: block;
	margin: 0 auto 10px auto;
}

.student-photo-fallback {
	display: flex;
	align-items: center;
	justify-content: center;
	width: 150px;
	height: 150px;
	margin: 0 auto 10px auto;
	border-radius: 50%;
	border: 3px solid #9a8a75;
	box-shadow: 0 0 0 4px #fff, 0 2px 8px rgba(75, 57, 36, 0.18);
	background: #efe7dc;
	color: #4b3924;
	font-size: 30px;
	font-weight: 600;
}

.student-name {
	font-weight: 600;
	line-height: 1.25;
}

.student-role,
.student-detail,
.student-period,
.student-next {
	font-size: 15px;
	line-height: 1.35;
	margin-top: 3px;
}

.student-detail,
.student-period {
	color: #514636;
}

.student-next {
	font-style: italic;
	color: #6b5a43;
}

.group-subhead {
	margin-top: 18px;
	margin-bottom: 8px;
	padding-bottom: 5px;
	border-bottom: 1px solid #e1d2bf;
	color: #3d3021;
}

.project-alumni-intro {
	margin-top: 22px;
}

.project-alumni-list {
	list-style: circle;
	margin: 8px 0 0 24px;
}

.project-alumni-list li {
	margin-bottom: 4px;
}

.homepage-student-list {
	margin-top: 6px;
}

.homepage-student-list li {
	margin-bottom: 4px;
}

.student-phd-img {
	border-color: #5f7f95;
}
.student-ms-img {
	border-color: #a8874b;
}
.student-bs-img {
	border-color: #6f8f76;
}

.group-img {
  width: 400px;
}

.group-carousel {
	width: min(100%, 620px);
	aspect-ratio: 4 / 3;
	background: #2f2b26;
	overflow: hidden;
}

.group-carousel .carousel-inner,
.group-carousel .carousel-item {
	height: 100%;
}

.group-carousel .carousel-item img {
	width: 100%;
	height: 100%;
	object-fit: cover;
	object-position: center;
}

.group-carousel .carousel-caption {
	right: 0;
	bottom: 0;
	left: 0;
	padding: 10px 16px;
	background: rgba(35, 29, 22, 0.58);
}

.group-carousel .carousel-caption h5,
.group-carousel .carousel-caption p {
	margin: 0;
}

.sponsor-img {
  height: 100px;
  margin-right: 20px;
}

.table-news th {
	width: 15%;
	font-weight: normal;
	text-align: right;
	padding-right: 3%;
	padding-bottom: 3pt;
}

.table-news td {
	padding-bottom: 3pt;
}

/* News list */
.news-list {
	margin-top: 10px;
	border-top: 1px solid #e6ded4;
}

.news-item {
	display: grid;
	grid-template-columns: 92px 1fr;
	align-items: center;
	gap: 12px;
	padding: 6px 0;
	border-bottom: 1px solid #eee7df;
}

.news-date {
	font-weight: 600;
	color: #5d4932;
	text-align: right;
	white-space: nowrap;
	font-size: 14px;
}

.news-text {
	line-height: 1.35;
}

.news-list-older {
	margin-top: 8px;
	border-top: 0;
}

.news-toggle {
	display: inline-block;
	appearance: none;
	-webkit-appearance: none;
	margin-top: 9px;
	padding: 0;
	border: 0;
	background: transparent;
	color: #2c5d7c;
	font: inherit;
	font-weight: 600;
	text-decoration: underline;
	cursor: pointer;
}

.news-toggle:hover,
.news-toggle:focus {
	color: #4b3924;
}

/* Publication lists */
.pub-list {
	margin-top: 18px;
}

.pub-section-list {
	margin-bottom: 28px;
}

.pub-item {
	margin: 0 0 16px 0;
	padding: 14px 16px;
	border-left: 4px solid #cbb191;
	background: #fbfaf8;
}

.pubtitle {
	font-size: 110%;
	font-weight: 600;
	line-height: 1.35;
	margin-bottom: 7px;
	color: #2b2116;
}

.pub-meta {
	margin-bottom: 7px;
}

.pubconf {
	display: inline-block;
	background-color: #e9f1f6;
	border: 1px solid #b8cbd8;
	border-radius: 3px;
	padding: 2px 7px;
	font-size: 10pt;
	font-weight: 600;
	color: #253846;
}

.pub-authors {
	line-height: 1.45;
}

.pub-note {
	margin-top: 6px;
	font-weight: 600;
	color: #9b1c1c;
}

.pub-links {
	margin-top: 7px;
	font-size: 95%;
}

.pub-guidance {
	margin-bottom: 8px;
}

@media (max-width: 960px) {
	body {
		font-size: 16px;
	}

	#wrapper {
		width: auto;
		margin: 20px 12px;
		padding: 24px;
	}

	h3 {
		width: auto;
		margin-left: -24px;
		padding-left: 24px;
		padding-right: 24px;
	}

	#header {
		height: auto;
		padding-bottom: 24px;
	}

	#contact, #title {
		float: none;
		width: auto;
	}

	#contact img {
		max-width: 100%;
		height: auto;
	}

	.news-item {
		grid-template-columns: 1fr;
		gap: 2px;
	}

	.news-date {
		text-align: left;
	}

	.project-summary-grid,
	.project-two-column,
	.arcane-pipeline {
		grid-template-columns: 1fr;
	}

	.system-overview-placeholder {
		grid-template-columns: 1fr;
	}

	.overview-arrow {
		text-align: center;
		transform: rotate(90deg);
	}

	.project-hero {
		padding: 20px;
	}

	.research-area-grid {
		grid-template-columns: 1fr;
	}

	.research-project-columns {
		grid-template-columns: 1fr;
	}

	.group-carousel {
		width: 100%;
	}
}