diff options
-rw-r--r-- | tilde.css | 22 |
1 files changed, 8 insertions, 14 deletions
diff --git a/tilde.css b/tilde.css index 3707cb1..c44cb7e 100644 --- a/tilde.css +++ b/tilde.css @@ -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; } |