(page-width.js,theme-changer.js) Replaced icons with text buttons

1 files changed, 16 insertions, 1 deletions

diff --git a/src/styles.css b/src/styles.css
index 04425e0..a917f5e 100644
--- a/src/styles.css
+++ b/src/styles.css
@@ -131,7 +131,6 @@ img {
   .file-icon        { min-width: 1.3em; vertical-align: text-bottom; }
   .borderless, .oldschool-badge, .file-icon { border: none; }
 
-  .setting-btn { border: none; vertical-align: middle; }
   .btn:hover   { cursor: pointer; }
 
   /* image-show.js */
@@ -325,7 +324,23 @@ dt, dd {
         border-bottom: none;
         margin: 0.58em 0 1em 0;
         font-size: 1.2em;
+        line-height: 1em;
+        /* Thanks https://stackoverflow.com/a/4407335/12036073 */
+        -webkit-touch-callout: none; /* iOS Safari */
+        -webkit-user-select: none; /* Safari */
+        -khtml-user-select: none; /* Konqueror HTML */
+        -moz-user-select: none; /* Old versions of Firefox */
+        -ms-user-select: none; /* Internet Explorer/Edge */
+        user-select: none;
       }
+      .setting-btn {
+          font-size: 0.5em;
+          text-align: center;
+          display: inline-block;
+          line-height: 1em;
+          border: 1px solid var(--border-color);
+          padding: 0.2em 0.3em;
+        }
     #footer {
         font-size: 0.7em;
         overflow-x: hidden;