File management

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;
+}