Closed mkoeppe closed 1 year ago
You can change the element class to github, if you do this
github
--- a/src/res/sage.css +++ b/src/res/sage.css @@ -679,6 +679,8 @@ div.mdesc ul { padding: 3px 0 3px 1em; margin: 0; } + +.github, .trac { text-align: right; display: block;
I do not insist but prefer "commits (github: {github})"
"commits (github: {github})"
Thanks! I've made these changes
You didn’t change trac to github in setAttribute yet..
Sorry I should have mentioned that in the diff.
You can change the element class to
github
, if you do this