diff options
| author | James Moger <james.moger@gitblit.com> | 2011-06-18 08:28:47 -0400 |
|---|---|---|
| committer | James Moger <james.moger@gitblit.com> | 2011-06-18 08:28:47 -0400 |
| commit | 5450d08e4cd11176bcc50a5b3d001d291bd8982c (patch) | |
| tree | ba1f99a65b25be6e63f5057be177483bd6bd7382 /resources/markdown.css | |
| parent | 8c9a2037b5c0fed881a3ad6dd9cff364eed603d9 (diff) | |
| download | gitblit-5450d08e4cd11176bcc50a5b3d001d291bd8982c.tar.gz gitblit-5450d08e4cd11176bcc50a5b3d001d291bd8982c.zip | |
Mostly stable war build.
Reorganization of resources. Dropped most hard-coded webapp
configuration in favor of common web.xml file. Still contemplating
configuring git servlet from web.xml too.
Diffstat (limited to 'resources/markdown.css')
| -rw-r--r-- | resources/markdown.css | 67 |
1 files changed, 67 insertions, 0 deletions
diff --git a/resources/markdown.css b/resources/markdown.css new file mode 100644 index 00000000..41bc4392 --- /dev/null +++ b/resources/markdown.css @@ -0,0 +1,67 @@ +/*
+ * Git:Blit Markdown CSS definition.
+ */
+
+div.markdown {
+ line-height: 1.4em;
+}
+
+div.markdown h1,
+div.markdown h2,
+div.markdown h3,
+div.markdown h4,
+div.markdown h5,
+div.markdown h6 {
+ border: 0 none !important;
+}
+
+div.markdown h1 {
+ margin-top: 1em;
+ margin-bottom: 0.5em;
+ padding-bottom: 0.5em;
+ border-bottom: 2px solid #000080 !important;
+}
+
+div.markdown h2 {
+ margin-top: 1em;
+ margin-bottom: 0.5em;
+ padding-bottom: 0.5em;
+ border-bottom: 2px solid #000080 !important;
+}
+
+div.markdown pre {
+ background-color: #f8f8f8;
+ border: 1px solid #2f6fab;
+ border-radius: 3px;
+ overflow: auto;
+ padding: 5px;
+}
+
+div.markdown pre code {
+ background-color: inherit;
+ border: none;
+ padding: 0;
+}
+
+div.markdown code {
+ background-color: #ffffe0;
+ border: 1px solid orange;
+ border-radius: 3px;
+ padding: 0 0.2em;
+}
+
+div.markdown a {
+ text-decoration: underline;
+}
+
+div.markdown ul, div.markdown ol {
+ padding-left: 30px;
+}
+
+div.markdown li {
+ margin: 0.2em 0 0 0em; padding: 0px;
+}
+
+div.markdown em {
+ color: #b05000;
+}
\ No newline at end of file |