diff options
-rw-r--r-- | images/apl-screenshot.png (renamed from sites/apl.pmikkelsen.com/_images/screenshot.png) | bin | 27184 -> 27184 bytes | |||
-rw-r--r-- | images/prolog-screenshot.png (renamed from sites/prolog.pmikkelsen.com/_images/screenshot.png) | bin | 40738 -> 40738 bytes | |||
-rw-r--r-- | pub/style/style.css | 115 | ||||
-rw-r--r-- | sites/apl.pmikkelsen.com/_werc/pub/style.css | 122 | ||||
-rw-r--r-- | sites/apl.pmikkelsen.com/index.md | 4 | ||||
-rw-r--r-- | sites/lpa.pmikkelsen.com/_werc/pub/style.css | 122 | ||||
-rw-r--r-- | sites/pmikkelsen.com/_werc/pub/style.css | 122 | ||||
-rw-r--r-- | sites/prolog.pmikkelsen.com/_werc/pub/style.css | 122 | ||||
-rw-r--r-- | sites/prolog.pmikkelsen.com/index.md | 2 |
9 files changed, 116 insertions, 493 deletions
diff --git a/sites/apl.pmikkelsen.com/_images/screenshot.png b/images/apl-screenshot.png Binary files differindex ec56a32..ec56a32 100644 --- a/sites/apl.pmikkelsen.com/_images/screenshot.png +++ b/images/apl-screenshot.png diff --git a/sites/prolog.pmikkelsen.com/_images/screenshot.png b/images/prolog-screenshot.png Binary files differindex a1e75ce..a1e75ce 100644 --- a/sites/prolog.pmikkelsen.com/_images/screenshot.png +++ b/images/prolog-screenshot.png diff --git a/pub/style/style.css b/pub/style/style.css index 91f060e..1002606 100644 --- a/pub/style/style.css +++ b/pub/style/style.css @@ -1,11 +1,122 @@ -body { display: flex; flex-wrap: wrap; font-family: sans; } +body { display: flex; flex-wrap: wrap; font-family: sans;} header { flex-basis: 100%; flex-shrink: 0; } article { flex-basis: 60%; padding-left: 1em; } footer { flex-basis: 100%; flex-shrink: 0; } header nav { display: flex; justify-content: space-between; } nav a, header a { text-decoration: none ; color: inherit; } header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; } -body > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; } +.mainContent > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; } nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0; } nav li ul { padding-left: 0.6em } footer { display: flex; justify-content: space-between; } + +/* cut here to leave vanity behind */ + +body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; } +a { text-decoration: none; color: } +a:hover { text-decoration: underline; } +.thisPage { color: black; } + +/* header and top bar */ +header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; } +header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; } +header a:hover { text-decoration: none; } + +/* sidebar */ +.mainContent > nav { border-right: 1px solid #ddd; padding: 0; } +.mainContent > nav > div { border-bottom: 1px solid #ddd; } +.mainContent > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} +.mainContent > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; } +.mainContent > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; } + +/* main copy */ +article { padding: 0.5ex 0 5vh 1vw; } +article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); } +article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } +article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } +article a { color: rgb(0,102,204); } +article a:hover { color: rgb(100,135,220); } +article pre { font-size: 1.2em; } + +/* footer */ +footer { color: white; background-color: rgb(100,135,220); } +footer a { color: inherit; } +footer div { padding: 1em; } + +/* tables */ +table { border: 1px solid rgba(128,128,128,0.5); padding: 0; } +th { color: white; background-color: rgb(100,135,220); } +tr:nth-child(odd) { background-color: rgba(128,128,128,0.1) } + +/* modifications */ +img { + max-width: 100%; + border: 1px solid black; +} + +body { + +} + +header h1 { + background-color: #c2d2c6; +} + +html { + font-size: 1.2em; +} + +header nav, footer { + background-color: #442a13; +} + +code > pre { + border: 2px solid #442a13; + background-color: #c2d2c6; + width: max-content; + padding: 0 0.5em; +} + +.mainContent > nav > div a, article a:hover { + color: #442a13; +} + +.mainContent > nav > div a:hover { + color: #442a13; + background-color: #c2d2c6; +} + +article h1, article h2 { + color: #c48f3b; + border-bottom: 2px solid #442a13; +} + +article a, .thisPage, footer, header nav { + color: #c48f3b; +} + +footer { + padding: 0.5em; + flex-shrink: 1; + flex-basis: unset; +} + +header { + flex-basis: unset; +} + +html { + display: flex; + min-height: 100%; +} + +body { + flex-direction: column; + flex: 1; + background-color: #e3dfd7; +} + +.mainContent { + display: flex; + flex-grow: 1; +}
\ No newline at end of file diff --git a/sites/apl.pmikkelsen.com/_werc/pub/style.css b/sites/apl.pmikkelsen.com/_werc/pub/style.css deleted file mode 100644 index 1002606..0000000 --- a/sites/apl.pmikkelsen.com/_werc/pub/style.css +++ /dev/null @@ -1,122 +0,0 @@ -body { display: flex; flex-wrap: wrap; font-family: sans;} -header { flex-basis: 100%; flex-shrink: 0; } -article { flex-basis: 60%; padding-left: 1em; } -footer { flex-basis: 100%; flex-shrink: 0; } -header nav { display: flex; justify-content: space-between; } -nav a, header a { text-decoration: none ; color: inherit; } -header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; } -.mainContent > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; } -nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0; } -nav li ul { padding-left: 0.6em } -footer { display: flex; justify-content: space-between; } - -/* cut here to leave vanity behind */ - -body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; } -a { text-decoration: none; color: } -a:hover { text-decoration: underline; } -.thisPage { color: black; } - -/* header and top bar */ -header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; } -header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; } -header a:hover { text-decoration: none; } - -/* sidebar */ -.mainContent > nav { border-right: 1px solid #ddd; padding: 0; } -.mainContent > nav > div { border-bottom: 1px solid #ddd; } -.mainContent > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} -.mainContent > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; } -.mainContent > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; } - -/* main copy */ -article { padding: 0.5ex 0 5vh 1vw; } -article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); } -article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article a { color: rgb(0,102,204); } -article a:hover { color: rgb(100,135,220); } -article pre { font-size: 1.2em; } - -/* footer */ -footer { color: white; background-color: rgb(100,135,220); } -footer a { color: inherit; } -footer div { padding: 1em; } - -/* tables */ -table { border: 1px solid rgba(128,128,128,0.5); padding: 0; } -th { color: white; background-color: rgb(100,135,220); } -tr:nth-child(odd) { background-color: rgba(128,128,128,0.1) } - -/* modifications */ -img { - max-width: 100%; - border: 1px solid black; -} - -body { - -} - -header h1 { - background-color: #c2d2c6; -} - -html { - font-size: 1.2em; -} - -header nav, footer { - background-color: #442a13; -} - -code > pre { - border: 2px solid #442a13; - background-color: #c2d2c6; - width: max-content; - padding: 0 0.5em; -} - -.mainContent > nav > div a, article a:hover { - color: #442a13; -} - -.mainContent > nav > div a:hover { - color: #442a13; - background-color: #c2d2c6; -} - -article h1, article h2 { - color: #c48f3b; - border-bottom: 2px solid #442a13; -} - -article a, .thisPage, footer, header nav { - color: #c48f3b; -} - -footer { - padding: 0.5em; - flex-shrink: 1; - flex-basis: unset; -} - -header { - flex-basis: unset; -} - -html { - display: flex; - min-height: 100%; -} - -body { - flex-direction: column; - flex: 1; - background-color: #e3dfd7; -} - -.mainContent { - display: flex; - flex-grow: 1; -}
\ No newline at end of file diff --git a/sites/apl.pmikkelsen.com/index.md b/sites/apl.pmikkelsen.com/index.md index cae6dac..f27aac5 100644 --- a/sites/apl.pmikkelsen.com/index.md +++ b/sites/apl.pmikkelsen.com/index.md @@ -57,5 +57,5 @@ time, to get `⍶⍸⍹⍷⍣` and so on. Please email me if you have questions [![A picture of APL9 in action][2]][2] -[2]: /_images/screenshot.png -[1]: https://dyalog.com
\ No newline at end of file +[2]: /_images/apl-screenshot.png +[1]: https://dyalog.com diff --git a/sites/lpa.pmikkelsen.com/_werc/pub/style.css b/sites/lpa.pmikkelsen.com/_werc/pub/style.css deleted file mode 100644 index 1002606..0000000 --- a/sites/lpa.pmikkelsen.com/_werc/pub/style.css +++ /dev/null @@ -1,122 +0,0 @@ -body { display: flex; flex-wrap: wrap; font-family: sans;} -header { flex-basis: 100%; flex-shrink: 0; } -article { flex-basis: 60%; padding-left: 1em; } -footer { flex-basis: 100%; flex-shrink: 0; } -header nav { display: flex; justify-content: space-between; } -nav a, header a { text-decoration: none ; color: inherit; } -header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; } -.mainContent > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; } -nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0; } -nav li ul { padding-left: 0.6em } -footer { display: flex; justify-content: space-between; } - -/* cut here to leave vanity behind */ - -body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; } -a { text-decoration: none; color: } -a:hover { text-decoration: underline; } -.thisPage { color: black; } - -/* header and top bar */ -header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; } -header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; } -header a:hover { text-decoration: none; } - -/* sidebar */ -.mainContent > nav { border-right: 1px solid #ddd; padding: 0; } -.mainContent > nav > div { border-bottom: 1px solid #ddd; } -.mainContent > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} -.mainContent > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; } -.mainContent > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; } - -/* main copy */ -article { padding: 0.5ex 0 5vh 1vw; } -article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); } -article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article a { color: rgb(0,102,204); } -article a:hover { color: rgb(100,135,220); } -article pre { font-size: 1.2em; } - -/* footer */ -footer { color: white; background-color: rgb(100,135,220); } -footer a { color: inherit; } -footer div { padding: 1em; } - -/* tables */ -table { border: 1px solid rgba(128,128,128,0.5); padding: 0; } -th { color: white; background-color: rgb(100,135,220); } -tr:nth-child(odd) { background-color: rgba(128,128,128,0.1) } - -/* modifications */ -img { - max-width: 100%; - border: 1px solid black; -} - -body { - -} - -header h1 { - background-color: #c2d2c6; -} - -html { - font-size: 1.2em; -} - -header nav, footer { - background-color: #442a13; -} - -code > pre { - border: 2px solid #442a13; - background-color: #c2d2c6; - width: max-content; - padding: 0 0.5em; -} - -.mainContent > nav > div a, article a:hover { - color: #442a13; -} - -.mainContent > nav > div a:hover { - color: #442a13; - background-color: #c2d2c6; -} - -article h1, article h2 { - color: #c48f3b; - border-bottom: 2px solid #442a13; -} - -article a, .thisPage, footer, header nav { - color: #c48f3b; -} - -footer { - padding: 0.5em; - flex-shrink: 1; - flex-basis: unset; -} - -header { - flex-basis: unset; -} - -html { - display: flex; - min-height: 100%; -} - -body { - flex-direction: column; - flex: 1; - background-color: #e3dfd7; -} - -.mainContent { - display: flex; - flex-grow: 1; -}
\ No newline at end of file diff --git a/sites/pmikkelsen.com/_werc/pub/style.css b/sites/pmikkelsen.com/_werc/pub/style.css deleted file mode 100644 index 1002606..0000000 --- a/sites/pmikkelsen.com/_werc/pub/style.css +++ /dev/null @@ -1,122 +0,0 @@ -body { display: flex; flex-wrap: wrap; font-family: sans;} -header { flex-basis: 100%; flex-shrink: 0; } -article { flex-basis: 60%; padding-left: 1em; } -footer { flex-basis: 100%; flex-shrink: 0; } -header nav { display: flex; justify-content: space-between; } -nav a, header a { text-decoration: none ; color: inherit; } -header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; } -.mainContent > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; } -nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0; } -nav li ul { padding-left: 0.6em } -footer { display: flex; justify-content: space-between; } - -/* cut here to leave vanity behind */ - -body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; } -a { text-decoration: none; color: } -a:hover { text-decoration: underline; } -.thisPage { color: black; } - -/* header and top bar */ -header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; } -header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; } -header a:hover { text-decoration: none; } - -/* sidebar */ -.mainContent > nav { border-right: 1px solid #ddd; padding: 0; } -.mainContent > nav > div { border-bottom: 1px solid #ddd; } -.mainContent > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} -.mainContent > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; } -.mainContent > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; } - -/* main copy */ -article { padding: 0.5ex 0 5vh 1vw; } -article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); } -article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article a { color: rgb(0,102,204); } -article a:hover { color: rgb(100,135,220); } -article pre { font-size: 1.2em; } - -/* footer */ -footer { color: white; background-color: rgb(100,135,220); } -footer a { color: inherit; } -footer div { padding: 1em; } - -/* tables */ -table { border: 1px solid rgba(128,128,128,0.5); padding: 0; } -th { color: white; background-color: rgb(100,135,220); } -tr:nth-child(odd) { background-color: rgba(128,128,128,0.1) } - -/* modifications */ -img { - max-width: 100%; - border: 1px solid black; -} - -body { - -} - -header h1 { - background-color: #c2d2c6; -} - -html { - font-size: 1.2em; -} - -header nav, footer { - background-color: #442a13; -} - -code > pre { - border: 2px solid #442a13; - background-color: #c2d2c6; - width: max-content; - padding: 0 0.5em; -} - -.mainContent > nav > div a, article a:hover { - color: #442a13; -} - -.mainContent > nav > div a:hover { - color: #442a13; - background-color: #c2d2c6; -} - -article h1, article h2 { - color: #c48f3b; - border-bottom: 2px solid #442a13; -} - -article a, .thisPage, footer, header nav { - color: #c48f3b; -} - -footer { - padding: 0.5em; - flex-shrink: 1; - flex-basis: unset; -} - -header { - flex-basis: unset; -} - -html { - display: flex; - min-height: 100%; -} - -body { - flex-direction: column; - flex: 1; - background-color: #e3dfd7; -} - -.mainContent { - display: flex; - flex-grow: 1; -}
\ No newline at end of file diff --git a/sites/prolog.pmikkelsen.com/_werc/pub/style.css b/sites/prolog.pmikkelsen.com/_werc/pub/style.css deleted file mode 100644 index 1002606..0000000 --- a/sites/prolog.pmikkelsen.com/_werc/pub/style.css +++ /dev/null @@ -1,122 +0,0 @@ -body { display: flex; flex-wrap: wrap; font-family: sans;} -header { flex-basis: 100%; flex-shrink: 0; } -article { flex-basis: 60%; padding-left: 1em; } -footer { flex-basis: 100%; flex-shrink: 0; } -header nav { display: flex; justify-content: space-between; } -nav a, header a { text-decoration: none ; color: inherit; } -header h1 span { margin-left: 1em; font-size: 50%; font-style: italic; } -.mainContent > nav { flex-basis: content; padding-right: 1vw; min-width: 16em; } -nav ul { display: flex; flex-direction: column; list-style-type: none; list-style-position: outside; padding-left: 0; } -nav li ul { padding-left: 0.6em } -footer { display: flex; justify-content: space-between; } - -/* cut here to leave vanity behind */ - -body { margin:0; padding: 0; font-size: 84%; font-family: Helvetica, Verdana, Arial, 'Liberation Sans', FreeSans, sans-serif; } -a { text-decoration: none; color: } -a:hover { text-decoration: underline; } -.thisPage { color: black; } - -/* header and top bar */ -header nav { background-color: rgb(100,135,220); color: white; padding: 0.3em; border-bottom: 2px solid black; font-size: 91%; } -header h1 { background-color: #ff6d06; color: black; margin: 0; border-bottom: 2px solid black; font-weight: normal; padding: 0.25ex; font-size: 233%; } -header a:hover { text-decoration: none; } - -/* sidebar */ -.mainContent > nav { border-right: 1px solid #ddd; padding: 0; } -.mainContent > nav > div { border-bottom: 1px solid #ddd; } -.mainContent > nav > div a { color: rgb(0, 102, 204); display: block; text-transform: capitalize; font-weight: bold; padding: 0.25em 1ex 0.25em 2mm; font-size: 102%} -.mainContent > nav > div a:hover { color: white; background-color: rgb(100,135,220); border-left: black solid 0.2em; text-decoration: none; } -.mainContent > nav > div p { font-weight: bold; margin: 0 0 0.5em 2mm; padding: 1em 0 0 0; } - -/* main copy */ -article { padding: 0.5ex 0 5vh 1vw; } -article h1, article h2 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; border-bottom: 2px solid rgb(0,102,204); } -article h3, article h4, article h5 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article h6, article h7, article h8 { color: rgb(0,102,204); font-weight: bold; margin: 2em 0 0 0; } -article a { color: rgb(0,102,204); } -article a:hover { color: rgb(100,135,220); } -article pre { font-size: 1.2em; } - -/* footer */ -footer { color: white; background-color: rgb(100,135,220); } -footer a { color: inherit; } -footer div { padding: 1em; } - -/* tables */ -table { border: 1px solid rgba(128,128,128,0.5); padding: 0; } -th { color: white; background-color: rgb(100,135,220); } -tr:nth-child(odd) { background-color: rgba(128,128,128,0.1) } - -/* modifications */ -img { - max-width: 100%; - border: 1px solid black; -} - -body { - -} - -header h1 { - background-color: #c2d2c6; -} - -html { - font-size: 1.2em; -} - -header nav, footer { - background-color: #442a13; -} - -code > pre { - border: 2px solid #442a13; - background-color: #c2d2c6; - width: max-content; - padding: 0 0.5em; -} - -.mainContent > nav > div a, article a:hover { - color: #442a13; -} - -.mainContent > nav > div a:hover { - color: #442a13; - background-color: #c2d2c6; -} - -article h1, article h2 { - color: #c48f3b; - border-bottom: 2px solid #442a13; -} - -article a, .thisPage, footer, header nav { - color: #c48f3b; -} - -footer { - padding: 0.5em; - flex-shrink: 1; - flex-basis: unset; -} - -header { - flex-basis: unset; -} - -html { - display: flex; - min-height: 100%; -} - -body { - flex-direction: column; - flex: 1; - background-color: #e3dfd7; -} - -.mainContent { - display: flex; - flex-grow: 1; -}
\ No newline at end of file diff --git a/sites/prolog.pmikkelsen.com/index.md b/sites/prolog.pmikkelsen.com/index.md index 4d0efc5..730d8c0 100644 --- a/sites/prolog.pmikkelsen.com/index.md +++ b/sites/prolog.pmikkelsen.com/index.md @@ -69,4 +69,4 @@ and many more all listed [here](https://git.sr.ht/~pmikkelsen/pprolog/tree/maste [![A picture of pprolog in action][1]][1] -[1]: /_images/screenshot.png +[1]: /_images/prolog-screenshot.png |