institute
/
site
2
0
Fork 1
Code Issues Pull Requests Releases Wiki Activity

fonts change

This commit is contained in:
gbmor 2020-02-23 03:22:23 -05:00
parent ec59f7260b
commit c671239c11
1 changed files with 8 additions and 14 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

22
tilde.css
View File

@ -1,12 +1,6 @@
@import url('https://fonts.googleapis.com/css?family=Source+Code+Pro|Open+Sans&display=swap');
/* see the tail end of index.html
* for license information */
body {
background-color: #000000;
font-family: 'Open Sans', sans-serif;
font-family: sans-serif;
color: green;
padding-right: 0px;
margin-top: 10px;
@ -27,7 +21,7 @@ body {
#logobyline {
margin-left: 80px;
margin-top: -20px;
font-family: 'Source Code Pro', monospace;
font-family: monospace;
}
#navigation {
margin-left: auto;
@ -48,15 +42,15 @@ body {
margin-left: 100px;
}
#code {
font-family: 'Source Code Pro', monospace;
font-size: 0.8em;
font-family: monospace;
font-size: 1.0em;
width: 500px;
margin-left: auto;
margin-right: auto;
}
.code {
font-family: 'Source Code Pro', monospace;
font-size: 0.8em;
font-family: monospace;
font-size: 1.0em;
width: 500px;
margin-left: auto;
margin-right: auto;
@ -80,8 +74,8 @@ p {
}
code {
text-indent: 30px;
font-family: 'Source Code Pro', monospace;
font-size: 0.8em;
font-family: monospace;
font-size: 1.0em;
padding-left: 4px;
padding-right: 4px;
}