Update agda.scss

Added Courier New as a code font.
This commit is contained in:
wadler 2018-06-26 10:31:51 -03:00 committed by GitHub
parent 1882ea9e36
commit e74965be3d
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -1,7 +1,7 @@
// Define variables for code formatting
@mixin code-font {
font-family: 'Source Code Pro', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Menlo', 'Consolas', 'Monaco', 'Ludica Console', 'Liberation Mono', 'Courier New', monospace, serif;
font-family: 'Source Code Pro', 'Courier New', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Menlo', 'Consolas', 'Monaco', 'Ludica Console', 'Liberation Mono', 'Courier New', monospace, serif;
font-size: .85em;
}
@mixin code-container {