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