@import url('https://fonts.googleapis.com/css2?family=Roboto+Mono:wght@400;700&family=Noto+Sans+JP:wght@400;700&display=swap');

:root {
    --bg-color: #1a1a1a;
    --panel-bg: #2c2c2c;
    --text-color: #e0e0e0;
    --primary-color: #00ff99;
    --border-color: #444;
}

body {
    font-family: 'Noto Sans JP', sans-serif;
    background-color: var(--bg-color);
    color: var(--text-color);
    margin: 0;
    padding: 20px;
    line-height: 1.8;
}

.container {
    max-width: 800px;
    margin: 0 auto;
    border: 1px solid var(--border-color);
    background-color: var(--panel-bg);
}

header, main, footer {
    padding: 20px 40px;
}

header {
    text-align: center;
    border-bottom: 1px solid var(--border-color);
}

header h1 {
    font-family: 'Roboto Mono', monospace;
    color: var(--primary-color);
    font-size: 1.5em;
    margin: 0;
}

.codename {
    font-family: 'Roboto Mono', monospace;
    font-size: 0.9em;
    color: #aaa;
    margin-top: 5px;
}

h2, h3 {
    font-family: 'Roboto Mono', monospace;
    color: var(--primary-color);
    border-bottom: 1px solid var(--border-color);
    padding-bottom: 10px;
}

.salutation {
    margin-top: 2em;
    font-weight: bold;
}

.experiments nav ul {
    list-style: none;
    padding: 0;
}

.experiments nav li a {
    display: block;
    padding: 15px;
    margin-bottom: 10px;
    border: 1px solid var(--border-color);
    text-decoration: none;
    color: var(--text-color);
    transition: background-color 0.3s, border-color 0.3s;
}

.experiments nav li a:hover {
    background-color: #333;
    border-color: var(--primary-color);
}

.exp-id {
    font-family: 'Roboto Mono', monospace;
    display: block;
    font-size: 0.9em;
    color: #aaa;
}

.exp-title {
    display: block;
    font-size: 1.2em;
    font-weight: bold;
    margin: 5px 0;
}

.exp-status {
    font-family: 'Roboto Mono', monospace;
    display: block;
    font-size: 0.9em;
    color: var(--primary-color);
}

footer {
    border-top: 1px solid var(--border-color);
    text-align: center;
    font-family: 'Roboto Mono', monospace;
    font-size: 0.8em;
    color: #888;
}