/villagepump/erniogi - Scrapbox Reader

generated at 10/17/2024, 2:38:04 AM
erniogi

style.csss@import '/api/code/erniogi/import-villagepump/style.css';
script.jsimport '/api/code/erniogi-scripts/import-villagepump/script.js'; 
//import '/api/code/erniogi/ScrapJupyter/script.js';

font-size
style.css .editor {
      font-size: 20px;
      line-height: 32px;
      letter-spacing: 0.5px;
  }

style.csss@media (min-width: 768px) {
	/* 要素横並び */
	div.page-wrapper {
		display: flex;
		justify-content: space-around;
	}
	div.drag-and-drop-enter {
		order: 2;
		width: calc(100% - 250px);
	}
	div.related-page-list {
		order: 1;
		flex-basis: 216px;
		padding: 0 8px;
		background-color: var(--related-page-list-bg);
	}
	
	/* 関連リンク一覧形状変更 */
	div.related-page-list{
		font-family: var(--relation-title-font);
	}
	div.related-page-list .grid li.relation-label,
	div.related-page-list li.page-list-item,
	div.related-page-list li.ellipsis {
		/* サイズ変更（共通） */
		width: 200px;
	}
	div.related-page-list .grid li.relation-label {
		/* ラベルサイズ変更 */
		height: var(--relation-label-height);
		margin-bottom: 0;
	}
	div.related-page-list li.page-list-item,
	div.related-page-list li.ellipsis {
		/* カードサイズ変更 */
		height: 50px;
		margin-bottom: 3px;
	}
	div.related-page-list .grid li.relation-label .arrow {
		display: none;
	}
	.related-page-list li.relation-label a {
		/* 関連リンク ラベル */
		display: flex !important;
		padding: 0 !important;
		background-color: inherit;
		border-bottom: 2px solid var(--relation-label-border);
	}
	.related-page-list li.page-list-item a {
		/* 関連リンク カード */
		border-right: 6px solid var(--card-border);
	}
	.related-page-list li.relation-label a,
	.related-page-list li.page-list-item a {
		/* 関連リンク ラベル・カード（共通） */
		border-radius: 0;
	}
	.related-page-list ul.grid:hover li.relation-label a,
	.related-page-list div.links-2-hop ul.grid:hover li.relation-label a,
	.related-page-list li.page-list-item a:hover {
		/* 関連リンク ラベル・カード（共通、ホバー時） */
		transition: 0s;
	}
	.related-page-list div.links-2-hop ul.grid li.relation-label a {
		/* 関連リンク 2 hops link ラベル */
		background-color: var(--relation-label-2-hop-bg);
	}
	.related-page-list div.links-2-hop ul.grid:hover li.relation-label a {
		/* 関連リンク 2 hops link ラベル（ホバー時） */
		background-color: var(--relation-label-2-hop-hover-bg);
	}
	.related-page-list li.relation-label a:hover {
		/* 関連リンク ラベル（ホバー時） */
		filter: brightness(80%);
	}
	.related-page-list li.page-list-item a:hover {
  		/* 関連リンク カード（ホバー時） */
  		/* background-color: var(--card-hover-bg); */
  	}
  	.related-page-list li.ellipsis a {
  		/* 2 hopが大きすぎるときに出る三点ボタン */
  		padding: 0;
  	}
  	.related-page-list li.ellipsis a div.circle {
  		/* 三点ボタンをホバーした時に表示される丸 */
  		height: auto;
  	}
	.related-page-list span.kamon::before {
		/* 鎖マークの大きさ */
		font-size: 14px;
	}
	.related-page-list li.page-list-item .content > .description {
		display: none;
	}
	.related-page-list li.relation-label a span.title,
	.related-page-list ul.grid li.page-list-item a .header {
		/* リンクのタイトル文字がある空間（共通） */
		border-top: 0;
		width: 158px;
		padding: 7px 3px;
		margin-left: 42px;
		text-align: left;
	}
	.related-page-list li.relation-label a span.title {
		/* リンクのタイトル文字がある空間（ラベル） */
		padding: 0 3px;
		line-height: var(--relation-label-height);
	}
	.related-page-list ul.grid li.page-list-item a .header {
		/* リンクのタイトル文字がある空間（カード） */
		padding: 7px 3px;
	}
	.related-page-list li.relation-label a span.title,
	.related-page-list ul.grid li.page-list-item a .header .title {
		/* リンクのタイトル文字（共通） */
		font-family: var(--relation-title-font);
		font-size: 14px;
		font-weight: bold;
	}
	.related-page-list li.relation-label a:hover span.title,
	.related-page-list ul.grid li.page-list-item a:hover .header .title {
		/* リンクのタイトル文字（共通、ホバー時） */
		transition: 0s;
	}
	.related-page-list li.relation-label a:hover span.title {
		/* リンクのタイトル文字（ラベル、ホバー時） */
	}
	.related-page-list ul.grid li.page-list-item a:hover .header .title {
		/* リンクのタイトル文字（カード、ホバー時） */
		color: var(--card-hover-title-color);
	}
	.related-page-list ul.grid li.page-list-item a:hover .hover {
		/* opacity: 0 !important; */
	}
	.related-page-list li.relation-label a span.kamon.icon-lg,
	.related-page-list ul.grid li.page-list-item a .icon {
		/* リンクのアイコン */
	    display: flex;
	    position: absolute;
	    align-items: center;
	    justify-content: center;
	    width: 30px;
		margin: 0;
	    margin-left: 6px;
	    padding: 0;
	}
	.related-page-list li.relation-label a span.kamon.icon-lg {
		/* リンクのアイコン（ラベル） */
   	height: 25px;
	}
	.related-page-list ul.grid li.page-list-item a .icon {
		/* リンクのアイコン（カード） */
	    height: 50px;
	}
	.related-page-list ul.grid li.splitter {
		height: 5px;
	}
}

