Options UI: Adding Responsiveness (#19849) · BitLaunchIO/https-everywhere@d5e835e · GitHub
Skip to content

Commit d5e835e

Browse files
authored
Options UI: Adding Responsiveness (EFForg#19849)
* Add grid css to options page * Adjust grid and base css
1 parent 523caa7 commit d5e835e

3 files changed

Lines changed: 47 additions & 27 deletions

File tree

chromium/pages/base.css

Lines changed: 4 additions & 0 deletions

chromium/pages/options/index.html

Lines changed: 6 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -6,11 +6,12 @@
66
<title></title>
77
<link href="style.css" rel="stylesheet">
88
</head>
9-
<body>
10-
<span class="button section-header-span active" data-show="general-settings-wrapper" data-i18n="options_generalSettings"></span>
11-
<span class="button section-header-span inactive" data-show="advanced-settings-wrapper" data-i18n="options_advancedSettings"></span>
12-
<span class="button section-header-span inactive" data-show="update-channels-wrapper" data-i18n="options_updateChannels"></span>
13-
9+
<body class="font">
10+
<section class="header-wrapper">
11+
<span class="button section-header-span active" data-show="general-settings-wrapper" data-i18n="options_generalSettings"></span>
12+
<span class="button section-header-span inactive" data-show="advanced-settings-wrapper" data-i18n="options_advancedSettings"></span>
13+
<span class="button section-header-span inactive" data-show="update-channels-wrapper" data-i18n="options_updateChannels"></span>
14+
</section>
1415
<div class="section-wrapper" id="general-settings-wrapper">
1516
<div id="update-wrapper" class="settings-wrapper">
1617
<input type="checkbox" id="autoUpdateRulesets">

chromium/pages/options/style.css

Lines changed: 37 additions & 22 deletions

0 commit comments

Comments
 (0)