[mlpack-git] master: Minor style changes to improve the new index. (b1e0338)

[gitdub at big.cc.gt.atl.ga.us]

Repository : https://github.com/mlpack/mlpack.org

On branch  : master
Link       : https://github.com/mlpack/mlpack.org/compare/344bb235162750b099c994359491930a31a72194...2c3eae9b1b2dcce628dcffbce713d6c61c7eadc6

>---------------------------------------------------------------

commit b1e033811c3044767cc51138c5896489f84121ab
Author: Ryan Curtin <ryan at ratml.org>
Date:   Fri Mar 27 02:09:43 2015 +0000

    Minor style changes to improve the new index.


>---------------------------------------------------------------

b1e033811c3044767cc51138c5896489f84121ab
 style.css | 47 +++++++++++++++++++++++++++++++++++++++++++++--
 1 file changed, 45 insertions(+), 2 deletions(-)

diff --git a/style.css b/style.css
index 96b78a3..09dcacc 100644
--- a/style.css
+++ b/style.css
@@ -185,12 +185,39 @@ div.version
   text-align: left;
 }
 
+.smallsection
+{
+  background-color: #202020;
+  border-left: 30px solid #101010;
+  border-right: 30px solid #101010;
+  border-bottom: 30px solid #101010;
+  width: 640px;
+  padding-left: 15px;
+  padding-right: 15px;
+  padding-bottom: 5px;
+  padding-top: 5px;
+  text-align: left;
+}
+
+.smallsection ul
+{
+  padding-bottom: 5px;
+  margin-bottom: 0;
+  padding-top: 5px;
+  margin-top: 0;
+}
+
 font.whitebold
 {
   font-weight: bold;
   color: #ffffff;
 }
 
+font.gray
+{
+  color: #aaaaaa;
+}
+
 #download
 {
    padding-top: 70px;
@@ -222,15 +249,23 @@ li
   color: #eab72c;
 }
 
+ul.mainpage li
+{
+  margin-left: 1em;
+  font-size: 85%;
+  color: #eab72c;
+}
+
 li a
 {
-  color: #eab72c !important;
+  color: #bb2222 !important;
   font-weight: normal;
 }
 
 li a:hover
 {
-  color: #bb2222 !important;
+  color: #eab72c !important;
+  font-weight: normal;
 }
 
 font.released
@@ -432,3 +467,11 @@ font.ircnick30 { color: #8b867c; }
 
 div.lines { float: right; }
 div.irclogchatlines { padding-left: 100px; padding-right: 100px }
+
+h3
+{
+  font-weight: bold;
+  color: #ffffff;
+  margin: 0;
+  padding: 0;
+}