.grid li.relation-label a {
	color: #000
}

style.css@media (prefers-color-scheme: dark) {
  body {
    --body-bg: #202228;
    --navbar-bg: rgba(55, 59, 68, 0.3);
    --navbar-icon-color: #fff;
    --navbar-icon-active-color: #338c46;
    --navbar-icon-hovered-color: #338c46;
    --search-form-bg: rgba(255, 255, 255, 0.13);
    --search-form-icon-color: #fff;
    --search-form-icon-focus-color: #4a4a4a;
    --card-title-color: #f0f0f0;
    --card-title-bg: #2b2e38;
    --card-bg: #373b44;
    --card-hover-bg: rgba(0, 0, 0, 0.1);
    --card-active-bg: rgba(229, 229, 229, 0.1);
    --card-backside: #545860;
    --card-description-color: #c4c4c4;
    --card-description-link-color: #80c9fe;
    --card-description-code-color: #ccc;
    --card-box-shadow-color: #000;
    --card-box-shadow: 0 2px 0 var(--card-box-shadow-color);
    --card-box-hover-shadow: 0 2px 0 rgba(0, 0, 0, 0.23);
    --card-title-bg-pinned: #2b2e38;
    --relation-label-bg: #2b2e38;
    --relation-label-text: #dddede;
    --relation-label-links-bg: #80c9fe;
    --relation-label-links-text: #202228;
    --relation-label-empty-bg: #fb7476;
    --relation-label-empty-text: #fff;
    --tool-color: #535863;
    --tool-light-color: #353b48;
    --tool-badge-bg: #2b2e38;
    --tool-bg: #2b2e38;
    --tool-text-color: #dddede;
    --new-button-vertical-color: #fff;
    --new-button-horizontal-color: #fff;
    --new-button-bg: #46af5d;
    --new-button-hover-bg: #338c46;
    --new-button-active-bg: #346447;
    --telomere-border: #545863;
    --telomere-unread: #56a066;
    --page-text-color: rgba(255, 255, 255, 0.87);
    --page-link-color: #80c9fe;
    --page-link-hover-color: #6a9ec6;
    --page-link-color-cursor-line: #a985e4;
    --page-bg: #373b44;
    --empty-page-link-color: #fb7476;
    --empty-page-link-hover-color: #b47576;
    --line-title-color: rgba(255, 255, 255, 0.87);
    --line-permalink-color: rgba(234, 218, 74, 0.35);
    --code-color: #ccc;
    --code-bg: rgba(0, 0, 0, 0.18);
    --quote-bg-color: rgba(0, 0, 0, 0.2);
    --cursor-color: #fff;
  }
  code.highlight {
    color:#ccc;
  }
  code.highlight .hljs {
    display:block;
    overflow-x:auto;
    padding:.5em;
    background:#fdf6e3;
    color:#657b83;
  }
  code.highlight :is(.hljs-comment, .hljs-quote) {
    color:#93a1a1;
  }
  code.highlight :is(
    .hljs-keyword,
    .hljs-selector-tag,
    .hljs-addition,
  ) {
    color:#859900;
  }
  code.highlight :is(
    .hljs-number,
    .hljs-string,
    .hljs-meta .hljs-meta-string,
    .hljs-literal,
    .hljs-doctag,
    .hljs-regexp
  ) {
    color:#2aa198;
  }
  code.highlight :is(
    .hljs-title,
    .hljs-section,
    .hljs-name,
    .hljs-selector-id,
    .hljs-selector-class
  ) {
    color:#268bd2;
  }
  code.highlight :is(
    .hljs-attribute,
    .hljs-attr,
    .hljs-variable,
    .hljs-template-variable,
    .hljs-class .hljs-title,
    .hljs-type
  ) {
    color:#b58900;
  }
  code.highlight :is(
    .hljs-symbol,
    .hljs-bullet,
    .hljs-subst,
    .hljs-meta,
    .hljs-meta .hljs-keyword,
    .hljs-selector-attr,
    .hljs-selector-pseudo,
    .hljs-link
  ) {
    color:#cb4b16;
  }
  code.highlight :is(
   .hljs-built_in,
   .hljs-deletion
  ) {
    color:#dc322f;
  }
  code.highlight .hljs-strong {
    font-weight:bold;
  }
}

