1 files changed, 0 insertions, 167 deletions
diff --git a/static/style.css b/static/style.css
deleted file mode 100644
index 7ab117c..0000000
--- a/static/style.css
+++ /dev/null
@@ -1,167 +0,0 @@
-/* Global */
-body {
-	background: white;
-	color: black;
-	font-family: Arial, sans-serif;
-}
-h1, h2, h3, h4, h5 {
-	font-weight: normal;
-}
-p, li {
-	font-size: 10pt;
-}
-p {
-	line-height: 1.6em;
-}
-li, pre {
-	line-height: 1.3em;
-}
-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.title a:hover {
-	color: #5588aa;
-	text-decoration: underline;
-}
-#content h1, #content h2, #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: 50px;
-}
-#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;
-}
-.playground .number {
-	color: #999;
-}
-.code, .playground, .output {
-	margin: 20px 0;
-	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: 10px;
-}
-.output .buttons {
-	top: -60px;
-	right: 0;
-	height: 0;
-}
-.buttons .kill {
-	display: none;
-	visibility: hidden;
-}
-
-/* Index */
-.tags {
-	color: #ccc;
-	font-size: smaller;
-}