-/* TOPMENU.CSS */
-
-/* Thierry : turning this off
-body {
- *//* background: #30196d !important; *//*
- background: black !important;
- padding-top: 60px;
- padding-bottom: 0px;
-}
-Thierry */
-
-/* Thierry : turning this off
-div.topmenu {
- padding-top: 0px;
- font-family: Ubuntu, Arial, sans-serif;
- font-weight: bold;
- background: #fff;
- -webkit-box-shadow: 0px 10px 10px rgba(50, 50, 50, 0.44);
- -moz-box-shadow: 0px 10px 10px rgba(50, 50, 50, 0.44);
- box-shadow: 0px 10px 10px rgba(50, 50, 50, 0.44);
-}
-Thierry */
-
-/* Thierry : turning this off
-.navbar-nav li a,
-.navbar-nav li.other a {
- padding-top: 25px;
- padding-bottom: 20px;
-}
-Thierry */