comparison templates/static/style-paper.css @ 7313:15981c8f6cf1

paper: don't keep the menu affixed to the top

This makes scrolling slow and causes browsers to use a lot of CPU time.

7312:82f80c16fc16

.menu {
  width: 90px;
  margin: 0;
  font-size: 80%;
  text-align: left;
  position: fixed;
  top: 20px;
  left: 20px;
  right: auto;
}

#.menu {
  position: absolute !important;
  top:expression(eval(document.body.scrollTop + 27));
}

.menu ul {
  list-style: none;
  padding: 0;

7313:15981c8f6cf1

.menu {
  width: 90px;
  margin: 0;
  font-size: 80%;
  text-align: left;
  position: absolute;
  top: 20px;
  left: 20px;
  right: auto;
}

.menu ul {
  list-style: none;
  padding: 0;