diff options
author | Alex Yatskov <alex@foosoft.net> | 2016-04-24 16:18:47 -0700 |
---|---|---|
committer | Alex Yatskov <alex@foosoft.net> | 2016-04-24 16:18:47 -0700 |
commit | 59989cd78c60b4c8d089b3bed070b11eb62622b6 (patch) | |
tree | 71293bf328331ed87c461d1e73b7f2c0c4e74579 /ext/fg/css/popup.css | |
parent | d6a92e7b7bdd02706d5ad68ae2d3ea62123fa0a2 (diff) |
File management
Diffstat (limited to 'ext/fg/css/popup.css')
-rw-r--r-- | ext/fg/css/popup.css | 86 |
1 files changed, 0 insertions, 86 deletions
diff --git a/ext/fg/css/popup.css b/ext/fg/css/popup.css deleted file mode 100644 index 893f4e4a..00000000 --- a/ext/fg/css/popup.css +++ /dev/null @@ -1,86 +0,0 @@ -/* - * Copyright (C) 2016 Alex Yatskov <alex@foosoft.net> - * Author: Alex Yatskov <alex@foosoft.net> - * - * This program is free software: you can redistribute it and/or modify - * it under the terms of the GNU 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 General Public License for more details. - * - * You should have received a copy of the GNU General Public License - * along with this program. If not, see <http://www.gnu.org/licenses/>. - */ - -body { - background-color: #fff; - color: #333; - font-family: helvetica neue,helvetica,arial,sans-serif; - font-size: 14px; - line-height: 1.42857143; - overflow-y: auto; - padding: 5px; -} - -.term { - font-family: serif; - font-size: 24px; - display: inline-block; -} - -.term a { - border-bottom: 1px #777 dashed; - color: #333; - text-decoration: none; -} - -.rules { - color: #777; - display: inline-block; -} - -.tag { - border-radius: 0.25em; - color: #fff; - cursor: default; - display: inline; - font-size: 75%; - font-weight: 700; - line-height: 1; - padding: 0.2em 0.6em 0.3em; - text-align: center; - vertical-align: baseline; - white-space: nowrap; -} - -.tag-default { - background-color: #8a8a91; -} - -.tag-name { - background-color: #5cb85c; -} - -.tag-expression { - background-color: #f0ad4e; -} - -.tag-popular { - background-color: #0275d8; -} - -ol { - padding-left: 1.2em; -} - -li { - color: #777; -} - -li span { - color: #000; -} |