@import url("webstore0.css");

BODY {
  font-size: 85%;
  margin-top:0;
  margin-bottom:1ex;
}
BODY.border {
  border:0;
  padding:0;
  margin:0;
}
BODY.navbar {
  border:0;
  padding:0;
  margin:0;
  background-image:url("/~images/topback.gif");
  background-repeat:repeat-x;
}
BODY.thinnavbar {
  margin:0;
}
BODY.browse-menu {
  background-image:url("/~images/corner.gif");
  background-repeat:no-repeat;
  margin-top:1em;
  margin-left:1em;
  margin-right:0;
}
BODY.nav {
  margin-right:0;
}

H1 {
  font-size: 200%;
}

H2 {
  font-size: 140%;
}
H2.helpcontents {
  font-size: 130%;
  margin-top: 5px;
  margin-bottom: 5px;
}

H3 {
  font-size: 125%;
}
H3.helpcontents {
  font-size: 90%;
  margin-top: 5px;
  margin-bottom: 5px;
}

H4 {
  font-size: 100%;
}
H4.helpcontents {
  font-size: 70%;
  margin-top: 2px;
  margin-bottom: 2px;
}

TH {
  font-size: 85%;
}
TH.searchresults {
  font-size: 85%;
}
TH.expiry {
  font-size: 85%;
}
TH.columnheader {
  font-size: 85%;
}

TD {
  font-size: 85%;
}
TD.private-date {
  font-size: 72%;
}
TD.private-size {
  font-size: 72%;
}
TD.private-delete {
  font-size: 72%;
}
TD.private-rename {
  font-size: 72%;
}

TABLE.edit-groups TR.group-titles TH {
  padding:2px;
  font-size: 70%;
}

OPTION {
  font-size: 85%;
}

IMG {
  border:0;
}
IMG.icon {
  border:0;
  vertical-align:bottom;
}

DIV.helpcontentsgap {
  font-size:1px;
  height:15px;
}

A.news{
  font-size:120%;
}
A.browseedit {
  font-size: 90%;
}
A.WebDAV {
  behavior: url(#default#AnchorClick);
}
A.helpcontents {
  font-size: 70%;
}

SPAN.browselink {
  font-size: 90%;
}
SPAN.extra {
  font-size:80%;
}

UL LI {
  list-style-image: url("/~images/option4.gif");
}

DT {
  margin-top: 1ex;
}

.activewizardstep {
  font-size:150%;
}

BODY.browse-menu UL {
  margin-left: 1em;
}

OL LI {
  list-style-type: decimal;
}

OL LI OL LI {
  list-style-type: lower-roman;
}

P.folderURL {
  font-size:larger;
}