/daiiz/ScrapScripts
script.jss $('body').attr('data-daiiz-rel-bubble', 'off');  // 関連ページを吹き出し表示する
 $('body').attr('data-daiiz-text-bubble', 'off');  // リンク先ページのテキストを表示する
 $('body').attr('data-daiiz-icon-button', 'off');  // アイコンをボタンにする
// $('body').attr('data-daiiz-paste-url-title', 'ctrl'); // [URL title]の形でペーストする

this is erniogi’s page
@erniogi
諸事情あり一時停止中
 : /erniogi-memex
Mention:@erniogi
自己紹介 : /erniogi-memex/井荻
mail : erniogi.0<at>gmail.com
趣味
地域研究
中華文明とその外縁に興味がある	
数学
幾何と解析，数理統計学をやってる
代数は何も知らず，離散数学は基礎論チックな部分しかわからない
一番好きなのは複素解析
やりたいのは情報幾何学
業務スーパー
謎冷食を試すの楽しい
Lisp
Land of Lisp読んだだけ
SICPやりたい
特技？
絶対音感がある
私もある 
息を吸いながら音を出す
私もできる 

ようこそ!
AutoCADを操作するためにLispをちょこっとやっていました
ようこそ、Lispいいですよね
残念ながら自分はScheme派ですが
まだLand of Lispを読みはじめたばかりなので，いずれSchemeもやります
ご存知だとは思いますがGaucheという日本発の処理系が完成度高くてよいです
よろしくです～
よろしくです!

script.jssimport("/api/code/villagepump/pin-diary-3/script.js");

Dark theme via /takker/dark theme UserCSS@v.0.3.0#609743f11280f00000b416cf
script.jssimport {setTheme} from '/api/code/takker/scrapbox-theme-customizer/script.js';
const path = '/api/code/takker/dark_theme_UserCSS@v.0.3.0/style.css';

setTheme('default-dark');
document.head.insertAdjacentHTML('beforeend', `
  <link rel="stylesheet" href="${path}">
`);

sytle.csssbody {
  --dark-theme-bg: #24292f;
  --dark-theme-border: solid 1px #888;
}
body {
  --navbar-bg: #563C5C;
}
body {
  --new-button-horizontal-color: #b44a29;
  --new-button-vertical-color: var(--new-button-horizontal-color);
  --new-button-bg: #f4835f;
  --new-button-hover-bg: #f2693e;
  --new-button-active-bg: #ef4c17;
}
body {
  --tool-color: #535863;
  --tool-light-color: #353b48;
  --tool-badge-bg: #2b2e38;
  --tool-bg: #2b2e38;
  --tool-text-color: #dddede;
  --body-headings-color: var(--tool-color);
}
body {
  --dropdown-menu-bg: #373b44;
  --dropdown-menu-border: 1px solid #8888882d;
  --dropdown-menu-text-color: var(--page-text-color);
  --dropdown-menu-divider-color: var(--page-bg);
  --dropdown-menu-text-hover-color: var(--page-text-color);
  --dropdown-menu-text-hover-bg: #373b44;
}
.dropdown-menu,
.drawer .drawer-menu{
  background-color: var(--dropdown-menu-bg, #fff);
  border: var(--dropdown-menu-border, unset);
}
.dropdown-menu > li > a,
.drawer .drawer-menu ul li a,
.page-menu ul > li > div {
  color: var(--dropdown-menu-text-color, #333);
}

.dropdown-menu>li>a:active,
.drawer-menu ul li a:active,
[data-hover-visible] .dropdown-menu>li>a:hover,
[data-hover-visible] .drawer-menu>li>a:hover,
[data-focus-visible] .dropdown-menu>li>a:focus,
[data-focus-visible] .drawer-menu>li>a:focus {
  color: var(--dropdown-menu-text-hover-color, #262626);
  background-color:  var(--dropdown-menu-text-hover-bg, #f5f5f5);
}

.dropdown-menu .divider,
.drawer-menu .divider {
  background-color: var(--dropdown-menu-divider-color, #e5e5e5);
}
body {
  --card-title-bg: var(--navbar-bg);
  --card-title-bg-pinned: var(--navbar-bg);
}



#member