/* Reset and base styles */
* {
    margin: 0;
    padding: 0;
}

body {
    font-family: 'Lucida Console', monospace;
    line-height: 1.4;
    font-size: 16px;
}

/* Container */
.container {
    max-width: 1000px;
    margin: 0 auto;
    padding: 40px 20px;
}

/* Header */
header {
    margin-bottom: 30px;
}

.subtitle {
    font-size: 1.1em;
    color: #666;
    margin-bottom: 0;
}

/* Navigation */
nav {
    margin-bottom: 40px;
    padding-bottom: 20px;
    border-bottom: 1px solid #eee;
}

nav a {
    color: #333;
    /* text-decoration: none; */
    margin: 0 5px;
}

nav a:hover {
    text-decoration: underline;
}

/* Main content */
main {
    margin-bottom: 40px;
}

section {
    margin-top: 30px;
    margin-bottom: 30px;
}

/* Typography */
h1 {
    font-weight: bold;
    font-size: 2.5em;
    /* margin-bottom: 20px; */
}

h2 {
    font-weight: bold;
    font-size: 1.8em;
    margin-bottom: 15px;
    /* margin-top: 10px; */
}

h3 {
    font-weight: normal;
    margin-bottom: 5px;
}

p {
    margin-bottom: 15px;
}

/* Lists */
ul {
    margin-left: 20px;
}

li {
    margin-bottom: 4px;
}

/* Links */
a {
    color: #0066cc;
    text-decoration: underline;
}

a:hover {
    color: #003366;
}

/* Publications */
.publication {
    /* margin-bottom: 25px; */
    /* padding-bottom: 15px; */
    border-bottom: 1px solid #f0f0f0;
}

.publication:last-child {
    border-bottom: none;
}

.authors {
    color: #666;
    font-style: italic;
}

.venue {
    color: #888;
    font-size: 0.9em;
}

.ascii-art {
    font-family: monospace;
    white-space: pre;
}

/* Responsive design */
@media (max-width: 600px) {
    .container {
        padding: 20px 15px;
    }

    header h1 {
        font-size: 2em;
    }

    h2 {
        font-size: 1.5em;
    }

    nav {
        font-size: 0.9em;
    }
}