// ==UserScript==
// @name        AtCoder Submission Page Fix
// @match       https://atcoder.jp/contests/*/submissions/*
// @version     1.0
// @author      ds14050
// @description 2023/8/16 23:16:00
// ==/UserScript==

var dst = document.getElementById("submission-code");
var src = document.getElementById("submission-source-code-language-id");
var code = src && src.getAttribute("data-source-code");
if (dst) {
  dst.style.maxHeight = "350px";
}
if (dst && code) {
  dst.textContent = code;
}