/** Style variables */
/** Header/Navigation */
.menu { border-top: dashed 1px #bd93f9; border-bottom: dashed 1px #bd93f9; margin-bottom: 25px; }

.menu ul { margin-top: 12px; margin-bottom: 12px; padding-left: 0px; list-style-type: none; text-align: right; }

.menu ul li { display: inline; margin-left: 10px; }

.menu ul li a { text-decoration: none; color: #bd93f9; }

.menu ul li a:hover { text-decoration: none; color: var(--background-color); background-color: var(--base-color); }

/** Light theme variables */
:root { --base-color: #000; --border: dashed 1px rgba(0, 0, 0, 1); --selection-background: rgba(0, 0, 0, 0.99); --selection-text: #FFF; --background-color: #FFF; --text-color: var(--base-color); --placeholder-color: var(--base-color); --link-color: var(--base-color); --code-color-1: #aaaaaa; --code-color-2: #ffffcc; --code-color-3: #F00000; --code-color-4: #F0A0A0; --code-color-5: #0000aa; --code-color-6: #4c8317; --code-color-7: #aa0000; --code-color-8: #000080; --code-color-9: #00aa00; --code-color-10: #888888; --code-color-11: #555555; --code-color-12: #800080; --code-color-13: #00aaaa; --code-color-14: #009999; --code-color-15: #aa5500; --code-color-16: #1e90ff; --code-color-17: #800000; --code-color-18: #bbbbbb; }

/** Dark theme variables */
@media (prefers-color-scheme: dark) { :root { --base-color: #DBDBDB; --border: dashed 1px rgba(219, 219, 219, 0.9); --selection-background: rgba(219, 219, 219, 0.99); --selection-text: #000; --background-color: #000; --text-color: var(--base-color); --placeholder-color: var(--base-color); --link-color: var(--base-color); --code-color-1: #aaaaaa; --code-color-2: #ffffcc; --code-color-3: #F00000; --code-color-4: #F0A0A0; --code-color-5: #b38aff; --code-color-6: #5ba711; --code-color-7: #e4e477; --code-color-8: #000080; --code-color-9: #05ca05; --code-color-10: #888888; --code-color-11: #555555; --code-color-12: #800080; --code-color-13: #00d4d4; --code-color-14: #00c1c1; --code-color-15: #ed9d13; --code-color-16: #1e90ff; --code-color-17: #800000; --code-color-18: #bbbbbb; } }

/*# sourceMappingURL=main.css.map */