Skip to content

Commit

Permalink
Update page styles to use GitHub CSS
Browse files Browse the repository at this point in the history
  • Loading branch information
Eloston committed Feb 22, 2017
1 parent 393136e commit 2df960e
Show file tree
Hide file tree
Showing 53 changed files with 1,444 additions and 305 deletions.
7 changes: 7 additions & 0 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -12,6 +12,13 @@ When creating new pages or adding new versions, use an existing version as a tem

### Updating the website

Prerequisites:
* [Python-Markdown](//github.com/waylan/Python-Markdown) for `site_generator.py`

Use `utilities/platform_ini_generator.py` to generate INI file content with the correct URLs to binaries. Redirect the standard output to an `.ini` file in the `config/platforms` directory with the corresponding tag version. Pass in `--help` for usage information.

When finished with updating the website, run `utilities/site_generator.py`. There are no arguments

## External resources

* [github-markdown-css](//github.com/sindresorhus/github-markdown-css)
19 changes: 19 additions & 0 deletions config/page_templates/output_wrapper.html.in
Original file line number Diff line number Diff line change
@@ -0,0 +1,19 @@
<html>
<head>
<meta charset="UTF-8"></meta>
<title>$ungoog{title}</title>
<link rel="stylesheet" href="$ungoog{github_markdown_css}"></link>
<style>
.markdown-body {
box-sizing: border-box;
min-width: 0%;
max-width: 100%;
margin: 0 auto;
padding: 2em;
}
</style>
</head>
<body class="markdown-body">
$ungoog{body}
</body>
</html>
Loading

0 comments on commit 2df960e

Please sign in to comment.