static/css/app.css

/* search form */

input.argument-q {
        width: 30em;
}

/* add new feed */
input.argument-uri, input.argument-title {
        width: 30em;
}

textarea.argument-cookie {
        font-size: 80%;
        width: 55em;
        color: gray;
}

/* results */

div.result-header {
        background: #eee;
        padding: 3px;
        font-size: 120%;
        height: 1.5em;
}

.skip-to {
        float: right;
        color: #aaa;
        font-size: 80%;
}

.skip-to a {
        text-decoration: none;
        color: 444;
        border-bottom: 1px dashed #aaa;
}

div.result {
        display: block;
        clear: both;
        border-top: 1px dashed gray;
        padding-top: 0.25em;
        padding-bottom: 0.25em;
}

div.result-footer {
        font-size: 80%;
        padding: 3px;
        color: #888;
}

/* helpers */

a.bookmarklet {
        float: right;
}

.left {
        width: 70%;
        float: left;
        display: block;
}

.right {
        width: 25%;
        float: right;
        display: block;
}

.grep-note {
        background-color: #F0EAB7;
        border: 1px solid #E6E0AD;
        padding: 3px;
        margin-top: 3px;
        margin-bottom: 3px;
}
1	/* search form */
2
3	input.argument-q {
4	width: 30em;
5	}
6
7	/* add new feed */
8	input.argument-uri, input.argument-title {
9	width: 30em;
10	}
11
12	textarea.argument-cookie {
13	font-size: 80%;
14	width: 55em;
15	color: gray;
16	}
17
18	/* results */
19
20	div.result-header {
21	background: #eee;
22	padding: 3px;
23	font-size: 120%;
24	height: 1.5em;
25	}
26
27	.skip-to {
28	float: right;
29	color: #aaa;
30	font-size: 80%;
31	}
32
33	.skip-to a {
34	text-decoration: none;
35	color: 444;
36	border-bottom: 1px dashed #aaa;
37	}
38
39	div.result {
40	display: block;
41	clear: both;
42	border-top: 1px dashed gray;
43	padding-top: 0.25em;
44	padding-bottom: 0.25em;
45	}
46
47	div.result-footer {
48	font-size: 80%;
49	padding: 3px;
50	color: #888;
51	}
52
53	/* helpers */
54
55	a.bookmarklet {
56	float: right;
57	}
58
59	.left {
60	width: 70%;
61	float: left;
62	display: block;
63	}
64
65	.right {
66	width: 25%;
67	float: right;
68	display: block;
69	}
70
71	.grep-note {
72	background-color: #F0EAB7;
73	border: 1px solid #E6E0AD;
74	padding: 3px;
75	margin-top: 3px;
76	margin-bottom: 3px;
77	}