
  body {
    font-family: Arial, sans-serif;
    background: #f4f4f4;
    margin: 0;
  }

  h1 {
    margin-top: 0;
  }

  a.back {
    display: inline-block;
    margin-bottom: 1rem;
  }

  /* --- Search bar --- */
  #controls {
    display: flex-shrink;
    gap: 0.5rem;
    align-items: center;
    margin-bottom: 1rem;
  }

  #search {
    padding: 0.5rem 0.75rem;
    font-size: 1rem;
    width: 260px;
    border: 1px solid #ccc;
    border-radius: 4px;
  }

  .interactableBtn {
    padding: 0.5rem 1rem;
    background: rgb(186, 189, 237);
    border: none;
    border-radius: 4px;
    cursor: pointer;
    width: 129px;
    font-size: 0.95rem;
  }

  .interactableBtn:hover {
    background: rgb(160, 163, 220);
  }

  #matchCount {
    font-size: 0.9rem;
    color: #555;
  }

  #pinout-wrapper {
    display: flex;
    justify-content: safe center; 
    overflow: scroll;
  }

  /* --- Pinout-info --- */
  .pin-info {
    display: flex;
    flex-wrap: wrap;
    background-color: rgb(99, 199, 197);
    border: 2px solid black;
    color: white;
    margin: 3px;
    padding-top: 2px;
    padding-bottom: 2px;
    padding-left: 10px;
    width: 243px;
    min-height: 34px;
    visibility: hidden;
  }

  .visible-search, .visible-mouse, .visible-pinned {
  visibility: visible !important;
}
  
  .pin-element {
    display:inline-flex;
    background-color: rgb(132, 195, 213);
    border: 1px solid black;
    color: white;
    vertical-align: top;
    margin: 2px;
    min-width: 50px;
    height: 13.5px;
    text-align: center;
    color: black;
    /* font-weight: bold; */
    font-size: 12px;
    justify-content: center;
    align-items: center;
  }
  
  /* Tooltip text */
  .tooltiptext {
    visibility: hidden;
    width: 100%;
    background-color: black;
    color: #ffffff;
    text-align: center;
    padding: 5px 0;
    border-radius: 6px;
    font-size: 12px;
    position: absolute;
    top: 100%;
    left: 0px;
    z-index: 1; /* Ensure tooltip is displayed above content */
  }

  /* Show the tooltip text on hover */
  .tooltip:hover .tooltiptext-hoverable {
    visibility: visible;
  }

  /* --- Image + pin markers --- */
  #board-wrapper {
    position: relative;
    zoom: 0.65;
  }
  
  #board-img {
    /* height: 800px; */
    min-width: 100px;
    display: block;
    object-fit: contain;
  }

  .pin-marker {
    position: absolute;
    width: 12px;
    height: 12px;
    margin-left: -8px;
    margin-top: -8px;
    margin-left: -1.4%;
    margin-top: -1.4%;
    background: rgba(120, 200, 255, 0.85);
    border: 2.5px solid rgb(0, 153, 255);
    cursor: pointer;
    transition: transform 0.1s ease, background 0.1s ease, border-color 0.1s ease;
  }

  .pin-marker:hover,
  .pin-marker.highlight {
    background: rgba(255, 200, 80, 0.85);
    border-color: #b8860b;
    transform: scale(1.4);
    z-index: 5;
  }

  .pin-info:hover,
  .pin-info.highlight {
    background: rgba(255, 200, 80, 0.85);
    border-color: #b8860b;
    z-index: 5;
  }

  .pin-info.group-highlight-mouse, .pin-marker.group-highlight-mouse {
    background: rgba(246, 157, 14, 0.7) !important;
    border-color: #713e0a;
    z-index: 4;
  }
  .pin-info.group-highlight-search, .pin-marker.group-highlight-search {
    background: rgba(143, 255, 120, 0.913);
    border-color: #4ea81a;
    z-index: 4;
  }

  .pin-info.group-highlight-pinned, .pin-marker.group-highlight-pinned {
  background: rgba(255, 105, 180, 0.85);
  border-color: #a3225f;
  z-index: 4;
}

.pin-marker.group-highlight-pinned {
  transform: scale(1.3);
}

  .pin-marker.dimmed {
    opacity: 0;
  }

  .pin-marker.group-highlight-mouse, .pin-marker.group-highlight-search {
    transform: scale(1.3);
  }

  .pintabs {
    
  }


  /* --- Tooltip --- */
  .tooltip {
    position: relative;
    display: hidden;
    /* background: #1a1a2e;
    color: white;
    padding: 0.5rem 0.75rem;
    border-radius: 6px;
    font-size: 0.85rem;
    max-width: 240px;
    pointer-events: none;
    z-index: 10;
    box-shadow: 0 4px 10px rgba(0,0,0,0.3); */
  }

  #tooltip .pin-name {
    font-weight: bold;
    margin-bottom: 0.25rem;
  }

  #tooltip ul {
    margin: 0;
    padding-left: 1.1rem;
  }