Skip to content

Instantly share code, notes, and snippets.

@HHammond
Created June 14, 2014 19:26
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 1 You must be signed in to fork a gist
  • Save HHammond/a193e4006be7917679cc to your computer and use it in GitHub Desktop.
Save HHammond/a193e4006be7917679cc to your computer and use it in GitHub Desktop.
/* Change code font */
.CodeMirror pre{
font-family: 'Source Code Pro', Consolas, monocco, monospace;
}
/* Change input prompt size */
div.input{
/*width: 105ex;*/
}
div.input_area{
border-color: rgba(0,0,0,0.10);
background: rbga(0,0,0,0.5);
}
div.text_cell {
width: 105ex /* instead of 100%, */
}
div.text_cell_render {
font-family: "Crimson Text";
font-size: 12pt;
line-height: 145%; /* added for some line spacing of text. */
/*width: 105ex; /* instead of 'inherit' for shorter lines */
}
div.text_cell_render h1,
div.text_cell_render h2,
div.text_cell_render h3,
div.text_cell_render h4,
div.text_cell_render h5,
div.text_cell_render h6{
font-family: 'Kameron';
font-weight: 300;
}
div.text_cell_render h1 {
font-size: 24pt;
}
div.text_cell_render h2 {
font-size: 18pt;
}
div.text_cell_render h3{
font-size: 14pt;
}
.prompt.input_prompt{
color: rgba(0,0,0,0.5);
}
.cell.command_mode.selected{
border-color: rgba(0,0,0,0.1);
}
.cell.edit_mode.selected{
border-color: rgba(0,0,0,0.15);
box-shadow: 0px 0px 5px #f0f0f0;
-webkit-box-shadow: 0px 0px 5px #f0f0f0;
}
div.output_scroll{
-webkit-box-shadow: inset 0 2px 8px rgba(0,0,0,0.1);
box-shadow: inset 0 2px 8px rgba(0,0,0,0.1);
border-radious: 2px;
}
#menubar .navbar-inner{
background: #fff;
-webkit-box-shadow: none;
box-shadow: none;
border-radius: 0;
border: none;
font-family: lato;
font-weight: 400;
}
.navbar-fixed-top .navbar-inner, .navbar-static-top .navbar-inner{
box-shadow: none;
-webkit-box-shadow: none;
border: none;
}
div#notebook_panel{
box-shadow: none;
-webkit-box-shadow: none;
border-top: none;
}
div#notebook{
border-top: 1px solid rgba(0,0,0,0.15);
}
#menubar .navbar .navbar-inner,
.toolbar-inner{
padding-left: 0;
padding-right: 0;
}
#checkpoint_status,
#autosave_status{
color: rgba(0,0,0,0.5);
}
#header{
font-family: lato;
}
span#notebook_name{
font-weight: 200;
}
#site * .btn{
background: #fafafa;
-webkit-box-shadow: none;
box-shadow: none;
}
.rendered_html ol {
list-style:decimal;
margin: 1em 2em;
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment