diff options
Diffstat (limited to 'website2/resources/css/custom.css')
| -rw-r--r-- | website2/resources/css/custom.css | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/website2/resources/css/custom.css b/website2/resources/css/custom.css index 3545508b..0b2c70c9 100644 --- a/website2/resources/css/custom.css +++ b/website2/resources/css/custom.css @@ -1,3 +1,7 @@ +ul.dropdown-menu .header { + padding-left: 10px; +} + div.snippet code { padding: 0; } @@ -119,7 +123,7 @@ h1, h2, h3 { padding: 4px; border: 1px dotted #888; text-align: left; - width: 635px; + width: 760px; } .snippet font { |