From 76bdc746700843d9eb05f27c9e052925f190bff5 Mon Sep 17 00:00:00 2001
From: Alex Kocharin <alex@kocharin.ru>
Date: Wed, 10 Dec 2014 09:36:54 +0300
Subject: [PATCH] web: change header position from fixed to static

Mainly because anchors (`<a name=...>`) need to be offsetted to
account for the fixed header, and it ain't worth the hassle.
---
 lib/GUI/css/styles.less | 7 +------
 lib/static/main.css     | 7 +------
 2 files changed, 2 insertions(+), 12 deletions(-)

diff --git a/lib/GUI/css/styles.less b/lib/GUI/css/styles.less
index 1742b1f72..b70ffedb8 100644
--- a/lib/GUI/css/styles.less
+++ b/lib/GUI/css/styles.less
@@ -18,12 +18,7 @@
   padding: 0;
 
   .main-header {
-    position: fixed;
-    top: 0;
-    left: 0;
-    right: 0;
     background: @white;
-    z-index: 1;
 
     .navbar {
       margin-bottom: 0;
@@ -68,7 +63,7 @@
   }
 
   .content {
-    padding-top: @mainHeaderHeight + @packagesHeaderHeight + 10;
+    padding-top: 10px;
 
     .entry {
       .transition(height .3s);
diff --git a/lib/static/main.css b/lib/static/main.css
index bcc0ed8d6..04e88bbba 100644
--- a/lib/static/main.css
+++ b/lib/static/main.css
@@ -7233,12 +7233,7 @@ Original style from softwaremaniacs.org (c) Ivan Sagalaev <Maniac@SoftwareManiac
   padding: 0;
 }
 .body .main-header {
-  position: fixed;
-  top: 0;
-  left: 0;
-  right: 0;
   background: #ffffff;
-  z-index: 1;
 }
 .body .main-header .navbar {
   margin-bottom: 0;
@@ -7274,7 +7269,7 @@ Original style from softwaremaniacs.org (c) Ivan Sagalaev <Maniac@SoftwareManiac
   line-height: 1.7em;
 }
 .body .content {
-  padding-top: 120px;
+  padding-top: 10px;
 }
 .body .content .entry {
   -webkit-transition: height 0.3s;