/*
    This file is part of rhizi, a collaborative knowledge graph editor.
    Copyright (C) 2014-2015  Dor Garbash, Amir Sagie and Alon Levy

    This program is free software: you can redistribute it and/or modify
    it under the terms of the GNU Affero General Public License as published
    by the Free Software Foundation, either version 3 of the License, or
    (at your option) any later version.

    This program is distributed in the hope that it will be useful,
    but WITHOUT ANY WARRANTY; without even the implied warranty of
    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
    GNU Affero General Public License for more details.

    You should have received a copy of the GNU Affero General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>.
*/

#devtools {
    position: absolute;
    bottom: 0;
    border-top: 10px solid gray;
    padding-left: 10px;
    height: 20%;
    width: 100%;
    line-height: 20px;
}

#devtools span {
    font-family: monospace;
}

.devtools__btn {

    &:hover {
        cursor: pointer;
        color: gold;
    }
}

.debug-view__multi-step-cmd-delim {
    color: red;
    margin-left: 4px;
    margin-right: 2px;
}

.debug-view__import__input_file_name {
    font-family: monospace;
    margin-left: 20px;
}