:root {
    --bg-color: #ffffff;
    --text-color: #444;
    --heading-color: #043361;
    --link-color: #39c;
    --link-hover-color: #069;
    --sidebar-text: #595959;
    --nav-link-color: #555;
    --border-color: #e5e5e5;
    --code-bg: #f8f8f8;
    --strong-color: #222;
    --accent-color: #043361;
}

[data-theme="dark"] {
    --bg-color: #20212b;
    --text-color: #dadbdf;
    --heading-color: #3eb7f0;
    --link-color: #3eb7f0;
    --link-hover-color: #70ceff;
    --sidebar-text: #dadbdf;
    --nav-link-color: #dadbdf;
    --border-color: #444;
    --code-bg: #2d2d2d;
    --strong-color: #eeeff0;
    --accent-color: #3eb7f0;
}

body {
    background-color: var(--bg-color);
    color: var(--text-color);
    transition: background-color 0.3s ease, color 0.3s ease;
}

.social-icons a {
    display: inline-block;
    height: 2.4rem;
    width: 2.4rem;
    background-color: transparent;
    color: var(--accent-color) !important;
    border-radius: 100%;
    text-align: center;
    font-size: 1.15rem;
    line-height: 2.5rem;
    margin-right: 1rem;
    transition: all 0.3s ease;
}

.social-icons a:last-child {
    margin-right: 0;
}

.social-icons a:hover {
    background-color: var(--bg-color);
    color: var(--link-hover-color) !important;
    transform: scale(1.2);
}

.icon-button {
    background-color: white;
    border-radius: 3.6rem;
    cursor: pointer;
    display: inline-block;
    font-size: 2.0rem;
    height: 3.6rem;
    line-height: 3.6rem;
    margin: 0 5px;
    position: relative;
    text-align: center;
    -webkit-user-select: none;
    -moz-user-select: none;
    -ms-user-select: none;
    user-select: none;
    width: 3.6rem;
}

.icon-button span {
    border-radius: 0;
    display: block;
    height: 0;
    left: 50%;
    margin: 0;
    position: absolute;
    top: 50%;
    -webkit-transition: all 0.3s;
    -moz-transition: all 0.3s;
    -o-transition: all 0.3s;
    transition: all 0.3s;
    width: 0;
}

.icon-button:hover span {
    width: 3.6rem;
    height: 3.6rem;
    border-radius: 3.6rem;
    margin: -1.8rem;
}

.twitter span {
    background-color: #4099ff;
}

.facebook span {
    background-color: #4286f4;
}

.linkedin span {
    background-color: #0077B5;
}

.github span {
    background-color: #000;
}

email {
    font-size: 14px;
    font-family: "Ubuntu Mono";
}

.icon-button i {
    background: none;
    color: white;
    height: 3.6rem;
    left: 0;
    line-height: 3.6rem;
    position: absolute;
    top: 0;
    -webkit-transition: all 0.3s;
    -moz-transition: all 0.3s;
    -o-transition: all 0.3s;
    transition: all 0.3s;
    width: 3.6rem;
    z-index: 10;
}

.icon-button .icon-twitter {
    color: #4099ff;
}

.icon-button .icon-facebook {
    color: #4286f4;
}

.icon-button .icon-github {
    color: #000;
}

.icon-button .icon-linkedin {
    color: #0077B5;
}

.icon-button:hover .icon-twitter,
.icon-button:hover .icon-facebook,
.icon-button:hover .icon-github,
.icon-button:hover .icon-linkedin {
    color: white;
}

autocolor {
    color: #595959;
}

lightonly {
    display: inline;
}

[data-theme="dark"] lightonly {
    display: none;
}

darkonly {
    display: none;
}

[data-theme="dark"] darkonly {
    display: inline;
}

education {
    font-weight: 500;
    font-size: 115%;
}

papertitle {
    font-weight: 600;
    font-size: 100%;
}

autocolor {
    color: var(--sidebar-text);
}

.image {
    border-radius: 0.35em;
    border: 0;
    display: inline-block;
    position: relative;
}

.image:before {
    -moz-transition: opacity 0.2s ease-in-out;
    -webkit-transition: opacity 0.2s ease-in-out;
    -ms-transition: opacity 0.2s ease-in-out;
    transition: opacity 0.2s ease-in-out;
    border-radius: 0.35em;
    content: '';
    display: block;
    height: 100%;
    left: 0;
    opacity: 0.5;
    position: absolute;
    top: 0;
    width: 100%;
}

.image.avatar {
    border-radius: 100%;
}

.image.avatar:before {
    display: none;
}

.image.avatar img {
    border-radius: 100%;
    width: 45%;
    padding: 20px;
}

#header .image.avatar {
    margin: 0 0 1em 0;
    width: 8.00em;
}

h3,
h4,
h5,
h6 {
    font-weight: 600;
    color: var(--heading-color);
    margin: 0 0 20px;
}

h1 {
    font-weight: 500;
    color: var(--heading-color);
    margin: 0 0 20px;
}

h2 {
    color: var(--heading-color);
    font-weight: 500;
    margin: 2px 0px 15px;
    font-size: 157%;
}

p,
ul,
ol,
table,
pre,
dl {
    margin: 0 0 20px;
}

h1,
h2,
h3 {
    line-height: 1.1;
}

h1 {
    font-size: 28px;
}

a {
    color: var(--link-color);
    text-decoration: none;
    transition: color 0.3s ease;
}

