@import url('syntacs.css');
@import url('https://fonts.googleapis.com/css?family=Fira+Sans:400,400i,700,700i&display=swap');

html {
    scroll-behavior: smooth;
}

body {
    font-family: 'Fira Sans', sans-serif;
    margin: 2em;
    font-size: 110%;
}

a {
    text-decoration: none;
    color: #0749ab;
}

a:hover {
    color: #2179fc;
}

h2 {
    margin-top: 2em;
}

.code {
    font-family: 'Fira Code', monospace;
    color: #586878;
    font-variant-ligatures: none;
}

ul.plain {
    padding: 0;
}

ul.plain li {
    margin: 0 0 0.5em 0;
    list-style: none;
}

table.nice {
    font-size: 110%;
}

table.nice th {
    background: #7f97af;
    color: white;
    text-align: left;
    font-weight: normal;
}

table.nice th, table.nice td {
    padding: 0.4em 0.8em;
}

table.nice tr:nth-child(odd) td {
    background: #e4e7eb;
}

table.nice tr:nth-child(even) td {
    background: #f3f3f3;
}