diff options
| author | Lars Hjemli | 2007-01-28 12:01:21 +0100 |
|---|---|---|
| committer | Lars Hjemli | 2007-01-28 12:01:21 +0100 |
| commit | d8b0cca2606f8919208ea68549ff60c6e5fe91bb (patch) | |
| tree | cfbf5f8f8c88f9ce26850c9bbc84ae0e05bc9775 /cgit.css | |
| parent | Change global document layout (diff) | |
| download | cgit-d8b0cca2606f8919208ea68549ff60c6e5fe91bb.tar.gz cgit-d8b0cca2606f8919208ea68549ff60c6e5fe91bb.zip | |
Set explicit font size
This might be bad style, but cgit really needed smaller fonts. Signed-off-by: Lars Hjemli <hjemli@gmail.com>
Diffstat (limited to 'cgit.css')
| -rw-r--r-- | cgit.css | 2 |
1 files changed, 1 insertions, 1 deletions
| diff --git a/cgit.css b/cgit.css index 63acd78..5c4b15b 100644 --- a/cgit.css +++ b/cgit.css | |||
| @@ -1,6 +1,6 @@ | |||
| 1 | body { | 1 | body { |
| 2 | font-family: arial; | 2 | font-family: arial; |
| 3 | font-size: normal; | 3 | font-size: 11pt; |
| 4 | background: white; | 4 | background: white; |
| 5 | padding: 0em; | 5 | padding: 0em; |
| 6 | margin: 0em; | 6 | margin: 0em; |