// Do not edit this file. Create a custom theme instead.

ul, ol {
  margin: 0 0 @size1 @size1; /* LTR */
  padding: 0;
  ul, ol {
    margin-bottom: 0;
    padding: 0;
  }
}

ul {
  list-style-type: disc;
  .item-list & {
    margin: 0 0 @size2;
  }
  ul li {
    list-style-image: url("/misc/menu-leaf.png");
    list-style-type: square;
  }
}

ol {
  list-style-type: decimal;
  ol li {
    list-style-type: lower-alpha;
  }
}

dl {
  margin: 0 0 @size1 @size2; /* LTR */
  dt {
    font-weight: bold;
    margin: 0;
  }
  dd {
    margin: 0 0 0 @size1; /* LTR */
  }
}
