1 files changed, 160 insertions, 0 deletions
diff --git a/static/style.css b/static/style.css
new file mode 100644
index 0000000..02c6efa
--- /dev/null
+++ b/static/style.css
@@ -0,0 +1,160 @@
+/* Global */
+body {
+	background: white;
+	color: black;
+	font-family: Arial, sans-serif;
+}
+h1, h2, h3, h4, h5 {
+	font-weight: normal;
+}
+p, li {
+	font-size: 10pt;
+}
+pre, code {
+	font-size: 10pt;
+	font-family: Consolas, monospace;
+}
+a {
+	color: #5588aa;
+	text-decoration: none;
+}
+a:hover {
+	text-decoration: underline;
+}
+
+/* Layout */
+body {
+	text-align: center;
+}
+#container {
+	margin-left: auto;
+	margin-right: auto;
+	text-align: left;
+	width: 800px;
+}
+#content {
+	width: 550px;
+}
+#sidebar {
+	width: 220px;
+	float: right;
+}
+#footer {
+	clear: both;
+	padding-top: 20px;
+	text-align: center;
+}
+
+/* Heading */
+#heading {
+	margin: 30px 0;
+	font-size: 150%;
+	font-weight: normal;
+}
+#heading a {
+	color: black;
+}
+#heading img {
+	margin-left: -30px;
+	margin-right: 10px;
+	margin-bottom: -15px;
+}
+
+/* Sidebar */
+#sidebar h1 {
+	font-size: 100%;
+}
+#sidebar li {
+	list-style-type: none;
+}
+#sidebar ul {
+	list-style-type: none;
+	padding: 0;
+}
+
+/* Content */
+#content h1.title {
+	font-size: 130%;
+}
+#content h1.title a {
+	color: inherit;
+	text-decoration: none;
+}
+#content h1 {
+	font-size: 120%;
+}
+#content h2 {
+	font-size: 110%;
+}
+#content h3, #content h4, #content h4 {
+	font-size: 100%;
+}
+#content .date {
+	text-transform: uppercase;
+	color: #999;
+	letter-spacing: .2em;
+	font-size: 8pt;
+}
+#content .author {
+	font-style: italic;
+}
+#content .article {
+	margin-bottom: 30px;
+}
+#content img {
+	max-width: 550px;
+}
+
+/* Code and playground */
+.code pre, .playground pre, .output pre {
+	margin: 0;
+	padding: 0;
+	background: none;
+	border: none;
+	width: 100%;
+	height: 100%;
+	overflow: auto;
+}
+.code, .playground, .output {
+	margin: 20px;
+	padding: 10px;
+	-webkit-border-radius: 5px;
+	-moz-border-radius: 5px;
+	border-radius: 5px;
+}
+.code, .playground {
+	background: #e9e9e9;
+}
+.output {
+	background: #202020;
+}
+.output .stdout, .output pre {
+	color: #e6e6e6;
+}
+.output .stderr, .output .error {
+	color: rgb(244, 74, 63);
+}
+.output .system, .output .exit {
+	color: rgb(255, 209, 77)
+}
+.buttons {
+	position: relative;
+	float: right;
+	top: -50px;
+	right: 30px;
+}
+.output .buttons {
+	top: -60px;
+	right: 0;
+	height: 0;
+}
+.buttons .kill {
+	display: none;
+	visibility: hidden;
+}
+
+/* Index */
+.tags {
+	color: #ccc;
+	font-size: smaller;
+}