/* Force W3C logo to site side by side with OGC logo */
.head img[src*="logos/W3C"] {
  display: inherit !important;
}
.head a:hover > img[src*='ogc'] {
  opacity: 0.8;
}

/* Styles to replicate key LODS styles */

ul.hlist {
  list-style-type:none;
  background-color: #eee;
}
ul.hlist li {
  display:inline;
  margin-right: 1em;
  font-size:smaller;
}
.entity {
  border: 0px solid black;
  padding: 1.5em;
  margin-top: 1.5em;
}
.entity h4 {
  margin-top:0;
}
.entity dl {
  border: dashed thin black;
  border-width:0px 0;
  background-color:#eee;
  margin: 0 0.5em;
}
p.iri::before {
  content: "IRI: ";
  font-weight: bold;
  font-family:sans-serif;
}
p.iri {
  font-family:monospace;
}
span.logic {
  font-weight:bold;
  color:purple;
}
span.dotted {
  text-decoration-line:underline;
  text-decoration-style: dotted;
  text-decoration-color:black;
}

/* Styles to replicate key SpecGen styles */

.specterm {
    margin-top: 1em;
}

.specterm h4 {
    margin-top: 1em;
}

.specterm table {
    margin-top: 0.5em;
}

section.specterm {
    padding-left: 1.5em;
    padding-right: 1.5em;
    padding-top: 0.1ex;
    padding-bottom: 0.1ex;
}

.azlist {
  margin-top: 10pt;
  padding: 5px;
  border: 1px solid #e3dcf2;
}


/* Styles added by Kerry for formatting code including ttl */
.tab1 {
 text-indent: 24pt;
}
.tab2 {
 text-indent: 48pt;
}
.tab3 {
 text-indent: 72pt;
}
.tab4 {
 text-indent: 96pt;
}
.tab5 {
 text-indent: 120pt;
}

/* Styles added by Simon for clean table borders */

table {
    width: 100%;
    border-collapse: collapse;
}

th {
    background-color: #f2f2f2;
}

th, td {
    border: 1px solid #ddd;
}

th, td {
    padding: 10px;
    text-align: left;
}

.specterm h5 , .specterm h6 {
  font-weight: bold;
  font-style: normal;
  font-variant: normal;
  margin-top: 1em;
  margin-bottom: 1em;
}

section.specterm, section.specterm th{
    background-color: #c7eae5;
}

section.specterm.sosa, section.specterm.sosa th{
    background-color: #c7eae5;
}

.ssn {
    background-color: #67a9cf;
}

.buttonpanel {
   display: flex;
   justify-content: flex-end ;
    margin-top: 1ex;
    margin-bottom: 1ex;
    padding-left: 1ex;
    padding-right: 1ex;
    padding-top: 1ex;
    padding-bottom: 0.6ex;
    border: 0px dotted black;
    font-size: small;
}

ul.align-on-symbol {
  list-style: none;
  margin-left: 0;
  padding-left: 0;
}

ul.align-on-symbol li {
  margin-left: 0;
  padding-left: 0;
  display: flex;
  /*gap: 0.5em;*/
  font-family: monospace; /* optional for better alignment */
}

ul.align-on-symbol li .lhs {
  min-width: 30ch;  /* fixed width for alignment */
  text-align: right;
}

ul.align-on-symbol.align-on-symbol-long li .lhs {
  min-width: 50ch;  /* fixed width for alignment */
  text-align: right;
}

ul.align-on-symbol li .symbol {
  padding: 0 0.5ch;
}

ul.align-on-symbol li .rhs {
  flex: 1;
  text-align: left;
}

/* Responsive behavior for small screens */
@media (max-width: 600px) {
  ul.align-on-symbol li {
    display: block; /* stack vertically */
    margin-bottom: 1em;
  }

  
  ul.align-on-symbol li .lhs {
    min-width: 0;
    text-align: left;
    display: block;
    margin-bottom: 0.25em;
  }

  ul.align-on-symbol.align-on-symbol-long li .lhs {
    min-width: 0;
    text-align: left;
    display: block;
    margin-bottom: 0.25em;
  }

  ul.align-on-symbol li .symbol,
  ul.align-on-symbol li .rhs {
    display: inline;
  }

  /* Wrap symbol+rhs in a flex container */
  ul.align-on-symbol li .symbol + .rhs {
    display: inline;
  }

  /* Optional: indent second line */
  ul.align-on-symbol li .symbol {
    padding-left: 1.5em;
    padding-right: 0.5ch;
  }
}

pre {
  white-space: pre-wrap
}