Skip to content
This repository has been archived by the owner on Dec 16, 2021. It is now read-only.

Better example embedding #223

Merged
merged 5 commits into from
Mar 6, 2020
Merged

Better example embedding #223

merged 5 commits into from
Mar 6, 2020

Conversation

asinghvi17
Copy link
Member

As of now, examples take too much space, and look extremely drab. This PR is an attempt to change that.

@asinghvi17 asinghvi17 self-assigned this Mar 3, 2020
@asinghvi17 asinghvi17 added documentation WIP Work in progress, do not merge... labels Mar 3, 2020
@asinghvi17 asinghvi17 requested a review from SimonDanisch March 3, 2020 15:38
@asinghvi17
Copy link
Member Author

asinghvi17 commented Mar 3, 2020

This is still pretty WIP, but interesting as a concept. Check it out here!

@asinghvi17
Copy link
Member Author

Will merge this in as is, since it includes the necessary functionality for #224 as well. 224 really just flips a switch.

make sure it's raw html

experimental embedder

try to change theme

add syntax theme
embed into cell should be working

missing end

remove the raw html thingy

wrap in a panel, maybe that'll help

use Bulma syntax

remove pre, make tables better

switch to columns

make columns equal length

make sure everything is half

refactor embedding methods
@asinghvi17 asinghvi17 force-pushed the as/betterembedding branch from 4da7b3b to b4b87ee Compare March 6, 2020 04:17
docs/make.jl Outdated Show resolved Hide resolved
@asinghvi17 asinghvi17 merged commit 19236c0 into master Mar 6, 2020
@asinghvi17 asinghvi17 deleted the as/betterembedding branch March 6, 2020 20:05
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
documentation WIP Work in progress, do not merge...
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant