.CodeMirror {
    border: 1px solid black;
    font-size: 13px;
}
/* Make the navbar tall enough for an 80px logo */

/* Make the navbar taller and center its contents */
.navbar {
    min-height: 70px; /* tall enough for 80px logo + a bit of padding */
}

/* Override Bootstrap's tiny default brand height */
.navbar-brand {
    height: auto !important;
    padding: 5px 5px !important;
    display: flex !important;
    align-items: center;
}

/* Make navbar a flexbox so Tutorial goes right */
.navbar .container {
    display: flex;
    align-items: center;
}

/* Push tutorial to the right */
.tutorial-container {
    margin-left: auto;
}

/* Style the link */
.nav-tutorial-link {
    font-size: 18px;
    padding: 20px 10px;
    color: #333 !important;
    text-decoration: none;
}

.nav-tutorial-link:hover {
    text-decoration: underline;
    color: #0077cc !important;
}

/* Fix alignment of brand area */
.navbar-header {
    display: flex;
    align-items: center;
}

/* Brand container: logo + title inline */
.pmw-brand {
    display: flex !important;
    align-items: center;   /* vertical centering inside the bar */
    gap: 10px;             /* space between logo and text */
    padding: 10px 15px;    /* standard navbar brand padding */
}

/* Logo inside navbar */
.pmw-logo {
    height: 90px;
    flex-shrink: 0;
    
}

/* Title next to logo */
.pmw-title {
  display: inline-block;
  line-height: 1.1;
}

.pmw-subtitle {
  display: block;
  font-size: 80%;      /* slightly smaller */
  opacity: 0.85;       /* optional: a bit lighter */
}

footer{
    height: 80px;
    background-color: #f5f5f5;
}

footer p{
    display: block;
    margin-block-start: 1em;
    margin-block-end: 1em;
    margin-inline-start: 0px;
    margin-inline-end: 0px;
}

/* General footer styling */
#footer.footer {
  position: fixed;
  bottom: 0;
  left: 0;
  width: 100%;
  background-color: #f8f8f8;
  border-top: 1px solid #e7e7e7;
  padding: 8px 15px;
  z-index: 1030;          /* above content but below modals */
}

/* Ensure text wraps and both lines are visible */
#footer.footer .footer-line {
  margin: 0;
  line-height: 1.3;
  white-space: normal;
}


.github-icon {
    height: 18px;
    width: 18px;
    margin-right: 5px;
}

.footer-github {
    align-items: center;
}

#footer.footer .footer-line {
    white-space: normal;     /* ensure wrapping works on smaller screens */
}

/* Optional: slightly smaller text on small screens */
@media (max-width: 768px) {
  #footer.footer {
    font-size: 12px;
  }
}

#result{
  margin-bottom: 50px;
}

.row{
  margin-bottom: 20px;
}

.sparql-example{
  cursor: pointer;
}

#xsltcontainer{
  display: none;
}

.panel-body{
  max-height: 450px;
  overflow: scroll;
}

.pre-scrollable {
    max-height: 550px;
    overflow-y: scroll;
}

#permalink-url{
  font-size: 24px;
  text-align: center;
}

#fullscreen-navbar {
  display: none;
  background-color: #f5f5f5;
}

#fullscreen-navbar .container {
  text-align: center;
}

#fullscreen-navbar .row {
  margin-bottom: 0px;
}

#fullscreen-navbar input {
  margin-top:5px;
  margin-bottom: 5px;
}

.CodeMirror-fullscreen {
  top: 44px;
}

.btn-dark {
    color: #fff;
    background-color: #555;
    border-color: #555;
}

.btn-dark:hover {
    color: #fff;
    background-color: #aaa;
    border-color: #666;
}

.container-fluid{
    max-width: 1600px;
}

.buttons-holder .btn{
    margin: 3px;
}


@media (max-width: 600px) {
  .navbar .container {
    flex-direction: column;      /* stack logo/title + right links */
    align-items: flex-start;
  }


  .tutorial-container {
    margin-left: 0;              /* no huge gap on mobile */
    margin-top: 4px;
  }
}