a strong {
    color: inherit;
}

a:hover {
    color: var(--link-hover-color);
}

.wrapper {
    width: 960px;
    margin: 0 auto;
}

blockquote {
    border-left: 1px solid var(--border-color);
    margin: 0;
    padding: 0 0 0 20px;
    font-style: italic;
}

code,
pre {
    font-family: Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
    color: var(--text-color);
}

pre {
    max-width: 500px;
    padding: 8px 15px;
    background: var(--code-bg);
    border-radius: 5px;
    border: 1px solid var(--border-color);
    overflow-x: auto;
    position: relative;
    margin-top: 2rem;
    /* Add space for the button if needed, though absolute positioning handles it */
}

.code-wrapper {
    position: relative;
    margin-bottom: 20px;
}

.code-wrapper pre {
    margin-bottom: 0;
    padding-top: 35px;
    /* Add extra padding at top for button space */
}

.copy-code-button {
    position: absolute;
    top: 8px;
    right: 8px;
    padding: 4px 8px;
    background: rgba(128, 128, 128, 0.1);
    border: 1px solid var(--border-color);
    border-radius: 4px;
    color: var(--text-color);
    cursor: pointer;
    font-size: 0.8rem;
    line-height: 1;
    transition: all 0.2s ease;
    z-index: 10;
    opacity: 0.7;
}

.copy-code-button:hover {
    background: rgba(128, 128, 128, 0.2);
    opacity: 1;
    color: var(--link-color);
}

.copy-code-button.copied {
    color: #28a745;
    background: rgba(40, 167, 69, 0.1);
    border-color: #28a745;
}

[data-theme="dark"] .copy-code-button {
    background: rgba(255, 255, 255, 0.05);
}

[data-theme="dark"] .copy-code-button:hover {
    background: rgba(255, 255, 255, 0.1);
}

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

th,
td {
    text-align: left;
    padding: 5px 10px;
    border-bottom: 1px solid var(--border-color);
}

dt {
    color: var(--heading-color);
    font-weight: 500;
}

th {
    color: var(--heading-color);
}

img {
    max-width: 100%;
}

header {
    width: 232px;
    float: left;
    position: fixed;
    -webkit-font-smoothing: subpixel-antialiased;
    padding-top: 4.0em;
    text-align: center;
}

header ul {
    list-style: none;
    height: 40px;
    padding: 0;
    background: #f4f4f4;
    border-radius: 5px;
    border: 1px solid #e0e0e0;
    width: 270px;
}

header li {
    width: 89px;
    float: left;
    border-right: 1px solid #e0e0e0;
    height: 40px;
}

header li:first-child a {
    border-radius: 5px 0 0 5px;
}

header li:last-child a {
    border-radius: 0 5px 5px 0;
}

header ul a {
    line-height: 1;
    font-size: 11px;
    color: #999;
    display: block;
    text-align: center;
    padding-top: 6px;
    height: 34px;
}

header ul a:hover {
    color: #999;
}

header ul a:active {
    background-color: #f0f0f0;
}

strong {
    color: var(--strong-color);
    font-weight: 500;
}

header ul li+li+li {
    border-right: none;
    width: 89px;
}

header ul a strong {
    font-size: 14px;
    display: block;
    color: #222;
}

section {
    width: 650px;
    float: right;
    padding-top: 4.0em;
    padding-bottom: 50px;
}

small {
    font-size: 11px;
}

hr {
    border: 0;
    background: #e5e5e5;
    height: 1px;
    margin: 0 0 20px;
}

footer {
    width: 232px;
    float: left;
    position: fixed;
    bottom: 30px;
    -webkit-font-smoothing: subpixel-antialiased;
    text-align: center;
}

@media print,
screen and (max-width: 960px) {
    .pub-row {
        display: flex;
        align-items: center;
    }

    div.wrapper {
        width: auto;
        margin: 0;
    }

    header,
    section,
    footer {
        float: none;
        position: static;
        width: auto;
    }

    header {
        padding-right: 320px;
    }

    section {
        border: 1px solid #e5e5e5;
        border-width: 1px 0;
        padding: 20px 0;
        margin: 0 0 20px;
    }

    .image.avatar img {
        border-radius: 100%;
        width: 117px;
        padding: 20px;
    }

    #head1o2 {
        visibility: hidden;
    }

    #head2o2 {
        visibility: hidden;
    }
}

@media print,
screen and (max-width: 960px) {
    body {
        word-wrap: break-word;
        padding: 15px;
    }

    .pub-row {
        display: flex;
        align-items: center;
    }

    header {
        padding: 0;
    }

    pre,
    code {
        word-wrap: normal;
    }
}

@media print,
screen and (max-width: 480px) {
    .pub-row {
        display: block;
        align-items: center;
    }

    body {
        padding: 15px;
    }

    header ul {
        width: 99%;
    }

    header li,
    header ul li+li+li {
        width: 33%;
    }

    .image.avatar img {
        border-radius: 100%;
        width: 95px;
        padding: 20px;
    }

    #head1o2 {
        visibility: hidden;
    }

    #head2o2 {
        visibility: hidden;
    }
}

.biblink {
    text-decoration: none;
    display: inline;
    margin-right: 0px;
}

.fakelink {
    text-decoration: none;
    cursor: pointer;
}

.bibref {
    font-size: 70%;
    margin-top: 10px;
    margin-left: 0px;
    display: none;
    font-family: monospace;
}