add indent on pre
[libreriscv.git] / local.css
index 37c9eb8b7564c54ad0ccce530857ebcfed98e95e..0b85ce9c54b8ac5bc4fc808baafa57c0da4211fb 100644 (file)
--- a/local.css
+++ b/local.css
@@ -1,4 +1,27 @@
-/* Counter Headings */
+html, body {
+  font-family: "Lato", "Helvetica Neue", Helvetica, Arial, sans-serif!important;
+}
+
+footer {
+  padding: 30px 0;
+}
+
+.list-group-item.active {
+   background-color: #4A90E2;
+}
+
+.bg-dark {
+   background-color: #0F2035!important;
+   border-color: #e7e7e7;
+}
+
+table th {
+       color: #eceeef;
+       background-color: #4A90E2;
+       border-color: #4A90E2;
+}
+
+/* Counter Headings Local */
 body {
 counter-reset : h1;
     }
@@ -62,7 +85,7 @@ table {
     margin-left: 35px;
 }
 
-table, th, td {
+th, td {
     border: 1px solid black;
 }
 
@@ -71,55 +94,17 @@ td {
 }
 
 /*Forums*/
-form{
-    font-size: .9em;
-    font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-    margin-left: 0em;
-    margin-top: 1.2em;
-    padding-bottom: 2em;
-}
-form#searchform{
-    font-size: .9em;
-    font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-    margin-left: 0em;
-    margin-top: 0em;
-    padding-bottom: 0em;
-}
 textarea{
     font-family: monospace;
     font-size: 1.2em;
-    border: solid 1px;
-    width: 100%;
-    margin-bottom: 10px;
 }
 input#comments{
     font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-    font-size: .9em;
-    width: 550px;
-    line-height: 1em;
-    background-color: #fff;
-    border: solid 1px;
 }
 input#comments{
     font-family: "Inconsolata", "monaco", "droid sans mono",fixed;
-    font-size: .9em;
-    width: 550px;
-    line-height: 1em;
-    background-color: #fff;
-        border: solid 1px;
-}
-input[type="submit"]{
-    font-family:
-    font-size: .9em;
-    font-weight: bold;
-    line-height: 1em;
-    background-color: #ddd;
-    margin-right: 1.1em;
-    margin-top: 10px;
-    padding: 3px;
-    text-align: center;
-    width: 9.5em;
-        border: solid 1px;
 }
 
-
+pre#content {
+    padding-left: 30px;
+}