/* Plugins-View Styling */

#plugin-header {
    height: 1;
    margin: 0 1 1 1;
    text-style: bold;
}

#plugin-table {
    height: 1fr;
    margin: 0 1;
}

#plugin-actions {
    height: 3;
    margin: 1 1 0 1;
    align: left middle;
}

#plugin-actions Button {
    margin-right: 1;
    min-width: 16;
}

#plugin-status {
    height: 1;
    margin: 0 1;
}

/* Plugin SubView Styling */

#plugin-config-tree {
    height: 1fr;
    margin: 0 1;
    border: solid $primary;
}

#plugin-config-editor {
    margin: 1 1 0 1;
}

#plugin-config-status {
    height: 1;
    margin: 0 1;
}