--- /dev/null
+div#title,div#subtitle{
+ font-family: "Liberation Mono","DejaVu Sans Mono","Lucida Console",monospace;
+ font-weight: bold;
+ text-align: center;
+ padding: 0;
+ margin: 0;
+}
+
+div#title{
+ font-size: 7em;
+}
+
+div#subtitle{
+ font-size: 3em;
+}
+
+span.i{
+ color: #F00;
+}
+
+span.Eval{
+ color: #0F0;
+}
+
+footer{
+ width: 60em;
+ margin: auto;
+ margin-top: 6em;
+ white-space: pre-wrap;
+ color: #777;
+}
+
+#logo {
+ margin: 5em auto 2em;
+ display: block;
+}
+
+h1 {
+ font-size: 2em !important;
+}
+
+.txtstuff {
+ overflow: hidden;
+}
+
+.hiddendiv {
+ display: none;
+ white-space: pre-wrap;
+ word-wrap: break-word;
+ overflow-wrap: break-word; /* future version of deprecated 'word-wrap' */
+}
+
+a.thumbnail {
+ border: none !important;
+}
+
+div.container-fluid {
+ padding: 0 15px;
+}
\ No newline at end of file