move html related content to htmlextras

1 files changed, 111 insertions, 0 deletions

diff --git a/htmlextras/style2.css b/htmlextras/style2.css
new file mode 100644
index 0000000..0f23916
--- /dev/null
+++ b/htmlextras/style2.css
@@ -0,0 +1,111 @@
+* {
+  line-height: 1.5em;
+  margin: 0;
+  padding: 0;
+  background-color: #f8f8f8;
+  color: #222;
+}
+
+body {
+  font: normal 14px monospace;
+  width: 99%;
+  max-width: 800px;
+  margin: 2em auto 0;
+  padding: 0 20px;
+  display: block;
+}
+
+h1, h2, h3 {
+  font-weight: bold;
+  margin-top: 1em;
+  margin-bottom: 0.75em;
+}
+
+h1 {
+  font-size: 1.5em;
+}
+
+h2 {
+  font-size: 1.25em;
+}
+
+h3 {
+  font-size: 1.0em;
+}
+
+a {
+  color: #248;
+  font-weight: 600;
+  text-decoration: none;
+}
+
+a:hover {
+  background-color: #9CFF00;
+  text-decoration: underline;
+}
+
+a:visited {
+  color: #248;
+}
+
+a.textlink:before {
+  content: "⇒ ";
+  padding-left: 11px;
+}
+
+p.quote {
+  font-style: italic;
+}
+
+p.quote:before {
+  content: "« ";
+  padding-left: 2px;
+}
+
+p.quote:after {
+  content: " »";
+  padding-right: 2px;
+}
+
+p {
+  margin: 0.75em 0 0.75em 0;
+  padding: 0 5px;
+}
+
+ol {
+  margin: 0.75em 0 0.75em 0;
+  padding: 0;
+}
+
+ul {
+  list-style: none;
+  padding-right: 23px;
+  padding-left: 10px;
+  margin: 0.75em 0 0.75em 0;
+}
+
+li {
+  margin-left: 1em;
+  margin-bottom: 0.25em;
+}
+
+li:before {
+  content: "★";
+  padding-right: 5px;
+}
+
+img {
+  max-width: 100%;
+  display: block;
+  margin: auto;
+  border: 1px solid #9CFF00;
+}
+
+pre {
+  font-family: monospace;
+  padding: 0;
+  overflow-x: scroll;
+  scrollbar-width: none;
+  border-left: 2px solid #9CFF00;
+  padding-left: 12px; 
+}