+++ /dev/null
-
-.main-content-stripe {
- /* i don't like bright white. copy a gitweb color */
- background-color: #f6f6f0;
- padding: 30px 0;
-}
-
-/* copied from main.css, applied here */
-body {
- border-width: 0px;
-}
-.page_header,.page_footer {
- margin: 0 auto;
- max-width: 700px;
-}
-
-table.project_list {
- /* The main project list just has this one uncentered element,*/
- /* so center it */
- margin: 0 auto;
-}
-.content {
- /* summary pages etc. don't fit nicely in 700px, so just*/
- /* have a 20px margin. */
- margin: 0 20px;
-}
-
-div.page_header {
- /* 21.0667 seems to be default for h3 in the non-gitweb site, copy it here */
- margin-top: 21.0667px;
- margin-bottom: 21.0667px;
- /* remove padding added by gitweb's css */
- padding: 0;
-}
-
-/* I tried to find all the css to override,*/
-/* but found certain things not overriding as I would expect,*/
-/* So hammer it with !important */
-a {
- color: #0645ad !important;
- text-decoration: none;
-}
-a:hover {
- text-decoration: underline !important;
-}
-
-a:visited {
- color: #0b0080 !important;
-}
-
-
-.page_header, .page_header a:visited, .page_header a {
- /* copy from h settings in main.css */
- line-height: 1.2;
- /* copy of the h3 size in main site. */
- font-size: 21.0667px;
- /* same as for main.css */
- color: #333333 !important;
-}