-@import 'common';
+@import "common";
.main-content-stripe {
- /* i don't like bright white. copy a gitweb color */
- background-color: #f6f6f0;
- padding: 30px 0;
+ // default too bright.
+ background-color: $content-color;
+ padding: 30px 0;
}
-/* copied from main.css, applied here */
body {
- border-width: 0px;
+ border-width: 0; // remove ugly border
}
-.page_header,.page_footer {
- margin: 0 auto;
- max-width: 700px;
+
+.page_header,
+.page_footer {
+ margin-bottom: 0;
+ margin-left: auto;
+ margin-right: auto;
+ margin-top: 0;
+ max-width: $main-column-max-width;
+ padding-left: 30px;
+ padding-right: 30px;
}
table.project_list {
- /* The main project list just has this one uncentered element,*/
- /* so center it */
- margin: 0 auto;
+ // 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;
+ // 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;
+ // 21.0667 seems to be default for h3 in the non-gitweb site, copy it here
+ margin-bottom: 21.0667px;
+ margin-top: 21.0667px;
+ padding-bottom: 0;
+ padding-top: 0; // remove padding added by gitweb's css
}
-/* I tried to find all the css to override,*/
-/* but found certain things not overriding as I would expect,*/
-/* So hammer it with !important */
+// 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;
+ color: $link-color !important;
+ text-decoration: none;
}
+
a:hover {
- text-decoration: underline !important;
+ text-decoration: underline !important;
}
a:visited {
- color: #0b0080 !important;
+ color: $link-visited-color !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;
+.page_header,
+.page_header a:visited,
+.page_header a {
+ color: $page-header-link-color !important; // same as for main.css
+ font-size: 21.0667px; // same as otehr 21.0667
+ line-height: 1.2; // copy from h settings in main.css
}