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

a.skip-next {
        float: right;
        text-decoration: none;
        border-bottom: 1px solid #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	a.skip-next {
28	float: right;
29	text-decoration: none;
30	border-bottom: 1px solid #aaa;
31	}
32
33	div.result {
34	display: block;
35	clear: both;
36	border-top: 1px dashed gray;
37	padding-top: 0.25em;
38	padding-bottom: 0.25em;
39	}
40
41	div.result-footer {
42	font-size: 80%;
43	padding: 3px;
44	color: #888;
45	}
46
47	/* helpers */
48
49	a.bookmarklet {
50	float: right;
51	}
52
53	.left {
54	width: 70%;
55	float: left;
56	display: block;
57	}
58
59	.right {
60	width: 25%;
61	float: right;
62	display: block;
63	}
64
65	.grep-note {
66	background-color: #F0EAB7;
67	border: 1px solid #E6E0AD;
68	padding: 3px;
69	margin-top: 3px;
70	margin-bottom: 3px;
71	}