michael/csci8980-f21
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge branch 'master' of github.com:wenkokke/sf

Browse source
This commit is contained in:
wadler 2018-05-26 13:32:29 -03:00
commit 40f9a471c1
4 changed files with 11 additions and 33 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

11
_sass/Agda.scss
View file

@ -1,10 +1,19 @@
// Define variables for code formatting
$code-font-family: Source Code Pro, Menlo, DejaVu Sans Mono, Bitstream Vera Sans Mono, Consolas, Monaco, Lucida Console, Liberation Mono, Courier New, monospace, serif;
/* Code. */
.highlight {
font-family: $code-font-family;
}
/* Agda. */
.Agda {
padding: .4em .4em;
background: #e8f2fb;
border: 1px solid #c9e1f6;
border-radius: 3px;
font-family: Menlo, Source Code Pro, Consolas, Monaco, Lucida Console, Liberation Mono, DejaVu Sans Mono, Bitstream Vera Sans Mono, Courier New, monospace, serif;
font-family: $code-font-family;
font-size: .85em; }
.Spec {

7
_sass/jquery-ui.scss
View file

File diff suppressed because one or more lines are too long

13
assets/jquery-ui.js vendored
View file

File diff suppressed because one or more lines are too long

13
assets/main.scss
View file

@ -3,15 +3,4 @@
---
@import "katex";
@import "minima";
@import "Agda";
div.equation {
text-align: center;
}
h1 { font-size: 50px }
h2 { font-size: 40px }
h3 { font-size: 30px }
h4 { font-size: 25px }
h5 { font-size: 20px }
h6 { font-size: 15px }
@import "agda";