Merge branch 'master' of ssh://192.168.15.97/codeq-problems

1 files changed, 60 insertions, 0 deletions

diff --git a/prolog/style.css b/prolog/style.css
new file mode 100644
index 0000000..2000a50
--- /dev/null
+++ b/prolog/style.css
@@ -0,0 +1,60 @@
+body {
+    max-width: 60em;
+    margin: 0 auto;
+    padding: 1em;
+    hyphens: auto;
+    -moz-hyphens: auto;
+    -ms-hyphens: auto;
+    -webkit-hyphens: auto;
+}
+
+figure {
+    margin: 0 auto;
+}
+figure > figcaption {
+    text-align: center;
+            width: 100%;
+}
+figure img {
+    display: block;
+    margin: 0.25em auto;
+    max-width: 80%;
+}
+
+li > p {
+    margin: 0;
+}
+li > p:last-child {
+    margin-bottom: 0.5em;
+}
+
+p {
+    text-align: justify;
+}
+
+/* code snippets */
+code, pre {
+    font-size: 0.95em;
+}
+
+code {
+    background-color: #f4f2f9;
+    color: #1525c6;
+    padding: 0.1em 0.2em;
+}
+
+pre {
+    padding: 0.5em 1em;
+    margin: 0 0 10px;
+    color: #333;
+    word-break: break-all;
+    word-wrap: break-word;
+    background-color: #f5f5f5;
+    border: 1px solid #ccc;
+    border-radius: 4px;
+}
+
+/* CodeQ name in small caps */
+span.codeq {
+    font-variant: small-caps;
+}