diff options
author | = <pux@pux.dom> | 2020-11-18 13:26:12 +0100 |
---|---|---|
committer | = <pux@pux.dom> | 2020-11-18 13:26:12 +0100 |
commit | 486ee8df99d8635f8355bf54f5775e48c7bfcc8c (patch) | |
tree | d67b385b726c2b3bc9f37412d62ed7d3d7bf6723 /INDEX.html | |
parent | a3dd7dcdb6920d60c68a106806998ec1a2500dd0 (diff) | |
download | pub-docs-486ee8df99d8635f8355bf54f5775e48c7bfcc8c.tar.gz pub-docs-486ee8df99d8635f8355bf54f5775e48c7bfcc8c.tar.bz2 pub-docs-486ee8df99d8635f8355bf54f5775e48c7bfcc8c.zip |
style update
Diffstat (limited to 'INDEX.html')
-rw-r--r-- | INDEX.html | 32 |
1 files changed, 25 insertions, 7 deletions
@@ -1,12 +1,30 @@ <!DOCTYPE html> -<html> +<html xmlns="http://www.w3.org/1999/xhtml" lang xml:lang> <head> - <meta charset="utf-8"> - <meta name="generator" content="pandoc"> - <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes"> - <title></title> - <style type="text/css">code{white-space: pre;}</style> - <link href="data:text/css;charset=utf-8,%0A%2A%20%7Bfont%2Dfamily%3A%20Arial%7D%0A" rel="stylesheet"> + <meta charset="utf-8" /> + <meta name="generator" content="pandoc" /> + <meta name="viewport" content="width=device-width, initial-scale=1.0, user-scalable=yes" /> + <title>INDEX</title> + <style> + code{white-space: pre-wrap;} + span.smallcaps{font-variant: small-caps;} + span.underline{text-decoration: underline;} + div.column{display: inline-block; vertical-align: top; width: 50%;} + div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;} + ul.task-list{list-style: none;} + .display.math{display: block; text-align: center; margin: 0.5rem auto;} + </style> + <style type="text/css">* { +color: white; + +font-family: Arial; +background-color: black; +} +a:link {color: orange} +a:visited {color: red} +a:hover {color: red} +a:active {color: red} +</style> <!--[if lt IE 9]> <script src="//cdnjs.cloudflare.com/ajax/libs/html5shiv/3.7.3/html5shiv-printshiv.min.js"></script> <![endif]--> |