-div#title,div#subtitle{
- font-family: "Liberation Mono","DejaVu Sans Mono","Lucida Console",monospace;
+h1#title{
font-weight: bold;
text-align: center;
- padding: 0;
- margin: 0;
-}
-
-div#title{
- font-size: 7em;
-}
-
-div#subtitle{
- font-size: 3em;
-}
-
-span.i{
- color: #C00;
-}
-
-span.Eval{
- color: #0C0;
+ font-size: 3em !important;
}
footer{
width: 60em;
margin: auto;
margin-top: 6em;
- white-space: pre-wrap;
color: #777;
}
padding: 0 15px;
}
-.list-group-item {
+.list-group-item, .form-control {
max-width: 30em;
}
+
+div#result{
+ text-align: center;
+}
+
+a.dropdown-toggle{
+ cursor: pointer;
+}
+
+.table-fixed{
+ table-layout: fixed;
+}
+
+#clock{
+ float: right;
+ margin-right: 1em;
+}
+
+nav li{
+ padding: 5px;
+}
+
+ul.inline{
+ list-style-type: none;
+}
+
+ul.inline li{
+ display: inline;
+}
+
+ul.inline li:after {
+ content: ", ";
+}
+
+ul.inline li:last-child:after {
+ content: "";
+}
+
+.tracker-mark.tick {
+ color: green;
+}
+
+.tracker-mark.x{
+ color: red;
+}
\ No newline at end of file