/* Image formatting */

.icon {
    height: 25px;
    padding-right: 5px;
    vertical-align: top;
}


/* Types of text */

p.definition,
p.code,
p.question,
p.diagram,
p.table,
p.graph {
    font-size: 20px;
    padding-top: 10px;
    padding-bottom: 10px;
}

p.code code {
    font-family: 'Courier New', Courier, monospace;
}

p.spoiler:not(.show-spoiler) .default {
    display: block;
}

p.spoiler:not(.show-spoiler) .answer {
    display: none;
}

p.spoiler.show-spoiler .default {
    display: none;
}

p.spoiler.show-spoiler .answer {
    display: block;
}


/* Code formatting */

.keyword {
    color: blue;
}

.function {
    color: hotpink;
}

.number {
    color: lightseagreen;
}

.string {
    color: #e47d00;
}

.comment {
    color: grey;
}

.error {
    color: #ed4337;
}

.valid {
    color: #3cb043;
}

.other {
    color: darkgoldenrod;
}

.override {
    color: black;
}


/* Table formatting */

p.table {
    margin-bottom: 0px;
}

table, th, td {
    border: 1px solid black;
}

th, td {
    padding: 5px;
    text-align: left;
}


/* Copy button */

input.copybtn {
    width: 15px;
    height: 20px;
    background-image: url("icons/copy.svg");
    background-position: center;
    background-repeat: no-repeat;
    border: 0;
    background-color: white;
    margin-left: 5px;
}

input.copybtn.donebtn {
    background-image: url("icons/done.svg");
}

input.copybtn:hover {
    filter: brightness(200%);
}


/* Miscellaneous */

strong {
    color: red;
}

h3.home-link a {
    font-style: normal;
    color: #404040;
}

.noselect {
    -webkit-touch-callout: none; /* iOS Safari */
      -webkit-user-select: none; /* Safari */
       -khtml-user-select: none; /* Konqueror HTML */
         -moz-user-select: none; /* Old versions of Firefox */
          -ms-user-select: none; /* Internet Explorer/Edge */
              user-select: none; /* Non-prefixed version, currently
                                    supported by Chrome, Edge, Opera and Firefox */
}

.pseudo-code {
    font-size: 20px;
}

.pseudo-code code {
    font-family: 'Courier New', Courier, monospace;
}

.small-code {
    font-size: 1rem;
}

ul.less-padding-left, ol.less-padding-left {
    padding-left: 25px;
}

ul.spaced-out li {
    padding-top: 20px;
}

img.img-render {
    image-rendering: pixelated;
}

.tip {
    display: block;
}

@media (pointer: fine) {
    .tip {
        display: none;
    }
}

.no-bold {
    font-weight: normal;
}

.overbar {
    text-decoration: overline;
}

a.navbar-link {
    font-style: normal;
    text-decoration: none;
}

.colour-best {
    color: #3cb043
}

.colour-mid {
    color: darkgoldenrod;
}

.colour-worst {
    color: #ed4337;
}

b {
    text-decoration: underline;
}

input#v2-button {
    width: 80px;
    height: 40px;
    padding: 5px;
    border-radius: 20px;
    position: fixed;
    top: 20px;
    right: 8px;
    background-color: white;
    transition: background-color 200ms;
}

input#v2-button:hover {
    background-color: #e0f0f0;
}