jalopy is used for sourcescrub target of build.xml (sourcescrub is not
[jalview.git] / utils / jalopy / docs / site.css
diff --git a/utils/jalopy/docs/site.css b/utils/jalopy/docs/site.css
new file mode 100755 (executable)
index 0000000..87ac575
--- /dev/null
@@ -0,0 +1,88 @@
+/**\r
+ $Id$\r
+ */\r
+A               { color: #00F; }\r
+A:link                 { text-decoration: none; }\r
+A:active       { text-decoration: none; }\r
+A:visited      { text-decoration: none; }\r
+A:hover                {  text-decoration: underline; }\r
+\r
+body    {\r
+        font-size : 0.9em;\r
+       font-family : Verdana, Geneva, Arial, Helvetica, sans-serif;\r
+       margin: 20px 20px 20px 20px;\r
+       padding-bottom:15px;\r
+        }\r
+h1{\r
+       font-weight : bold;\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+h2{\r
+       font-weight : bold;\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+h3{\r
+       font-weight : bold;\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+h4{\r
+       font-weight : bold;\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+h5{\r
+       font-weight : bold;\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+hr{\r
+       border : none;\r
+       background : #808080;\r
+       height : 1px;\r
+}\r
+\r
+td,p,div,form,blockquote,ul,ol{\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+th{\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+.footer{\r
+       color : #808080;\r
+       font-size : 9px;\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+.sublogo{\r
+       padding-bottom : 5px;\r
+       color : #333366;\r
+       font-size : 9px;\r
+       font-family : Arial,Helvetica,sans-serif;\r
+}\r
+\r
+.logo{\r
+       padding-left : 10px;\r
+       font-weight : bold;\r
+       font-size : 26pt;\r
+       font-family : Verdana,Arial,Helvetica,sans-serif;\r
+}\r
+\r
+.navlink:link           { color: #FFF; text-decoration: none; }\r
+.navlink:active         { color: #FFF; text-decoration: none; }\r
+.navlink:visited        { color: #FFF; text-decoration: none; }\r
+.navlink:hover          { color: #FFF; text-decoration: underline; }\r
+\r
+.navlink2:link          { color : #000;        text-decoration : none; }\r
+.navlink2:active        { color : #000;        text-decoration : none; }\r
+.navlink2:visited       { color : #000;        text-decoration : none; }\r
+.navlink2:hover         { color : #000;        text-decoration : underline; }\r
+\r
+.shade{\r
+       background-color: ;\r
+       background : #FDF5E6;\r
+}
\ No newline at end of file