small fixes

CHANGELOG.md

@@ -8,7 +8,9 @@
   + Added `User` table.
 + Added `Flask-Login` and `Flask-WTF` dependencies in order to implement user logins.
 + Added `python-i18n` as a dependency.  Therefore, i18n changed format, using JSON files now.
++ Now you can export pages in a JSON format. Coming soon: importing.
 + Like it or not, now gzip library is required.
++ Added CSS variables in the site style.
 
 ## 0.6
 

app.py

@@ -908,7 +908,7 @@ def exportpages():
         while q_list:
             query |= q_list.pop(0)
         e = Exporter()
-        e.add_page_list(query)
+        e.add_page_list(query, include_history='history' in request.form)
         return e.export(), {'Content-Type': 'application/json', 'Content-Disposition': 'attachment; ' + 
             'filename=export-{}.json'.format(datetime.datetime.now().strftime('%Y%m%d-%H%M%S'))}
     return render_template('exportpages.html')

static/style.css

@@ -71,6 +71,7 @@ input[type="submit"],input[type="reset"],input[type="button"],button{font-family
 .search-wrapper {display:flex;width:90%;margin:auto}
 .search-wrapper > input {flex:1}
 .preview-subtitle {text-align: center; margin-top: -1em}
+textarea {background-color: var(--bg-sharp); color: var(--fg-sharp)}
 
 /* Circles extension */
 .circles-red{color: #e14}