/* caim-dark.css - Dark theme overrides for Widoco page,
   using blog's typography and Widoco's dark theme color palette as a base. */

/* --- Global Styles & Typography --- */
body {
    font-family: 'Work Sans', 'Open Sans', Arial, sans-serif;
    font-size: 16px;
    color: rgb(240, 240, 240); /* Widoco dark: --text-color */
    background-color: #2c2c30; /* Slightly darker than Widoco's --background-color for more depth */
    line-height: 1.7em;
    font-weight: 400;
    padding-top: 20px;
}

.container {
    max-width: 1080px;
    margin: 0 auto;
    padding-left: 20px;
    padding-right: 20px;
}

/* --- Headings --- */
h1, h2, h3, h4, h5, h6 {
    font-family: 'Work Sans', 'Open Sans', Arial, sans-serif;
    color: #94d4f1; /* Lighter blue, adjusted from Widoco's --htag-text: #83E9F0 */
    padding-bottom: 15px;
    line-height: 1.3em;
    font-weight: 700;
    margin-top: 1.5em;
    margin-bottom: 0.5em;
}

h1 { font-size: 36px; font-weight: 800; }
h2 { font-size: 30px; font-weight: 700; }
h3 { font-size: 24px; font-weight: 600; }
h4 { font-size: 20px; line-height: 1.3em; }
h5 { font-size: 17px; font-weight: 600; }
h6 { font-size: 15px; font-weight: 700; text-transform: uppercase; letter-spacing: 2px; }

h2.list, h3.list {
    border-bottom: none;
    margin-top: 20px;
}
h2.list:before, h3.list:before {
    color: #94d4f1;
}

/* --- Paragraphs & Text --- */
p {
    padding-bottom: 1em;
    color: rgb(240, 240, 240);
    line-height: 1.7em;
}

p:last-of-type {
    padding-bottom: 0;
}

/* --- Links --- */
a, a:link {
    color: #EBC1FF; /* Lighter purple, adjusted from Widoco's --link: #DDC1F2 */
    text-decoration: none;
}

a:visited {
    color: #D096FF; /* Adjusted from Widoco's --link-visited: #BD7DEE */
}

a:hover, a:active {
    color: #B870F0; /* Adjusted from Widoco's --link-active: blue and --href-hover: gray */
    text-decoration: underline;
    opacity: 1;
}

/* --- Widoco Specific Section Styling --- */
div.head {
    background-color: #3a3a3e; /* Darker grey for header section */
    padding: 20px;
    margin-bottom: 2em;
    border-bottom: 1px solid #4a4a4e; /* Slightly lighter border for contrast */
}

div.head h1 {
    margin-top: 0;
    color: #ADD8E6; /* Light blue for main title */
}

dl {
    background: transparent;
    border: none;
    margin-bottom: 1em;
}

dt {
    font-weight: 700;
    color: #e0e0e0; /* Light grey for dt */
    margin-top: 10px;
}

dd {
    margin-left: 20px;
    margin-bottom: 5px;
    color: rgb(220, 220, 220); /* Lighter than body text for dd */
}

/* Status box */
.status {
    position: static;
    transform: none;
    width: auto;
    height: auto;
    z-index: auto;
    opacity: 1;
    text-align: left;
    margin-bottom: 1em;
    padding: 0;
    border: 1px solid #ffab70; /* Darker orange accent */
    background: #4d423a; /* Dark orange background */
}

.status div {
    background: transparent;
    color: #f0f0f0; /* Light text */
    width: auto;
    padding: 0.5em 1em;
    text-align: center;
}

.status div span {
    font-family: 'Work Sans', 'Open Sans', sans-serif;
    font-size: 1em;
    font-weight: 600;
}

/* Lists and Cross-references */
.hlist {
    border: 1px solid #555; /* Widoco's dark theme border */
    padding: 10px;
    background-color: #4a4a4e; /* Adjusted from Widoco's --bg-hlist: #67676E */
    margin-bottom: 1em;
}

.hlist li {
    padding-right: 15px;
}

.entity {
    border: 1px solid #5f5f63; /* Darker border */
    margin: 10px 0px;
    padding: 15px;
    background-color: #3e3e42; /* Main dark background */
}

.description {
    border-top: 1px dashed #666;
    border-bottom: 1px dashed #666;
    background-color: #454549; /* Adjusted from Widoco's --bg-description: #535358 */
    margin-top: 10px;
    padding: 10px;
}
.description dl {
    background-color: transparent;
}

.backlink {
    font-size: 0.85em;
    text-align: right;
    float: none;
    display: block;
    margin-top: 5px;
    color: #ffab70; /* Darker orange */
    padding: 0;
    border: none;
    background-color: transparent;
}
.backlink a {
    color: #ffab70;
}

/* Tables */
table {
    border: 1px solid #555; /* Widoco's dark theme border */
    margin: 20px 0;
    width: 100%;
    background-color: #333337; /* Dark background for tables */
}

table th, table td {
    padding: 9px 15px;
    text-align: left;
    border-top: 1px solid #555;
}

table th {
    background-color: #404044; /* Slightly lighter dark for table headers */
    color: #e0e0e0;
    font-weight: 700;
}

/* Code and Preformatted Text */
pre, div.fssyntax pre, div.rdfxml pre, div.owlxml pre, div.turtle pre, div.manchester pre {
    background-color: #222225; /* Darker background, from Widoco's --owl-bg-pre: rgb(15 15 15) */
    border: 1px solid #555;
    color: #e0e0e0; /* Light text for code */
    line-height: 1.5em;
    padding: 1em;
    margin: 1em 0;
    overflow-x: auto;
    border-radius: 4px;
}

code {
    font-family: Menlo, Consolas, monaco, monospace;
    background-color: #444; /* Darker background for inline code */
    padding: 2px 4px;
    border-radius: 3px;
    font-size: 0.9em;
    color: #d0d0d0; /* Lighter text for inline code */
}

pre code {
    background-color: transparent;
    padding: 0;
    border-radius: 0;
    font-size: inherit;
    color: inherit;
}

/* Widoco specific class styling - Dark Theme Adjustments */
.RFC2119 {
  text-transform: lowercase;
  font-style: italic;
  color: #aaa; /* Lighter for dark mode */
}
.nonterminal {
    font-weight: bold;
    font-family: sans-serif;
    font-size: 95%;
    color: #ccc; /* Lighter for dark mode */
}
.name {
    font-family: Menlo, Consolas, monaco, monospace;
    color: #ff79c6; /* Pinkish, common for code/names in dark themes */
}
.literal {
    color: #8ff0a4; /* Light green, from Widoco's --literal:#49C00D adjusted */
    font-style: italic;
}

/* Type indicators in Widoco - Dark Theme Adjustments */
.type-c { color: #ff79c6; font-weight: bold; } /* Class - pinkish */
.type-op { color: #8be9fd; font-weight: bold; } /* Object Property - cyan */
.type-dp { color: #50fa7b; font-weight: bold; } /* Data Property - green */
.type-ap { color: #f1fa8c; font-weight: bold; } /* Annotation Property - yellow */
.type-ni { color: #bd93f9; font-weight: bold; } /* Named Individual - purple */

/* --- Dark Mode Toggle (from Widoco slider.css) - Basic Position --- */
.darkmode {
    position: fixed;
    left: 10px;
	bottom: 10px;
    z-index: 1000;
}

body {
    padding-bottom: 60px;
}