Improve the Stanford Encyclopedia of Philosophy reading experience

Latest Version

Version
1.1.2
Update
November 18, 2024
Size
49.72KiB
Developer
Category
Users
642
Rating
4.83333 ★
Manifest Version
3
Web Store Status
Languages Support
English
See more
Permissions
Http://plato.stanford.edu/*
Https://plato.stanford.edu/*
See more

SEP+ Extension

SEP+ is a browser extension for the Stanford Encyclopedia of Encyclopedia that:

- Improves typography for better readability
- Adds dark mode
- Moves article navigation to the sidebar
- Displays footnotes on hover
- Adds keyboard shortcuts for search
- Optimizes articles for printing (adds footnotes, removes irrelevant sections)

SEP+ only has access to plato.stanford.edu and will never serve ads or collect user data.
Read more

Source Manifest.json

{"update_url": "https://clients2.google.com/service/update2/crx", "name": "SEP+", "version": "1.1.2", "manifest_version": 3, "description": "Improve the Stanford Encyclopedia of Philosophy reading experience", "homepage_url": "https://andrewshen.net", "icons": { "16": "icons/icon16.png", "48": "icons/icon48.png", "128": "icons/icon128.png" }, "default_locale": "en", "permissions": [ "http://plato.stanford.edu/*", "https://plato.stanford.edu/*" ], "content_scripts": [ { "matches": [ "http://plato.stanford.edu/*", "https://plato.stanford.edu/*" ], "css": ["src/inject/inject.css"], "js": ["src/inject/jquery-3.6.0.min.js", "src/inject/inject.js"] } ]}
Read more

How to download and manually install SEP+ extension for Chrome

Looking for a way to install SEP+ extensions for Chrome, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.

However, you may need to install SEP+ extensions manually, this article outlines two simple methods to effortlessly install SEP+ extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download SEP+ extension and manually install through Drag &Drop

If you ever need to manually install a SEP+ extension for Chrome, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.

Step 1: Download the SEP+ Extension by clicking the "Download CRX" button on the website.

Look for the SEP+ extension you wish to install. Go to the website and download the SEP+ extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for SEP+ extension that contains all the data.

Step 2: Extract &Arrange Files

Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.

Step 3: Go to the Chrome Extensions Page

Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.

Step 4: Drag and Drop the Extension

Now, go to the folder where you extracted the SEP+ extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.

Step 5: Complete the Installation

Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.

Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.

Method 2: Download SEP+ extension for Chrome and install in Developer Mode

This is another method to install SEP+ extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.

Step 1: Download the SEP+ extension file

Select and download the SEP+ extension by clicking the 'Download CRX' button on the website.

Step 2: Extract the downloaded contents

Convert the file to a ZIP file if it is in CRX format then extract the SEP+ extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your SEP+ extension running.

Step 3: Open Chrome Extension Setting Page

In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.

Step 4: Enable Developer Mode

After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.

Step 5: Load the Unpacked Extension

Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."

Step 6: Select the Extension Folder

Once the pop-up opens upon clicking Load unpacked, select the SEP+ extension directory and click on the "Select Folder "button.

Step 7: Confirm and Install

After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.

Conclusion

Here we've made a step-by-step guide on How to manually install SEP+ extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

Stanford GSB Library Chrome Extension Extension · Productivity 642 5 ★ 324KiB

icon

Foragear- Quick Search Tool Extension · Productivity 642 5 ★ 19.31KiB

icon

Salesforza Sync Chrome Tabs to Google Sheet Extension · Productivity 642 20 ★ 392KiB

icon

SLext Extension · Productivity 642 13 ★ 428KiB

icon

SHR Extension · Developer Tools 642 0 ★ 634KiB

icon

calc-extension Extension · Productivity 642 0 ★ 49.74KiB

icon

MetaNumbers - Number Encyclopedia Extension · Productivity 642 5 ★ 17.13KiB

icon

Wikitionary word definition lookup Extension · Productivity 642 0 ★ 13.59KiB

icon

TheFreeDictionary.com Extension Extension · Productivity 642 5 ★ 14.07KiB

icon

Where's That Paper? Extension · Productivity 642 3 ★ 175KiB

icon

Etymonline Extension · Productivity 642 40 ★ 82.66KiB

icon

Fulltext Bookmark Extension · Productivity 642 5 ★ 2.66MiB

icon

Quick References by Bee Academic Tutoring Extension · Productivity 642 2 ★ 197KiB

icon

Encyclosphere Extension · Productivity 642 6 ★ 4.27MiB

icon

CORA: Understand PubMed Citation Contexts Extension · Productivity 642 0 ★ 83.87KiB

icon

Side Portal Extension · Productivity 642 4 ★ 210KiB

icon

Modern for Wikipedia Extension · Productivity 642 164 ★ 391KiB

icon

Britannica School Insights Extension · Productivity 642 26 ★ 91.69KiB

icon

Url2QRcode Extension · Productivity 642 6 ★ 371KiB

icon

写作猫浏览器插件 Extension · Productivity 642 15 ★ 853KiB

icon

Save to Polar Extension · Productivity 642 21 ★ 13.12MiB

icon

Big Search Extension · Productivity 642 5 ★ 215KiB

icon

New York Times Byline Restorer Extension · News & Weather 642 12 ★ 29.56KiB

icon

Logseq Quick Capture Extension · Productivity 642 20 ★ 24.68KiB

User reviews

icon

Que (ID: 000000d69d361fe7) Voted 5 ★ - Updated 08/14/2023 Awesome

icon

JaEF (ID: 000000c0d9d2da5c) Voted 3 ★ - Updated 10/25/2021 It's nice. The main issue is just that you can't scroll down on the table of contents, and also as a less major concern the lack of customizability. The former is a bug and should be fixed for proper functionality.

icon

Joel Michael Reynolds (ID: 0000006ae9c8068a) Voted 5 ★ - Updated 10/23/2021 Thank you!

icon

Edwin Metselaar (ID: 0000007636607dba) Voted 5 ★ - Updated 10/21/2021 Great tool. Thanks a lot. Would it be possible to add the URL's for the EU and AUS mirrors as well so the plugin picks those up as well?

icon

Subin Lee (ID: 00000008af911d47) Voted 5 ★ - Updated 10/19/2021 Wow!