// Copyright (C) 2021  Shanhu Tech Inc.
//
// 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 <https://www.gnu.org/licenses/>.

@mono-font: "Noto Sans Mono", monospace;

.mono { font-family: @mono-font; }

.mono14 { 
    font-family: @mono-font;
    font-size: 14px;
}

.mono13 { 
    font-family: @mono-font;
    font-size: 13px;
}

.mono12 { 
    font-family: @mono-font;
    font-size: 12px;
}

.mono11 { 
    font-family: @mono-font;
    font-size: 11px;
}
