@import url("https://fonts.googleapis.com/css2?family=Noto+Sans+JP");div .imp-object-list-item {
  font-size: 18px;
  border-width: 2px;
  border-style: solid;
  border-color: #00aa09;
  margin-bottom: 8px;
  border-radius: 100px 100px 100px 100px;
  padding-top: 8px;
  padding-bottom: 8px;
  margin-top: 0px;
}
.imp-object-menu .imp-object-list-item > p {
  margin-top: 20px;
  margin-bottom: 20px;
  padding-bottom: 0px;
  font-family: Noto Sans JP;
}
div .imp-object-list-item:hover {
  background-color: #c5ffc8;
}
.imp-tooltips-container > .imp-tooltip-wrap h3 {
  font-family: Noto Sans JP;
}
.imp-tooltips-container > .imp-tooltip-wrap div {
  font-family: Noto Sans JP;
}
body .imp-tooltip-wrap > .imp-tooltip {
  box-shadow: 3px 3px 10px 0px rgba(0, 0, 0, 0.25);
}
.post .ast-button {
  color: #ffffff;
}