diff options
| author | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-06 08:56:45 +0200 |
|---|---|---|
| committer | Johannes Ranke <jranke@uni-bremen.de> | 2016-10-06 08:56:45 +0200 |
| commit | ec1487f0f2cef32d44b0c6ce94a6f1b4f65a79d3 (patch) | |
| tree | 10820a2fa5ae6b51115c2d2f40e40bcc8f0b8d5e /inst/web/css/staticdocs.css | |
| parent | 6b7c2049d4feb9dd76dd532830adba23b8a5007f (diff) | |
Remove staticdocs from old location
Diffstat (limited to 'inst/web/css/staticdocs.css')
| -rw-r--r-- | inst/web/css/staticdocs.css | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/inst/web/css/staticdocs.css b/inst/web/css/staticdocs.css deleted file mode 100644 index 9fee28bd..00000000 --- a/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; -} |