It looks like the example link you provided uses O’Reilly’s open source project Thebe: https://github.com/oreillymedia/thebe
The readme in the repo provides some instructions to get it set up. Hope that helps!
Related Posts:
- Best Practices for Regression Testing WordPress Websites?
- Customizing gallery shortcode in 3.5
- What is true chmod for WordPress?
- wp_trim_words() does not trim the_content() in WordPress
- Can You Export Theme Settings From WordPress Multisite?
- Adding Custom Fields to WordPress Comment Forms?
- Gallery Shortcode: using link attribute to link to a specific image size
- Automatically wrap post image in div
- How Can A Widget With Only One Instance Be Defined?
- Getting $comments outside the comment template
- get_theme_mod(); returns nothing
- Limit comments displayed on basis of user_id
- Find and replace domain name on the fly?
- What is the most idiomatic way to let clients edit phrases in HTML?
- How to Register and Display Widget for Custom taxonomy
- How to change “Dashboard” text in wordpress
- WordPress Template not affecting the working, keeps defaulting to the index.php template
- Custom Widget form function common elements
- Image Editor does not affect custom sizes!
- How to display post title & excerpt when mouse hovers on an image?
- How to fix the IE9/WordPress Twenty Ten Header Image Display Problem?
- Automatically add image caption with values from a post parent field?
- WP Northwind for Theme Development?
- list/consult Taxonomy only for the respective author/creator in dashbboard
- How to insert a sitemap within a subsite when using WordPress multisite
- Child Theme – how to add new widget on a specific place?
- Modify Gallery Output to render differently on a PAGE and a POST
- @font-face is not working in WordPress
- I’m using add_meta_box() but want to include TinyMCE editor *and* Media Uploads for each box
- How-To add Custom field in WordPress wp-ecommerce Categories?
- What changes we need to make to a theme so it can be installed as a MU Theme?
- Get Custom Logo Alt Text
- How would you implement a CTA infront of a videoplayer? [closed]
- The function can not create a table on MariaDB server
- Child theme .css files are not overriding their parent .css files
- One WordPress Installation for 2 Domains
- result from custom filter admin table list backend does not work
- How can I get the custom post type assigned to a current custom taxonomy for query?
- $wpdb->replace: WHERE?
- Unable to edit the “customize” section and the “widget” section is populating unknown code
- Can’t receive $args[ ] to my custom widget
- Blog page problems
- What WordPress Hook Is Used Before Signup Data is Saved?
- One WordPress install for main site at domain.com and blog at blog.domain.com?
- Installing new theme on running site
- Combine two conditions in one statement syntax [closed]
- Switch between WordPress websites easy for an end user
- I’d like to be able to programatically setup a site to discourage crawling by search engines
- Is there a way to add a new value into a stored custom field value?
- Custom Loop Query For Search Page
- Static Front Page settings – distinguish between Front page and Post page
- How to format text of site subtitle
- Lost password and back to blog in same line
- Best Practice for Displaying Categorized Posts on Front Page
- Undefined variable: user_id in get_user_meta
- WordPress broken after domain name change
- How to create “custom page types” with different custom fields in them?
- Daylight Saving Time adjustment
- How to Restore Deleted Post Not in Trash
- How to Escape Custom Meta Data And Prefix Custom Meta ID
- Remove Customizer Control Choices (Type: Radio Array) using Child Themes
- How To Style Links in Content Area With Tag Automatically?
- Meta Tags by Meta Box
- Display content of metabox if filled in
- User profile Pick a premade Design/theme
- Recent activity query WordPress
- Echo the Last Child Taxonomy only (not parents)?
- Troubles about insering a POST with a SQL query, post_status
- Embed Latest Track (Dynamic Updating) SoundCloud
- Can we set a redirection with dynamic content in url?
- website is not loading home page (moving from one server to another server)
- How to remove (…) from the post tilte on homepage?
- Swap home page based on user role, Elementor layout breaking
- Customized Blog/Latest Posts Page
- Password Protection issue
- Change Dashboard menu position?
- Get site ID from attachment url?
- how to edit or remove the dashboard footer message [duplicate]
- How to automatically pull an information from a form field onto an other page?
- How to create a custom menu for specific user
- How to submit form data in the same page in WordPress without reloading the page?
- bulk generate wp taxonomy tags from wp title with self php script
- Translate site in own text-language [closed]
- Pull A Single Post Prior To Running wp_query
- Build custom pdf from users choices
- Show Header When Not In Iframe
- How to work around the bug which prevents custom menus from being deleted?
- Changing a setting in the wp-admin/customize.php reverts CSS styles to parent theme [closed]
- Create a folder if it doesn’t already exist
- Changes in comments.php in the child theme does not show up on the site
- How to remove the tagline from the HTML ?
- Custom table or form
- how to modify request to get_template_part()?
- How I can add blog in my magento site?
- Getting Custom Field value in WP_Query
- Adding Custom HTML/CSS/JS code in specific page
- Custom template not working for existing pages [closed]
- Adding Telescope / Meteor App to existing WordPress site
- Help needed renaming custom post
- Custom Search on media files PDF images pages posts