:root
{
    --right-tool-nav-border-colour: var(--left-tool-nav-border-colour);
    --right-tool-detele-tag-button-border-colour: var(--header-bars-background-colour);
    --right-tool-detele-tag-button-background-colour: #f9f9f9;
    --right-tool-detele-tag-button-background-colour-hovered: #dedede;
    --right-tool-nav-font-size: calc(0.8 * var(--post-font-size));
    --right-tool-nav-padding-top: 0px;
    --right-tool-nav-padding-bottom: var(--right-tool-nav-padding-top);
    --right-tool-nav-padding-left: 10px;
    --right-tool-nav-padding-right: var(--right-tool-nav-padding-left);
}

#MainSectionFooter
{
    display: flex;
    flex-direction: row;
    z-index: var(--right-nav-zindex);
    overflow-x: auto;
    flex-shrink: 0;
    padding-top: var(--right-tool-nav-padding-top);
    padding-bottom: var(--right-tool-nav-padding-bottom);
    padding-left: var(--right-tool-nav-padding-left);
    padding-right: var(--right-tool-nav-padding-right);
    column-gap: var(--post-font-size);
    background-color: var(--background-colour);
    color: var(--text-colour);
    font-size: calc(var(--right-tool-nav-font-size) * 0.8);
    border-top: 1px solid var(--right-tool-nav-border-colour);
    line-height: var(--line-height);
}

.MainSectionFooterEntry
{
    margin: 0px;
    text-wrap: nowrap;
}

.MainSectionFooterLabel
{
    font-weight: bold;
}

#CopyrightLine
{
    text-align: right;
    color: var(--nav-text-colour);
}

/* LATEX */
.tex sub, .latex sub, .latex sup
{
    text-transform: uppercase;
}

.tex sub, .latex sub
{
    vertical-align: -0.5ex;
    margin-left: -0.1667em;
    margin-right: -0.125em;
}

.tex, .latex, .tex sub, .latex sub
{
    font-size: 1em;
}

.latex sup
{
    font-size: 0.85em;
    vertical-align: 0.15em;
    margin-left: -0.36em;
    margin-right: -0.15em;
}

#CopyrightLine
{
    font-size: 12px;
    margin-top: 20px;
    margin-bottom: 0px;
    padding-left: 5px;
    padding-top: 5px;
    padding-bottom: 5px;
    border-radius: 15px 0px 0px 0px;
}

#TagSection
{
    display: flex;
    justify-content: center;
    width: var(--webpage-column-width);
    margin-left: auto;
    margin-right: auto;
}

#AddTagButton
{
    margin-top: calc(0.5 * var(--post-font-size));
    background-color: var(--accent-colour);
    color: var(--background-colour);
    border: 1px solid var(--accent-colour);
    border-radius: var(--post-font-size);
}

#TagList
{
    display: flex;
    flex-wrap: wrap;
    justify-content: flex-end;
}

#TagSection .TagButton
{
    position: relative;
    background-color: var(--background-colour);
    color: var(--accent-colour);
    border: 1px solid var(--accent-colour);
    border-radius: var(--post-font-size);
}

#AddTagButton, #TagSection .TagButton
{
    margin: 5px;
    margin-left: calc(0.5 * var(--right-tool-nav-font-size));
    margin-right: 0px;
    padding: 5px;
    padding-left: 10px;
    padding-right: 10px;
    font-family: var(--post-font-family);
    font-size: var(--right-tool-nav-font-size);
}

#TagSection .TagButton
{
    transition: background-color 0.2s ease;
}

#TagSection .TagButton:hover
{
    background-color: var(--accent-colour);
    color: var(--background-colour);
    font-weight: normal;
}

#AddTagButton:hover
{
    background-color: color-mix(in srgb, var(--accent-colour), var(--constant-background-colour));
}

#AddTagButton:disabled
{
    background-color: color-mix(in srgb, var(--background-colour), rgb(128, 128, 128));
    border-color: color-mix(in srgb, var(--background-colour), rgb(128, 128, 128));
}

#AddTagButton:disabled:hover
{
    cursor: not-allowed;
}

.DeleteTagButton
{
    display: none;
    background-color: var(--right-tool-detele-tag-button-background-colour);
    width: 20px;
    height: 20px;
    position: absolute;
    top: -10px;
    right: 0px;
    background-image: url("/images/close.svg");
    background-size: 8px 8px;
    background-repeat: no-repeat;
    background-position-x: center;
    background-position-y: center;
    border: 1px solid var(--right-tool-detele-tag-button-border-colour);
    border-radius: 100%;
}

#TagSection .TagButton:hover .DeleteTagButton
{
    display: block;
}

#TagSection .TagButton .DeleteTagButton:hover
{
    background-color: var(--right-tool-detele-tag-button-background-colour-hovered);
}