:root {
  --text: #222222;
  --muted: #666666;
  --link: #235a9f;
  --heading: #315f8c;
  --line: #b9c8d8;
  --light-line: #dddddd;
  --page-width: 960px;
}

* {
  box-sizing: border-box;
}

html,
body {
  background: #ffffff;
}

body {
  margin: 0;
  color: var(--text);
  font-family: Arial, Helvetica, sans-serif;
  font-size: 15px;
  line-height: 1.55;
  letter-spacing: 0;
}

#layout-content {
  width: min(calc(100% - 40px), var(--page-width));
  margin: 22px auto 40px;
}

a {
  color: var(--link);
  text-decoration: none;
}

a:hover,
a:focus-visible {
  text-decoration: underline;
}

#toptitle h1 {
  margin: 0 0 24px;
  padding: 0 0 7px;
  border-bottom: 2px solid var(--heading);
  color: var(--heading);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 27px;
  font-weight: normal;
  line-height: 1.25;
}

.profile {
  display: grid;
  grid-template-columns: 190px minmax(0, 1fr) 180px;
  gap: 24px;
  align-items: start;
  margin-bottom: 22px;
}

.portrait-cell img {
  display: block;
  width: 180px;
  height: 240px;
  border: 1px solid #aaaaaa;
  object-fit: cover;
}

.profile-cell {
  padding-top: 3px;
}

.profile-cell p {
  margin: 0 0 14px;
}

.profile-cell .name {
  margin-bottom: 17px;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 25px;
  line-height: 1.25;
}

.profile-cell .name span {
  margin-right: 8px;
  font-family: "Songti SC", "Noto Serif CJK SC", serif;
}

.logo-cell {
  display: flex;
  flex-direction: column;
  gap: 20px;
  align-items: center;
  padding-top: 9px;
}

.logo-cell a,
.logo-cell img {
  display: block;
}

.logo-cell img {
  object-fit: contain;
}

.lamda-logo {
  width: 179px;
  height: 85px;
}

.nju-logo {
  width: 96px;
  height: 120px;
}

.section-nav {
  display: flex;
  flex-wrap: wrap;
  justify-content: center;
  gap: 5px 13px;
  margin: 0 0 23px;
  padding: 7px 10px;
  border-top: 1px solid #888888;
  border-bottom: 1px solid #888888;
  font-family: Georgia, "Times New Roman", serif;
  font-size: 14px;
}

.section-nav a::before {
  content: "[";
  color: var(--text);
}

.section-nav a::after {
  content: "]";
  color: var(--text);
}

section {
  margin-top: 22px;
  scroll-margin-top: 10px;
}

h2 {
  margin: 0 0 13px;
  padding: 4px 0 3px;
  border-bottom: 1px solid var(--line);
  color: var(--heading);
  font-family: Georgia, "Times New Roman", serif;
  font-size: 20px;
  font-weight: normal;
  line-height: 1.3;
}

p {
  margin: 0 0 11px;
}

ul,
ol {
  margin: 7px 0 12px;
  padding-left: 27px;
}

li {
  margin: 4px 0;
  padding-left: 2px;
}

.publication-list li {
  margin-bottom: 15px;
}

.paper-title {
  font-weight: bold;
}

.contact-list {
  list-style-type: square;
}

footer {
  margin-top: 32px;
  padding-top: 9px;
  border-top: 1px solid var(--light-line);
  color: var(--muted);
  font-size: 12px;
  text-align: right;
}

.sr-only {
  position: absolute;
  overflow: hidden;
  width: 1px;
  height: 1px;
  padding: 0;
  margin: -1px;
  clip: rect(0, 0, 0, 0);
  white-space: nowrap;
  border: 0;
}

@media (max-width: 700px) {
  #layout-content {
    width: min(calc(100% - 30px), var(--page-width));
    margin-top: 15px;
  }

  #toptitle h1 {
    margin-bottom: 18px;
    font-size: 23px;
  }

  .profile {
    grid-template-columns: 140px minmax(0, 1fr);
    gap: 18px;
  }

  .portrait-cell img {
    width: 140px;
    height: auto;
    aspect-ratio: 3 / 4;
  }

  .profile-cell .name {
    font-size: 21px;
  }

  .logo-cell {
    grid-column: 1 / -1;
    flex-direction: row;
    justify-content: flex-start;
    gap: 28px;
    padding-top: 0;
  }

  .lamda-logo {
    width: 145px;
    height: auto;
  }

  .nju-logo {
    width: 58px;
    height: auto;
  }
}

@media (max-width: 470px) {
  body {
    font-size: 14px;
  }

  .profile {
    grid-template-columns: 112px minmax(0, 1fr);
    gap: 14px;
  }

  .portrait-cell img {
    width: 112px;
  }

  .profile-cell {
    padding-top: 0;
  }

  .profile-cell .name {
    margin-bottom: 10px;
    font-size: 19px;
  }

  .profile-cell p {
    margin-bottom: 9px;
  }

  h2 {
    font-size: 19px;
  }
}