/* ===================================================
 * style.file-manager.css
 * ===================================================
 * Adds the style to the file manager, which is used
 * to store and share files with other members. The
 * style of the file manager is minimalistic, but
 * requires some changes to the structure of the lists
 * that are used.
 * =================================================== */

/* Sets scroll style for the file manager */
.file-manager .span3 {
    border-right: 1px solid #eee;
}
.file-manager .span9 {
    margin-left: 29px;
}
.file-manager > * > ol {
    padding-right: 10px;
}
.file-manager > * {
    overflow: auto;
}

/* Sets the folder dimensions */
.folder {
    height: 16px;
    width: 16px;
}