aboutsummaryrefslogtreecommitdiff
path: root/ext/fg/css/frame.css
diff options
context:
space:
mode:
authorAlex Yatskov <alex@foosoft.net>2016-04-24 16:18:47 -0700
committerAlex Yatskov <alex@foosoft.net>2016-04-24 16:18:47 -0700
commit59989cd78c60b4c8d089b3bed070b11eb62622b6 (patch)
tree71293bf328331ed87c461d1e73b7f2c0c4e74579 /ext/fg/css/frame.css
parentd6a92e7b7bdd02706d5ad68ae2d3ea62123fa0a2 (diff)
File management
Diffstat (limited to 'ext/fg/css/frame.css')
-rw-r--r--ext/fg/css/frame.css86
1 files changed, 86 insertions, 0 deletions
diff --git a/ext/fg/css/frame.css b/ext/fg/css/frame.css
new file mode 100644
index 00000000..893f4e4a
--- /dev/null
+++ b/ext/fg/css/frame.css
@@ -0,0 +1,86 @@
+/*
+ * 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;
+}