Style for lists tweaked.

1 files changed, 57 insertions, 2 deletions

diff --git a/html/proofgen.css b/html/proofgen.css
index 29ec36b4..64deb34a 100644
--- a/html/proofgen.css
+++ b/html/proofgen.css
@@ -63,11 +63,25 @@ address{
  color: #FFFFFF; 			       /* but varies randomly in NN */
 }
 
-input,select,textarea {
- background: #3D2D33;
+textarea,select,input {
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: 100%;
+ background: #2D1D03;
  color: #FFFFFF;
 }
 
+input[type=submit],input[type=Submit] {
+ font-family: Verdana, Arial, sans-serif;
+ font-size: 80%;
+ padding-top: 0px;
+ padding-bottom: 0px;
+ background: #401010;
+}
+
+#button:active{
+ background: #402020;
+}
+
 dl,ul,dir,li{
  font-family: Verdana, Arial, sans-serif;	
  color: #FFFFFF;
@@ -91,6 +105,9 @@ table.menubar{
  color: #FFFFFF;
 }
 
+
+
+
 td,tr{
  font-family: Verdana, Arial, sans-serif;	
 /* background-color: #2D1D03;   */
@@ -122,3 +139,41 @@ p.nb{
  font-size: smaller;
  font-style: italic;
 }
+
+/* These bits for Mailman pages for mailing lists */
+TD.head1old {
+ font-family: Verdana, Arial, sans-serif;
+  text-align: center;
+  color: #FFFFFF;
+  font-weight: bold;
+  font-size: 110%;
+}
+td.head1{
+ font-family: Verdana, Arial, sans-serif;
+ font-series: bold;
+ font-size: 110%;
+ text-align: center;
+ color: #FFFFFF;
+}
+td.head2{
+ font-family: Verdana, Arial, sans-serif;
+ font-size: 100%;
+ font-weight: bold;
+ color: #FFFFD0;
+ padding: 2px 4px 4px 4px;
+ background: #7D4D33;
+}
+td.head3{
+ font-family: Verdana, Arial, sans-serif;	
+ padding: 2px 2px 2px 2px;
+ margin-right: 10%;
+ background: #6D3D43;
+ font-size: 80%;
+ color: #FFFFD0;
+}
+td.head4{
+ font-family: Verdana, Arial, sans-serif;	
+ font-size: 100%;
+ font-weight: bold;
+ color: #FFD0D0;
+}