
@font-face {
    font-family: "Consolas";
    src: url("/media/fonts/consola.ttf");
    font-weight: normal;
    font-style: normal;
}

@font-face {
    font-family: "Consolas";
    src: url("/media/fonts/consolai.ttf");
    font-weight: normal;
    font-style: italic;
}

@font-face {
    font-family: "Consolas";
    src: url("/media/fonts/consolaz.ttf");
    font-weight: bold;
    font-style: italic;
}

@font-face {
    font-family: "Consolas";
    src: url("/media/fonts/consolab.ttf");
    font-weight: bold;
    font-style: normal;
}

.content p .katex .katex-html {
    color: #333;
    background: #fcfcfc;
    border: 3px solid #eaeaea;
    margin: 0px 2px;
    padding: 4px 6px;
    font: normal 14px KaTeX_Main,Times New Roman,serif;
}

.content p .katex-display .katex .katex-html>.newline {
    display: block; 
    padding-bottom: 10px;
}

.content p .katex-display .katex .katex-html {
    color: #333;
    background: #fcfcfc;
    border: 3px solid #ccc;
    padding: 6px 10px;
    line-height: 19px;
    margin-bottom: 20px;
    font: normal 16px KaTeX_Main,Times New Roman,serif;
    margin-left: 50px;
    margin-right: 50px;
}

.content pre {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    border: 3px solid #ccc;
    word-wrap: break-word;
    padding: 6px 10px;
    line-height: 19px;
    margin-bottom: 20px;
}

.content code {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    border: 3px solid #eaeaea;
    margin: 0px 2px;
    padding: 0px 5px;
    font-size: 12px;
}

.content pre code {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    border: 0px;
    padding: 0px;
    margin: 0px;
    -moz-border-radius: 0px;
    -webkit-border-radius: 0px;
    border-radius: 0px;
}

.content pre, code {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #333;
    background: #fcfcfc;
}

.content pre, pre code {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    font-size: 13px;
}

.content pre .comment {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #679b7c;
}

.content pre .keyword {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    font-weight: bold;
    color: #0080c0;
}

.content pre .keyword.operator {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #0000a0;
}

.content pre .keyword.builtin {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #800000;
}

.content pre .constant.numeric {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #ff8000;
}

.content pre .constant.string {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #808080;
}

.content pre .constant.character {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #808080;
}

.content pre .meta {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    font-weight: bold;
    color: #2f2f46;
}

.content pre .meta.preprocessor {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    font-weight: normal;
    color: #808040;
}

.content pre .support.type {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    font-weight: bold;
    color: #800000;
}

.content pre .storage {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    font-weight: bold;
    color: #ae3f71;
}

.content pre .entity {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #443657;
    font-weight: bold;
}

.content pre .support.magic {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #A57C36;
    font-weight: bold;
}

.content pre .string {
    font-family: Consolas, 'Liberation Mono', 'DejaVu Sans Mono', 'Courier New', monospace;
    color: #808080;
}

