diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-09-27 23:00:48 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-09-27 23:00:48 +0200 |
| commit | 12a31f4c130c551f82232d9ef7dfb608bd52c53f (patch) | |
| tree | 2525ab1ea4102a6edddbd0c2f03f4a851bf2f9c5 /pkg/inst/web/css/staticdocs.css | |
| parent | 0d958ab6f84b569b5437f231c56004890c4ae23b (diff) | |
Reorganise repository using standard package layout
Diffstat (limited to 'pkg/inst/web/css/staticdocs.css')
| -rw-r--r-- | pkg/inst/web/css/staticdocs.css | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/pkg/inst/web/css/staticdocs.css b/pkg/inst/web/css/staticdocs.css deleted file mode 100644 index 9fee28b..0000000 --- a/pkg/inst/web/css/staticdocs.css +++ /dev/null @@ -1,18 +0,0 @@ -h2 {padding-top: 20px} - -.icon img { - float: right; - border: 1px solid #ccc; -} -.index .internal {display: none;} -ul.index li {margin-bottom: 0.5em; clear: both;} - -footer { - margin-top: 45px; - padding: 35px 0 36px; - border-top: 1px solid #e5e5e5; -} -footer p { - margin-bottom: 0; - color: #555; -} |