[FFmpeg-devel] [PATCH 01/13] Fix indenting of pre and table elements.

Clément Bœsch ubitux at gmail.com
Fri Jan 13 22:08:42 CET 2012


From: "Ronald S. Bultje" <rsbultje at gmail.com>

---
 htdocs/default.css |    8 ++++++++
 1 files changed, 8 insertions(+), 0 deletions(-)

diff --git a/htdocs/default.css b/htdocs/default.css
index 5572786..8195c86 100644
--- a/htdocs/default.css
+++ b/htdocs/default.css
@@ -108,6 +108,14 @@ p {
     margin-right: 1em;
 }
 
+table {
+    margin-left: 2em;
+}
+
+pre {
+    margin-left: 2em;
+}
+
 #proj_desc {
     font-size: 1.2em;
 }
-- 
1.7.8.3



More information about the ffmpeg-devel mailing list