diff --git a/background.gif b/background.gif index 2f0445d..300e70a 100644 Binary files a/background.gif and b/background.gif differ diff --git a/background_old.gif b/background_old.gif new file mode 100644 index 0000000..2f0445d Binary files /dev/null and b/background_old.gif differ diff --git a/style.css b/style.css index c73cae1..0491dea 100644 --- a/style.css +++ b/style.css @@ -3,9 +3,9 @@ html { } body { - font-family: IBMPlexSans-Regular,sans-serif; + font-family: sans-serif; font-style: normal; - font-weight: 200; +/* font-weight: 200;*/ color: whitesmoke; display: block; @@ -16,28 +16,46 @@ body { } p { - font-family: IBMPlexMono-Italic,monospace; + font-family: monospace; font-style: normal; - font-size: 17px; + font-size: normal; } +.fig { + font-family: Monospace; + font-size: 5pt; + /*color: blue;*/ + +} + +h1 { + text-align: center; + font-size: 3em; + } + div { + margin: auto; display: block; + font-family: 'Source Code Pro', Consolas, Menlo, Monaco, 'Lucida Console', 'Liberation Mono', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Courier New', monospace; } div.content { - max-width: 800px; margin: auto; + font-family: 'Source Code Pro', Consolas, Menlo, Monaco, 'Lucida Console', 'Liberation Mono', 'DejaVu Sans Mono', 'Bitstream Vera Sans Mono', 'Courier New', monospace; + text-align: justify; + max-width: 800px; - background-color: black; +/* background-color: black;*/ } a { - color: whitesmoke; + text-decoration: none; + color: lightcyan; + font-weight: bold; } marquee { - font-family: IBMPlexMono-Italic,monospace; - font-style: normal; - font-size: 12px; -} \ No newline at end of file + font-family: monospace; + font-style: bold; + /*font-size: .5em;*/ +} diff --git a/style_old.css b/style_old.css new file mode 100644 index 0000000..c73cae1 --- /dev/null +++ b/style_old.css @@ -0,0 +1,43 @@ +html { + display: block; +} + +body { + font-family: IBMPlexSans-Regular,sans-serif; + font-style: normal; + font-weight: 200; + color: whitesmoke; + + display: block; + margin: 8px; + + background-image: url("background.gif"); + background-size: cover; +} + +p { + font-family: IBMPlexMono-Italic,monospace; + font-style: normal; + font-size: 17px; +} + +div { + display: block; +} + +div.content { + max-width: 800px; + margin: auto; + + background-color: black; +} + +a { + color: whitesmoke; +} + +marquee { + font-family: IBMPlexMono-Italic,monospace; + font-style: normal; + font-size: 12px; +} \ No newline at end of file